Timeline
Nov 3, 2010:
- 5:34 PM Changeset [214] by
- Started implementation of interrupts.
- 3:23 PM Changeset [213] by
- implementing interrupts
- 1:16 PM Changeset [212] by
- Refactored main emulator loop to improve clarity. Debugging serial …
- 12:41 PM Changeset [211] by
- Make io_inject definition more straightforward.
Nov 2, 2010:
- 10:09 AM Changeset [210] by
- Three new opcodes ticked off. Going through remaining untested …
- 9:44 AM Changeset [209] by
- Compiled again.
Nov 1, 2010:
- 11:10 AM Changeset [208] by
- Fix up IO monad syntax.
Oct 27, 2010:
- 4:27 PM Changeset [207] by
- Add memory extensions and rework parts of D3.1.
Oct 22, 2010:
- 3:56 PM Changeset [206] by
- Fixed serial output.
- 3:06 PM Changeset [205] by
- Reworked handling of serial port input, and implemented remaining …
Oct 21, 2010:
- 1:36 PM Changeset [204] by
- Added file that performs both serial input and output on the 8051.
- 1:32 PM Changeset [203] by
- Serial input test: seems to work correctly (small bug corrected where …
Oct 20, 2010:
- 5:59 PM Changeset [202] by
- Remaining two timer modes implemented.
- 4:29 PM Changeset [201] by
- Implemented output onto P1 and P3 lines, implemented a few of the …
- 1:35 PM Changeset [200] by
- New features: 1) conditional jumps to labels implemented [Note: …
Oct 19, 2010:
- 3:29 PM Changeset [199] by
- Fixes to debug code to make serial output more clear. CJNE/JNZ is not …
- 2:20 PM Changeset [198] by
- Added more info to status printout. Found weird bug in emulator: cjne …
- 1:42 PM Changeset [197] by
- Add some first draft text for 3.1.
- 10:55 AM Changeset [196] by
- Improvements to processor status output. Now includes readout of main …
- 10:40 AM Changeset [195] by
- Added printout of processor status when we enter the infinite SJMP …
Oct 18, 2010:
- 3:20 PM Changeset [194] by
- Oops: small change caused compile to fail. Works again, now.
- 3:19 PM Changeset [193] by
- Fixed type errors relating to serial output. The serial port code …
- 12:15 PM Changeset [192] by
- matita rev in README
- 11:54 AM Changeset [191] by
- Changed way we handle I/O due to assert false bug on first serial I/O …
- 11:36 AM Changeset [190] by
- Minor changes to work with current matita HEAD (r10998).
- 11:36 AM Changeset [189] by
- Rework monad notation so that it is displayed well in proof mode.
- 10:40 AM Changeset [188] by
- Added README file for Roberto.
Oct 15, 2010:
- 4:14 PM Changeset [187] by
- Bug found in IO handling. Something is throwing assert false.
- 2:37 PM Changeset [186] by
- Added C code to write to SBUF SFR for Roberto.
Oct 14, 2010:
- 5:02 PM Changeset [185] by
- Found a way to inline SDCC ASM directly into C to test hard to reach …
- 2:41 PM Changeset [184] by
- Found out how to directly access 8051's registers from C code. Added …
- 12:11 PM Changeset [183] by
- A few more opcodes covered. Emulator seems to work fine on LFSR program.
- 11:20 AM Changeset [182] by
- Linear feedback shift register (random number generator) example added.
Oct 13, 2010:
- 4:27 PM Changeset [181] by
- Sort out some axioms.
- 3:12 PM Changeset [180] by
- Arctan floating point approximation code. 8051 really struggles with …
- 2:11 PM Changeset [179] by
- Program executes as required.
- 12:19 PM Changeset [178] by
- Bring README file up to date.
- 12:19 PM Changeset [177] by
- Missing cost labels file.
- 12:19 PM Changeset [176] by
- Remove old executable semantics without I/O.
- 12:19 PM Changeset [175] by
- Add cost labels, with the semantics that the label is added to the …
- 12:19 PM Changeset [174] by
- Add a form of non-terminating functional semantics.
- 12:12 PM Changeset [173] by
- Minor changes for newer versions of matita.
- 12:07 PM Changeset [172] by
- JZ was not buggy after all (miscount of loop cycles). Branchless …
- 11:11 AM Changeset [171] by
- Parity check program. Bug found with jump zero instruction. A few …
- 10:55 AM Changeset [170] by
- Emulator successfully emulates rounding program.
- 10:43 AM Changeset [169] by
- Latest test C file: fast roundup to closest power of two.
Oct 8, 2010:
- 6:34 PM Changeset [168] by
- Implemented latch access.
- 6:11 PM Changeset [167] by
- Fast inverse square root C code, emulator mostly does fine running it …
- 6:11 PM Changeset [166] by
- I/O support added for serial buffer.
- 1:18 PM Changeset [165] by
- Some example C programs that the emulator can run.
Oct 7, 2010:
- 4:54 PM Changeset [164] by
- Successfully compiled a C program with a struct passed by pointer to a …
- 4:30 PM Changeset [163] by
- Fixed bug with JNB not jumping correctly.
- 2:49 PM Changeset [162] by
- Timers implemented (including demonic thirteen bit timer).
- 10:35 AM Changeset [161] by
- Type errors fixed. Add16 with carry implemented.
Oct 6, 2010:
- 5:23 PM Changeset [160] by
- Patch to acc to parse 8051 memory spaces and output matita terms.
- 4:59 PM Changeset [159] by
- Code for timers now in place. Needs further implementation.
- 4:36 PM Changeset [158] by
- Lots of bugs fixed. SFR access implemented.
- 4:21 PM Changeset [157] by
- Make proposed memory spaces semantics more explicit.
- 4:17 PM Changeset [156] by
- pdata support
- 2:20 PM Changeset [155] by
- More sensible handling of integer types and pointer casts.
- 2:20 PM Changeset [154] by
- Minor test case changes
- 2:20 PM Changeset [153] by
- Use appropriate memory chunks for 8051 pointers.
- 2:20 PM Changeset [152] by
- Force whd form for memory during execution
- 11:29 AM Changeset [151] by
- Implementing SFR access. Type error.
Oct 5, 2010:
- 4:18 PM Changeset [150] by
- Manages to load and emulate a simple array program. A few obscure bugs.
- 1:50 PM Changeset [149] by
- Fill in a few details about 8051 extensions.
Note: See TracTimeline
for information about the timeline view.
