source: Deliverables/D4.1 @ 446

Name Size Rev Age Author Last Change
../
GCC 204   9 years mulligan Added file that performs both serial input and output on the 8051.
Matita 439   9 years mulligan Changes to get everything to compile.
Presentation 61   9 years sacerdot Final version.
Report 438   9 years sacerdot Final version.
.ocamlinit 200 bytes 145   9 years mulligan Bug in LCALL fixed.
ASM.mli 3.0 KB 200   9 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
ASMInterpret.ml 76.1 KB 444   9 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
ASMInterpret.mli 2.8 KB 216   9 years mulligan Interrupts are harder than they look.
BitVectors.ml 3.7 KB 163   9 years mulligan Fixed bug with JNB not jumping correctly.
BitVectors.mli 1.9 KB 162   9 years mulligan Timers implemented (including demonic thirteen bit timer).
IntelHex.ml 6.7 KB 446   9 years mulligan Checksum calculation added. Seems to still be buggy.
IntelHex.mli 469 bytes 444   9 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
Makefile 74 bytes 426   9 years mulligan Changes to ocaml code and makefile.
MatitaPretty.ml 4.9 KB 339   9 years sacerdot New: pretty printer from HEX files to .ma files.
MatitaPretty.mli 66 bytes 339   9 years sacerdot New: pretty printer from HEX files to .ma files.
Parser.ml 1.5 KB 138   9 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Parser.mli 716 bytes 138   9 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Physical.ml 2.3 KB 442   9 years mulligan Partial implementation of Nicolas' requested feature (extraction of …
Physical.mli 665 bytes 442   9 years mulligan Partial implementation of Nicolas' requested feature (extraction of …
Pretty.ml 3.8 KB 200   9 years mulligan New features: 1) conditional jumps to labels implemented [Note: …
Pretty.mli 587 bytes 163   9 years mulligan Fixed bug with JNB not jumping correctly.
README 2.6 KB 429   9 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
Test.hex 456 bytes 212   9 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
Test.ml 1.4 KB 445   9 years mulligan Debugging hex output. Seems mcu8051 really doesn't like what's been …
ToMatita.ml 773 bytes 437   9 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Util.ml 421 bytes 137   9 years mulligan Bug noticed in string conversion routine. Note added.
Note: See TracBrowser for help on using the repository browser.