source: driver/ASMPrinter.ml @ 3098

Last change on this file since 3098 was 2999, checked in by sacerdot, 7 years ago

code_memory added to labelled_object_code to avoid recomputing it every time.
This gives a major speed up in the semantics of the extracted code.

File size: 223 bytes
Line 
1
2(** This module provides a function to print [ASM] programs. *)
3
4let print_program p =
5  let intel_hex =
6   IntelHex.pack_exported_code_memory 16 65535 p.Extracted.ASM.cm in
7  IntelHex.string_of_intel_hex_format intel_hex
Note: See TracBrowser for help on using the repository browser.