source: Deliverables/D4.1/IntelHex.mli @ 443

Last change on this file since 443 was 443, checked in by mulligan, 9 years ago

Wrote exportation code. Need to test it.

File size: 411 bytes
Line 
1open BitVectors;;
2open ASM;;
3open Parser;;
4
5exception WrongFormat of string
6
7type intel_hex_format
8
9val string_of_intel_hex_format: intel_hex_format -> string
10val prs_intel_hex_format: intel_hex_format parser
11
12val intel_hex_of_file: string -> intel_hex_format
13val process_intel_hex: intel_hex_format -> Physical.WordMap.map
14
15val pack_exported_code_memory: int -> int -> Physical.WordMap.map -> intel_hex_format
Note: See TracBrowser for help on using the repository browser.