root/Deliverables/D4.1 @ 443

Name Size Rev Age Last Change
../
GCC 204 3 years mulligan: Added file that performs both serial input and output on the 8051.
Matita 439 2 years mulligan: Changes to get everything to compile.
Presentation 61 3 years sacerdot: Final version.
Report 438 2 years sacerdot: Final version.
.ocamlinit 200 bytes 145 3 years mulligan: Bug in LCALL fixed.
ASM.mli 3.0 KB 200 3 years mulligan: New features: 1) conditional jumps to labels implemented [Note: all …
ASMInterpret.ml 76.1 KB 441 2 years mulligan: Fixed bug in PUSH spotted by Nicolas.
ASMInterpret.mli 2.8 KB 216 3 years mulligan: Interrupts are harder than they look.
BitVectors.ml 3.7 KB 163 3 years mulligan: Fixed bug with JNB not jumping correctly.
BitVectors.mli 1.9 KB 162 3 years mulligan: Timers implemented (including demonic thirteen bit timer).
IntelHex.ml 6.0 KB 443 2 years mulligan: Wrote exportation code. Need to test it.
IntelHex.mli 411 bytes 443 2 years mulligan: Wrote exportation code. Need to test it.
Makefile 74 bytes 426 2 years mulligan: Changes to ocaml code and makefile.
MatitaPretty.ml 4.9 KB 339 2 years sacerdot: New: pretty printer from HEX files to .ma files.
MatitaPretty.mli 66 bytes 339 2 years sacerdot: New: pretty printer from HEX files to .ma files.
Parser.ml 1.5 KB 138 3 years sacerdot: Several bug fixes and code clean-up. New main file: test.ml to parse and …
Parser.mli 0.7 KB 138 3 years sacerdot: Several bug fixes and code clean-up. New main file: test.ml to parse and …
Physical.ml 2.3 KB 442 2 years mulligan: Partial implementation of Nicolas' requested feature (extraction of …
Physical.mli 0.6 KB 442 2 years mulligan: Partial implementation of Nicolas' requested feature (extraction of …
Pretty.ml 3.8 KB 200 3 years mulligan: New features: 1) conditional jumps to labels implemented [Note: all …
Pretty.mli 0.6 KB 163 3 years mulligan: Fixed bug with JNB not jumping correctly.
README 2.6 KB 429 2 years mulligan: 1) README upated 2) executable now reads the name of the HEX file from …
Test.hex 456 bytes 212 3 years mulligan: Refactored main emulator loop to improve clarity. Debugging serial I/O …
Test.ml 1.3 KB 429 2 years mulligan: 1) README upated 2) executable now reads the name of the HEX file from …
ToMatita.ml 0.8 KB 437 2 years sacerdot: 1. new function assembly_unlabelled_program 2. the new function is now …
Util.ml 421 bytes 137 3 years mulligan: Bug noticed in string conversion routine. Note added.
Note: See TracBrowser for help on using the browser.