|
Last change
on this file since 3232 was
2999,
checked in by sacerdot, 8 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
|
| Rev | Line | |
|---|
| [2778] | 1 | |
|---|
| 2 | (** This module provides a function to print [ASM] programs. *) |
|---|
| 3 | |
|---|
| 4 | let print_program p = |
|---|
| [2999] | 5 | let intel_hex = |
|---|
| 6 | IntelHex.pack_exported_code_memory 16 65535 p.Extracted.ASM.cm in |
|---|
| [2778] | 7 | IntelHex.string_of_intel_hex_format intel_hex |
|---|
Note: See
TracBrowser
for help on using the repository browser.
