source: Deliverables/D4.1 @ 397

Name Size Rev Age Author Last Change
../
GCC 204   10 years mulligan Added file that performs both serial input and output on the 8051.
Matita 374   10 years sacerdot 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons …
Presentation 61   10 years sacerdot Final version.
Report 397   10 years mulligan Changed layout of document title.
Makefile 58 bytes 138   10 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.
.ocamlinit 200 bytes 145   10 years mulligan Bug in LCALL fixed.
IntelHex.mli 324 bytes 141   10 years sacerdot Minor cleanup.
Util.ml 421 bytes 137   10 years mulligan Bug noticed in string conversion routine. Note added.
Test.hex 456 bytes 212   10 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
Pretty.mli 587 bytes 163   10 years mulligan Fixed bug with JNB not jumping correctly.
Physical.mli 606 bytes 161   10 years mulligan Type errors fixed. Add16 with carry implemented.
Parser.mli 716 bytes 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
to_matita.ml 779 bytes 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
test.ml 1.3 KB 198   10 years mulligan Added more info to status printout. Found weird bug in emulator: cjne …
Parser.ml 1.5 KB 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
BitVectors.mli 1.9 KB 162   10 years mulligan Timers implemented (including demonic thirteen bit timer).
README 1.9 KB 188   10 years mulligan Added README file for Roberto.
Physical.ml 2.3 KB 161   10 years mulligan Type errors fixed. Add16 with carry implemented.
ASMInterpret.mli 2.8 KB 216   10 years mulligan Interrupts are harder than they look.
ASM.mli 3.0 KB 200   10 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
BitVectors.ml 3.7 KB 163   10 years mulligan Fixed bug with JNB not jumping correctly.
Pretty.ml 3.8 KB 200   10 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
IntelHex.ml 4.3 KB 140   10 years sacerdot More cleanup.
MatitaPretty.ml 4.9 KB 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
ASMInterpret.ml 78.1 KB 280   10 years sacerdot Bug fixed in assemblying AJMP.
Note: See TracBrowser for help on using the repository browser.