source:
Deliverables/D4.1
@
236
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
GCC | 204 | 10 years | Added file that performs both serial input and output on the 8051. | ||
Matita | 236 | 10 years | Strange problem with matita and the Maybe file? Cannot find Maybe.ng. | ||
Presentation | 61 | 10 years | Final version. | ||
.ocamlinit | 200 bytes | 145 | 10 years | Bug in LCALL fixed. | |
ASM.mli | 3.0 KB | 200 | 10 years | New features: 1) conditional jumps to labels implemented [Note: … | |
ASMInterpret.ml | 78.1 KB | 220 | 10 years | Started on timer 2 capture mode. | |
ASMInterpret.mli | 2.8 KB | 216 | 10 years | Interrupts are harder than they look. | |
BitVectors.ml | 3.7 KB | 163 | 10 years | Fixed bug with JNB not jumping correctly. | |
BitVectors.mli | 1.9 KB | 162 | 10 years | Timers implemented (including demonic thirteen bit timer). | |
Physical.ml | 2.3 KB | 161 | 10 years | Type errors fixed. Add16 with carry implemented. | |
Physical.mli | 606 bytes | 161 | 10 years | Type errors fixed. Add16 with carry implemented. | |
Pretty.ml | 3.8 KB | 200 | 10 years | New features: 1) conditional jumps to labels implemented [Note: … | |
Pretty.mli | 587 bytes | 163 | 10 years | Fixed bug with JNB not jumping correctly. | |
README | 1.9 KB | 188 | 10 years | Added README file for Roberto. | |
Test.hex | 456 bytes | 212 | 10 years | Refactored main emulator loop to improve clarity. Debugging serial … | |
test.ml | 1.3 KB | 198 | 10 years | Added more info to status printout. Found weird bug in emulator: cjne … | |
Util.ml | 421 bytes | 137 | 10 years | Bug noticed in string conversion routine. Note added. | |
IntelHex.ml | 4.3 KB | 140 | 10 years | More cleanup. | |
IntelHex.mli | 324 bytes | 141 | 10 years | Minor cleanup. | |
Makefile | 58 bytes | 138 | 10 years | Several bug fixes and code clean-up. New main file: test.ml to parse … | |
Parser.ml | 1.5 KB | 138 | 10 years | Several bug fixes and code clean-up. New main file: test.ml to parse … | |
Parser.mli | 716 bytes | 138 | 10 years | Several bug fixes and code clean-up. New main file: test.ml to parse … |
Note: See TracBrowser
for help on using the repository browser.