source: driver/IntelHex.mli @ 2817

Last change on this file since 2817 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

File size: 210 bytes
1type intel_hex_format
3val string_of_intel_hex_format: intel_hex_format -> string
4val pack_exported_code_memory: int -> int -> Extracted.BitVector.byte Extracted.BitVectorTrie.bitVectorTrie -> intel_hex_format
Note: See TracBrowser for help on using the repository browser.