source:
Deliverables/D4.1
@
448
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| Report | 438 | 10 years | Final version. | ||
| Presentation | 61 | 11 years | Final version. | ||
| Matita | 439 | 10 years | Changes to get everything to compile. | ||
| GCC | 204 | 11 years | Added file that performs both serial input and output on the 8051. | ||
| ToMatita.ml | 773 bytes | 437 | 10 years | 1. new function assembly_unlabelled_program 2. the new function is now … | |
| Parser.mli | 716 bytes | 138 | 11 years | Several bug fixes and code clean-up. New main file: test.ml to parse … | |
| MatitaPretty.mli | 66 bytes | 339 | 10 years | New: pretty printer from HEX files to .ma files. | |
| MatitaPretty.ml | 4.9 KB | 339 | 10 years | New: pretty printer from HEX files to .ma files. | |
| Util.ml | 421 bytes | 137 | 11 years | Bug noticed in string conversion routine. Note added. | |
| Test.ml | 1.6 KB | 448 | 10 years | Got Intel HEX format exportation working. | |
| Test.hex | 456 bytes | 212 | 10 years | Refactored main emulator loop to improve clarity. Debugging serial … | |
| README | 2.6 KB | 429 | 10 years | 1) README upated 2) executable now reads the name of the HEX file from argv | |
| Pretty.mli | 587 bytes | 163 | 11 years | Fixed bug with JNB not jumping correctly. | |
| Pretty.ml | 3.8 KB | 200 | 11 years | New features: 1) conditional jumps to labels implemented [Note: … | |
| Physical.mli | 724 bytes | 448 | 10 years | Got Intel HEX format exportation working. | |
| Physical.ml | 2.4 KB | 448 | 10 years | Got Intel HEX format exportation working. | |
| Parser.ml | 1.6 KB | 448 | 10 years | Got Intel HEX format exportation working. | |
| Makefile | 74 bytes | 426 | 10 years | Changes to ocaml code and makefile. | |
| IntelHex.mli | 469 bytes | 444 | 10 years | Got Test.native to compile. Added functions for exporting intel hex … | |
| IntelHex.ml | 7.0 KB | 448 | 10 years | Got Intel HEX format exportation working. | |
| BitVectors.mli | 1.9 KB | 162 | 11 years | Timers implemented (including demonic thirteen bit timer). | |
| BitVectors.ml | 3.7 KB | 163 | 11 years | Fixed bug with JNB not jumping correctly. | |
| ASMInterpret.mli | 2.8 KB | 216 | 10 years | Interrupts are harder than they look. | |
| ASMInterpret.ml | 76.1 KB | 444 | 10 years | Got Test.native to compile. Added functions for exporting intel hex … | |
| ASM.mli | 3.0 KB | 200 | 11 years | New features: 1) conditional jumps to labels implemented [Note: … | |
| .ocamlinit | 200 bytes | 145 | 11 years | Bug in LCALL fixed. | |
Note: See TracBrowser
for help on using the repository browser.
