Timeline



Nov 3, 2010:

5:34 PM Changeset [214] by mulligan
Started implementation of interrupts.
3:23 PM Changeset [213] by mulligan
implementing interrupts
1:16 PM Changeset [212] by mulligan
Refactored main emulator loop to improve clarity. Debugging serial …
12:41 PM Changeset [211] by campbell
Make io_inject definition more straightforward.

Nov 2, 2010:

10:09 AM Changeset [210] by mulligan
Three new opcodes ticked off. Going through remaining untested …
9:44 AM Changeset [209] by mulligan
Compiled again.

Nov 1, 2010:

11:10 AM Changeset [208] by campbell
Fix up IO monad syntax.

Oct 27, 2010:

4:27 PM Changeset [207] by campbell
Add memory extensions and rework parts of D3.1.

Oct 22, 2010:

3:56 PM Changeset [206] by mulligan
Fixed serial output.
3:06 PM Changeset [205] by mulligan
Reworked handling of serial port input, and implemented remaining …

Oct 21, 2010:

1:36 PM Changeset [204] by mulligan
Added file that performs both serial input and output on the 8051.
1:32 PM Changeset [203] by mulligan
Serial input test: seems to work correctly (small bug corrected where …

Oct 20, 2010:

5:59 PM Changeset [202] by mulligan
Remaining two timer modes implemented.
4:29 PM Changeset [201] by mulligan
Implemented output onto P1 and P3 lines, implemented a few of the …
1:35 PM Changeset [200] by mulligan
New features: 1) conditional jumps to labels implemented [Note: …

Oct 19, 2010:

3:29 PM Changeset [199] by mulligan
Fixes to debug code to make serial output more clear. CJNE/JNZ is not …
2:20 PM Changeset [198] by mulligan
Added more info to status printout. Found weird bug in emulator: cjne …
1:42 PM Changeset [197] by campbell
Add some first draft text for 3.1.
10:55 AM Changeset [196] by mulligan
Improvements to processor status output. Now includes readout of main …
10:40 AM Changeset [195] by mulligan
Added printout of processor status when we enter the infinite SJMP …

Oct 18, 2010:

3:20 PM Changeset [194] by mulligan
Oops: small change caused compile to fail. Works again, now.
3:19 PM Changeset [193] by mulligan
Fixed type errors relating to serial output. The serial port code …
12:15 PM Changeset [192] by campbell
matita rev in README
11:54 AM Changeset [191] by mulligan
Changed way we handle I/O due to assert false bug on first serial I/O …
11:36 AM Changeset [190] by campbell
Minor changes to work with current matita HEAD (r10998).
11:36 AM Changeset [189] by campbell
Rework monad notation so that it is displayed well in proof mode.
10:40 AM Changeset [188] by mulligan
Added README file for Roberto.

Oct 15, 2010:

4:14 PM Changeset [187] by mulligan
Bug found in IO handling. Something is throwing assert false.
2:37 PM Changeset [186] by mulligan
Added C code to write to SBUF SFR for Roberto.

Oct 14, 2010:

5:02 PM Changeset [185] by mulligan
Found a way to inline SDCC ASM directly into C to test hard to reach …
2:41 PM Changeset [184] by mulligan
Found out how to directly access 8051's registers from C code. Added …
12:11 PM Changeset [183] by mulligan
A few more opcodes covered. Emulator seems to work fine on LFSR program.
11:20 AM Changeset [182] by mulligan
Linear feedback shift register (random number generator) example added.

Oct 13, 2010:

4:27 PM Changeset [181] by campbell
Sort out some axioms.
3:12 PM Changeset [180] by mulligan
Arctan floating point approximation code. 8051 really struggles with …
2:11 PM Changeset [179] by mulligan
Program executes as required.
12:19 PM Changeset [178] by campbell
Bring README file up to date.
12:19 PM Changeset [177] by campbell
Missing cost labels file.
12:19 PM Changeset [176] by campbell
Remove old executable semantics without I/O.
12:19 PM Changeset [175] by campbell
Add cost labels, with the semantics that the label is added to the …
12:19 PM Changeset [174] by campbell
Add a form of non-terminating functional semantics.
12:12 PM Changeset [173] by campbell
Minor changes for newer versions of matita.
12:07 PM Changeset [172] by mulligan
JZ was not buggy after all (miscount of loop cycles). Branchless …
11:11 AM Changeset [171] by mulligan
Parity check program. Bug found with jump zero instruction. A few …
10:55 AM Changeset [170] by mulligan
Emulator successfully emulates rounding program.
10:43 AM Changeset [169] by mulligan
Latest test C file: fast roundup to closest power of two.

Oct 8, 2010:

6:34 PM Changeset [168] by mulligan
Implemented latch access.
6:11 PM Changeset [167] by mulligan
Fast inverse square root C code, emulator mostly does fine running it …
6:11 PM Changeset [166] by mulligan
I/O support added for serial buffer.
1:18 PM Changeset [165] by mulligan
Some example C programs that the emulator can run.

Oct 7, 2010:

4:54 PM Changeset [164] by mulligan
Successfully compiled a C program with a struct passed by pointer to a …
4:30 PM Changeset [163] by mulligan
Fixed bug with JNB not jumping correctly.
2:49 PM Changeset [162] by mulligan
Timers implemented (including demonic thirteen bit timer).
10:35 AM Changeset [161] by mulligan
Type errors fixed. Add16 with carry implemented.

Oct 6, 2010:

5:23 PM Changeset [160] by campbell
Patch to acc to parse 8051 memory spaces and output matita terms.
4:59 PM Changeset [159] by mulligan
Code for timers now in place. Needs further implementation.
4:36 PM Changeset [158] by mulligan
Lots of bugs fixed. SFR access implemented.
4:21 PM Changeset [157] by campbell
Make proposed memory spaces semantics more explicit.
4:17 PM Changeset [156] by campbell
pdata support
2:20 PM Changeset [155] by campbell
More sensible handling of integer types and pointer casts.
2:20 PM Changeset [154] by campbell
Minor test case changes
2:20 PM Changeset [153] by campbell
Use appropriate memory chunks for 8051 pointers.
2:20 PM Changeset [152] by campbell
Force whd form for memory during execution
11:29 AM Changeset [151] by mulligan
Implementing SFR access. Type error.

Oct 5, 2010:

4:18 PM Changeset [150] by mulligan
Manages to load and emulate a simple array program. A few obscure bugs.
1:50 PM Changeset [149] by campbell
Fill in a few details about 8051 extensions.
Note: See TracTimeline for information about the timeline view.