Timeline



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.

Oct 1, 2010:

12:47 PM Changeset [148] by mulligan
Bug fixed: storage destination for all logical operations was …

Sep 30, 2010:

6:46 PM Changeset [147] by mulligan
Changes made today: we now have an emulator that is able to emulate …
3:27 PM Changeset [146] by sacerdot
Code improved.
2:52 PM Changeset [145] by mulligan
Bug in LCALL fixed.

Sep 29, 2010:

7:03 PM Changeset [144] by sacerdot
The sp can also point to upper internal ram. Fixed everywhere.
1:41 PM Changeset [143] by sacerdot
More SFRs (8052 ones were missing). SFR catalogation (is that fully …
1:27 PM Changeset [142] by sacerdot
Rough implementation of direct (i.e. no BIT) SFR access. Note: I/O is …
12:54 PM Changeset [141] by sacerdot
Minor cleanup.
12:51 PM Changeset [140] by sacerdot
More cleanup.
12:44 PM Changeset [139] by sacerdot
More cleanup.
12:25 PM Changeset [138] by sacerdot
Several bug fixes and code clean-up. New main file: test.ml to parse …

Sep 27, 2010:

4:19 PM Changeset [137] by mulligan
Bug noticed in string conversion routine. Note added.
4:00 PM Changeset [136] by mulligan
Fixed erroneous string conversion of intel hex records.
3:50 PM Changeset [135] by mulligan
Fixed checksum calculation check. Requires a *half add* (i.e. ignore …
2:55 PM Changeset [134] by mulligan
Checksum check calculation still not working correctly: seems to work …
2:08 PM Changeset [133] by mulligan
Fixed error in parser for intel hex format entries: entries consist of …
1:45 PM Changeset [132] by mulligan
Type error fixed, also fixed error in hex_format_parser which …
1:25 PM Changeset [131] by mulligan
Changes from this morning: checking checksum is correct for a …

Sep 25, 2010:

5:23 PM Changeset [130] by mulligan
Commit again? Not sure what happened. All Parser files were already …

Sep 24, 2010:

5:57 PM Changeset [129] by sacerdot
Better I/O modelling (still initial ideas).
1:36 PM Changeset [128] by mulligan
Some utility functions useful across modules moved into new file Util. …
10:31 AM Changeset [127] by campbell
Allow the storage of pointers in suitably large integers.
10:31 AM Changeset [126] by campbell
Put in real pointer sizes.
10:31 AM Changeset [125] by campbell
Unify memory space / pointer types. Implement global variable …
10:31 AM Changeset [124] by campbell
Initial work on Clight semantics with 8051 memory spaces.

Sep 23, 2010:

5:36 PM Changeset [123] by mulligan
IntelHex? file modified: string_of_intel_hex_entry implemented.
5:27 PM Changeset [122] by mulligan
Added file for Intel hex format conversion. Renamed pretty files to …
3:57 PM Changeset [121] by mulligan
Fixed obscure type error in pretty.
3:16 PM Changeset [120] by mulligan
Fixed weird type errors in ASMInterpret.
12:25 PM Changeset [119] by mulligan
Refactoring of ASMInterpret complete.
11:55 AM Changeset [118] by mulligan
LCALL reimplemented.
11:46 AM Changeset [117] by mulligan
Sorted out inconsistent ocaml state (???). Refactored ACALL.
11:10 AM Changeset [116] by mulligan
RETs done.
11:01 AM Changeset [115] by mulligan
Various jumps refactored.
10:54 AM Changeset [114] by mulligan
Noticed redundancy in ANL and ORL instructions, removed. Introduced …
10:43 AM Changeset [113] by mulligan
JC and JNC refactored.
10:36 AM Changeset [112] by mulligan
PUSH, POP, XCH and XCHD refactored and tidied.

Sep 22, 2010:

5:19 PM Changeset [111] by mulligan
MOVC instructions refactored.
5:06 PM Changeset [110] by mulligan
MOV instructions refactored.
4:28 PM Changeset [109] by mulligan
Rotation and SWAP instructions refactored.
4:13 PM Changeset [108] by mulligan
CPL instructions refactored.
3:52 PM Changeset [107] by mulligan
CLR instruction refactored.
3:38 PM Changeset [106] by mulligan
Same with ORL and XRL instructions.
3:30 PM Changeset [105] by mulligan
Significantly improved implementation of ANL instructions.
3:17 PM Changeset [104] by mulligan
Significantly improved implementation of DA instruction: code reduced …
2:13 PM Changeset [103] by mulligan
fixed implementation of assembly, fixed typing error in execute.
12:34 PM Changeset [102] by mulligan
Implemented INC DPTR. Type error related to polymorphic variants though.
11:49 AM Changeset [101] by mulligan
Fixing type errors in execute1.

Sep 21, 2010:

4:43 PM Changeset [100] by mulligan
More added to ASMInterpret.
2:28 PM Changeset [99] by mulligan
Final clean-up
2:21 PM Changeset [98] by mulligan
preliminary pretty-printing function (no usable output)
1:51 PM Changeset [97] by mulligan
Move to polymorphic variants everywhere (scary...)
1:32 PM Changeset [96] by mulligan
Tidying up repository.
1:22 PM Changeset [95] by mulligan
fixed typing errors in ASMInterpret up to execute1.
11:49 AM Changeset [94] by sacerdot
Minor comments.
Note: See TracTimeline for information about the timeline view.