source: Deliverables/D4.1 @ 573

Name Size Rev Age Author Last Change
../
GCC 204   11 years mulligan Added file that performs both serial input and output on the 8051.
ITP-Paper 572   11 years mulligan tweaked the abstract
Matita 567   11 years sacerdot Undefined value singled out: what to do with it?
Presentation 61   11 years sacerdot Final version.
Report 438   11 years sacerdot Final version.
MatitaPretty.mli 66 bytes 339   11 years sacerdot New: pretty printer from HEX files to .ma files.
Makefile 87 bytes 573   11 years ricciott Added round-trip tests.
.ocamlinit 200 bytes 145   11 years mulligan Bug in LCALL fixed.
ASMCosts.mli 212 bytes 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Test.hex 456 bytes 212   11 years mulligan Refactored main emulator loop to improve clarity. Debugging serial …
IntelHex.mli 527 bytes 452   11 years mulligan Added function to interface.
Util.ml 545 bytes 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Pretty.mli 659 bytes 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
Parser.mli 716 bytes 138   11 years sacerdot Several bug fixes and code clean-up. New main file: test.ml to parse …
Physical.mli 770 bytes 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ToMatita.ml 773 bytes 437   11 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Test.ml 1.3 KB 451   11 years mulligan Removed more debugging stuff from Test.ml.
Parser.ml 1.6 KB 448   11 years mulligan Got Intel HEX format exportation working.
BitVectors.mli 1.9 KB 162   11 years mulligan Timers implemented (including demonic thirteen bit timer).
README 2.6 KB 429   11 years mulligan 1) README upated 2) executable now reads the name of the HEX file from argv
Physical.ml 2.7 KB 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASM.mli 3.1 KB 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMCosts.ml 3.3 KB 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
ASMInterpret.mli 3.3 KB 573   11 years ricciott Added round-trip tests.
BitVectors.ml 3.7 KB 163   11 years mulligan Fixed bug with JNB not jumping correctly.
Pretty.ml 4.0 KB 454   11 years sacerdot CSC + Nicolas + Dominic: 1) back-porting of changes by Nicolas from …
MatitaPretty.ml 4.9 KB 339   11 years sacerdot New: pretty printer from HEX files to .ma files.
IntelHex.ml 7.0 KB 448   11 years mulligan Got Intel HEX format exportation working.
Test2.ml 8.7 KB 573   11 years ricciott Added round-trip tests.
ASMInterpret.ml 75.7 KB 566   11 years sacerdot Undefined opcode singled out.
Note: See TracBrowser for help on using the repository browser.