source: Deliverables/D4.1 @ 433

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