source: Deliverables/D4.1 @ 431

Name Size Rev Age Author Last Change
../
Presentation 61   10 years sacerdot Final version.
GCC 204   10 years mulligan Added file that performs both serial input and output on the 8051.
Report 424   10 years mulligan Tidied up English in last addition.
Matita 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Util.ml 421 bytes 137   10 years mulligan Bug noticed in string conversion routine. Note added.
Parser.ml 1.5 KB 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Parser.mli 716 bytes 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
IntelHex.ml 4.3 KB 140   10 years sacerdot More cleanup.
IntelHex.mli 324 bytes 141   10 years sacerdot Minor cleanup.
.ocamlinit 200 bytes 145   10 years mulligan Bug in LCALL fixed.
Physical.ml 2.3 KB 161   10 years mulligan Type errors fixed. Add16 with carry implemented.
Physical.mli 606 bytes 161   10 years mulligan Type errors fixed. Add16 with carry implemented.
BitVectors.mli 1.9 KB 162   10 years mulligan Timers implemented (including demonic thirteen bit timer).
BitVectors.ml 3.7 KB 163   10 years mulligan Fixed bug with JNB not jumping correctly.
Pretty.mli 587 bytes 163   10 years mulligan Fixed bug with JNB not jumping correctly.
ASM.mli 3.0 KB 200   10 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
Pretty.ml 3.8 KB 200   10 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
Test.hex 456 bytes 212   10 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
ASMInterpret.mli 2.8 KB 216   10 years mulligan Interrupts are harder than they look.
ASMInterpret.ml 78.1 KB 280   10 years sacerdot Bug fixed in assemblying AJMP.
MatitaPretty.ml 4.9 KB 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
MatitaPretty.mli 66 bytes 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
Makefile 74 bytes 426   10 years mulligan Changes to ocaml code and makefile.
README 2.6 KB 429   10 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
Test.ml 1.3 KB 429   10 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
ToMatita.ml 808 bytes 430   10 years mulligan - ToMatita? now generates a list of labelled_instructions (used to be a …
Note: See TracBrowser for help on using the repository browser.