source: Deliverables/D4.1/

Revision Log Mode:


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