source: Deliverables/D4.1 @ 448

Name Size Rev Age Author Last Change
../
Report 438   10 years sacerdot Final version.
Presentation 61   11 years sacerdot Final version.
Matita 439   10 years mulligan Changes to get everything to compile.
GCC 204   11 years mulligan Added file that performs both serial input and output on the 8051.
ToMatita.ml 773 bytes 437   10 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Parser.mli 716 bytes 138   11 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
MatitaPretty.mli 66 bytes 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
MatitaPretty.ml 4.9 KB 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
Util.ml 421 bytes 137   11 years mulligan Bug noticed in string conversion routine. Note added.
Test.ml 1.6 KB 448   10 years mulligan Got Intel HEX format exportation working.
Test.hex 456 bytes 212   10 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
README 2.6 KB 429   10 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
Pretty.mli 587 bytes 163   11 years mulligan Fixed bug with JNB not jumping correctly.
Pretty.ml 3.8 KB 200   11 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
Physical.mli 724 bytes 448   10 years mulligan Got Intel HEX format exportation working.
Physical.ml 2.4 KB 448   10 years mulligan Got Intel HEX format exportation working.
Parser.ml 1.6 KB 448   10 years mulligan Got Intel HEX format exportation working.
Makefile 74 bytes 426   10 years mulligan Changes to ocaml code and makefile.
IntelHex.mli 469 bytes 444   10 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
IntelHex.ml 7.0 KB 448   10 years mulligan Got Intel HEX format exportation working.
BitVectors.mli 1.9 KB 162   11 years mulligan Timers implemented (including demonic thirteen bit timer).
BitVectors.ml 3.7 KB 163   11 years mulligan Fixed bug with JNB not jumping correctly.
ASMInterpret.mli 2.8 KB 216   10 years mulligan Interrupts are harder than they look.
ASMInterpret.ml 76.1 KB 444   10 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
ASM.mli 3.0 KB 200   11 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
.ocamlinit 200 bytes 145   11 years mulligan Bug in LCALL fixed.
Note: See TracBrowser for help on using the repository browser.