Changeset 443 for Deliverables/D4.1/IntelHex.mli

Timestamp:

01/13/11 11:35:18 (2 years ago)

Author:

mulligan

Message:

Wrote exportation code. Need to test it.

Files:

• Deliverables/D4.1/IntelHex.mli (modified) (1 diff)

Deliverables/D4.1/IntelHex.mli

@@ -12 +12 @@
 val intel_hex_of_file: string -> intel_hex_format
 val process_intel_hex: intel_hex_format -> Physical.WordMap.map
-val export_intel_hex: int -> int -> Physical.WordMap.map -> byte list list
+
+val pack_exported_code_memory: int -> int -> Physical.WordMap.map -> intel_hex_format