source: Deliverables/D4.1 @ 446

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 439   10 years mulligan Changes to get everything to compile.
Presentation 61   10 years sacerdot Final version.
Report 438   10 years sacerdot Final version.
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.
.ocamlinit 200 bytes 145   10 years mulligan Bug in LCALL fixed.
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 …
IntelHex.mli 469 bytes 444   10 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
Pretty.mli 587 bytes 163   10 years mulligan Fixed bug with JNB not jumping correctly.
Physical.mli 665 bytes 442   10 years mulligan Partial implementation of Nicolas' requested feature (extraction of …
Parser.mli 716 bytes 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
ToMatita.ml 773 bytes 437   10 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Test.ml 1.4 KB 445   10 years mulligan Debugging hex output. Seems mcu8051 really doesn't like what's been …
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).
Physical.ml 2.3 KB 442   10 years mulligan Partial implementation of Nicolas' requested feature (extraction of …
README 2.6 KB 429   10 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
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: …
MatitaPretty.ml 4.9 KB 339   10 years sacerdot New: pretty printer from HEX files to .ma files.
IntelHex.ml 6.7 KB 446   10 years mulligan Checksum calculation added. Seems to still be buggy.
ASMInterpret.ml 76.1 KB 444   10 years mulligan Got Test.native to compile. Added functions for exporting intel hex …
Note: See TracBrowser for help on using the repository browser.