source: Deliverables/D4.1 @ 516

Name Size Rev Age Author Last Change
../
GCC 204   9 years mulligan Added file that performs both serial input and output on the 8051.
ITP-Paper 516   9 years mulligan Added section on Tries
Matita 475   9 years mulligan Matita interpreter ported to latest version of matita (the one with …
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.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   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 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   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.6 KB 448   9 years mulligan Got Intel HEX format exportation working.
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.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   9 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.