source: Deliverables/D4.1/ToMatita.ml

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @664   9 years mulligan Changed output of Intel HEX files so we no longer have those …
(edit) @437   9 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
(edit) @430   9 years mulligan - ToMatita? now generates a list of labelled_instructions (used to be a …
(edit) @429   9 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
(edit) @428   9 years mulligan Changed instr. to labelled_instr.
(edit) @427   9 years mulligan Removed interpret.ma from ToMatita?
(copy) @426   9 years mulligan Changes to ocaml code and makefile.
copied from Deliverables/D4.1/to_matita.ml:
(add) @339   9 years sacerdot New: pretty printer from HEX files to .ma files.
Note: See TracRevisionLog for help on using the revision log.