|
Revision 442, 399 bytes
(checked in by mulligan, 2 years ago)
|
|
Partial implementation of Nicolas' requested feature (extraction of code_memory) to Intel HEX format.
|
| Line | |
|---|
| 1 | open BitVectors;; |
|---|
| 2 | open ASM;; |
|---|
| 3 | open Parser;; |
|---|
| 4 | |
|---|
| 5 | exception WrongFormat of string |
|---|
| 6 | |
|---|
| 7 | type intel_hex_format |
|---|
| 8 | |
|---|
| 9 | val string_of_intel_hex_format: intel_hex_format -> string |
|---|
| 10 | val prs_intel_hex_format: intel_hex_format parser |
|---|
| 11 | |
|---|
| 12 | val intel_hex_of_file: string -> intel_hex_format |
|---|
| 13 | val process_intel_hex: intel_hex_format -> Physical.WordMap.map |
|---|
| 14 | val export_intel_hex: int -> int -> Physical.WordMap.map -> byte list list |
|---|
