source: Deliverables/D4.1 @ 424

Name Size Rev Age Author Last Change
../
Presentation 61   11 years sacerdot Final version.
Report 424   10 years mulligan Tidied up English in last addition.
Matita 421   10 years mulligan Removed duplicate "assembly1" function. Removed Ocaml code from file.
GCC 204   11 years mulligan Added file that performs both serial input and output on the 8051.
to_matita.ml 779 bytes 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
Parser.mli 716 bytes 138   11 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Parser.ml 1.5 KB 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.
Makefile 58 bytes 138   11 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
IntelHex.mli 324 bytes 141   11 years sacerdot Minor cleanup.
IntelHex.ml 4.3 KB 140   11 years sacerdot More cleanup.
ASMInterpret.ml 78.1 KB 280   10 years sacerdot Bug fixed in assemblying AJMP.
Util.ml 421 bytes 137   11 years mulligan Bug noticed in string conversion routine. Note added.
test.ml 1.3 KB 198   11 years mulligan Added more info to status printout. Found weird bug in emulator: cjne …
Test.hex 456 bytes 212   10 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
README 1.9 KB 188   11 years mulligan Added README file for Roberto.
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 606 bytes 161   11 years mulligan Type errors fixed. Add16 with carry implemented.
Physical.ml 2.3 KB 161   11 years mulligan Type errors fixed. Add16 with carry implemented.
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.
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.