|
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:
271 bytes
|
| Line | |
|---|
| 1 | |
|---|
| 2 | (** This module provides a function to print [ASM] programs. *) |
|---|
| 3 | |
|---|
| 4 | let print_program p = |
|---|
| 5 | let code_memory = Extracted.Fetch.load_code_memory p in |
|---|
| 6 | let intel_hex = IntelHex.pack_exported_code_memory 16 65535 code_memory in |
|---|
| 7 | IntelHex.string_of_intel_hex_format intel_hex |
|---|
Note: See
TracBrowser
for help on using the repository browser.
