source: Deliverables/D4.1 @ 543

Name Size Rev Age Author Last Change
../
GCC 204   10 years mulligan Added file that performs both serial input and output on the 8051.
ITP-Paper 543   9 years sacerdot
Matita 475   9 years mulligan Matita interpreter ported to latest version of matita (the one with …
Presentation 61   10 years sacerdot Final version.
Report 438   9 years sacerdot Final version.
.ocamlinit 200 bytes 145   10 years mulligan Bug in LCALL fixed.
ASM.mli 3.1 KB 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMCosts.ml 3.3 KB 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMCosts.mli 212 bytes 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMInterpret.ml 75.8 KB 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMInterpret.mli 3.2 KB 455   9 years mulligan Merge commit.
BitVectors.ml 3.7 KB 163   10 years mulligan Fixed bug with JNB not jumping correctly.
BitVectors.mli 1.9 KB 162   10 years mulligan Timers implemented (including demonic thirteen bit timer).
IntelHex.ml 7.0 KB 448   9 years mulligan Got Intel HEX format exportation working.
IntelHex.mli 527 bytes 452   9 years mulligan Added function to interface.
Makefile 74 bytes 426   9 years mulligan Changes to ocaml code and makefile.
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.
Parser.ml 1.6 KB 448   9 years mulligan Got Intel HEX format exportation working.
Parser.mli 716 bytes 138   10 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Physical.ml 2.7 KB 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Physical.mli 770 bytes 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Pretty.ml 4.0 KB 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Pretty.mli 659 bytes 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
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   10 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
Test.ml 1.3 KB 451   9 years mulligan Removed more debugging stuff from Test.ml.
ToMatita.ml 773 bytes 437   9 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Util.ml 545 bytes 454   9 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Note: See TracBrowser for help on using the repository browser.