source: driver/ASMPrinter.mli @ 2998

Last change on this file since 2998 was 2778, checked in by sacerdot, 8 years ago

Code to pretty-print the IntelHex? output.
At the moment the glue code between the trusted and untrusted code
pass through Matita's base 1 integers. Thus the computation is just too
slow.
File size: 122 bytes
RevLine 
[2778]1
2(** This module provides a function to print [ASM] programs. *)
3
4val print_program : Extracted.ASM.object_code -> string
Note: See TracBrowser for help on using the repository browser.