|
Revision 443, 411 bytes
(checked in by mulligan, 2 years ago)
|
|
Wrote exportation code. Need to test it.
|
| 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 | |
|---|
| 15 | val pack_exported_code_memory: int -> int -> Physical.WordMap.map -> intel_hex_format |
|---|
