Timeline


and

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.

Sep 20, 2010:

5:42 PM Changeset [93] by mulligan
Fixed INC DPTR to assert false.
5:40 PM Changeset [92] by mulligan
Fixed physical interface file. Refactoring ASMInterface.
3:30 PM Changeset [91] by mulligan
Finished porting/fix type errors in physical.
1:45 PM Changeset [90] by mulligan
Ported physical.ml to be compatible with new bitvector code, started …
11:48 AM Changeset [89] by mulligan
Fixed a really annoying bug in vect_to_int and int_to_vect
10:35 AM Changeset [88] by mulligan
int_of_vect implemented.

Sep 17, 2010:

5:14 PM Changeset [87] by mulligan
Moved tentative to bit_vectors. Added .mli file.
5:12 PM Changeset [86] by mulligan
Adding bit vector file.
12:14 PM Changeset [85] by mulligan
Deleted Pretty.ml, as `pretty' functions have now been merged into …
10:44 AM Changeset [84] by mulligan
Lots of work on tidying up code.

Sep 16, 2010:

3:31 PM Changeset [83] by mulligan
Lots of work done on tidying up code.

Sep 15, 2010:

7:00 PM Changeset [82] by campbell
Start of document about impact of 8051 memory model on C.
5:25 PM Changeset [81] by mulligan
INC DPTR partially implemented.
4:26 PM Changeset [80] by mulligan
ANL, ORL and XRL instructions implemented.
12:42 PM Changeset [79] by mulligan
One of the ANL instruction combinations implemented.
12:06 PM Changeset [78] by mulligan
LCALL implemented.
11:57 AM Changeset [77] by mulligan
ACALL implemented.

Sep 14, 2010:

5:21 PM Changeset [76] by mulligan
MOVC instruction implemented.
4:13 PM Changeset [75] by mulligan
AJMP implemented.
3:46 PM Changeset [74] by mulligan
RETI instruction implemented.
3:45 PM Changeset [73] by mulligan
RET instruction implemented.
3:12 PM Changeset [72] by mulligan
DA instruction implemented: pretty complex!
2:40 PM Changeset [71] by mulligan
Two more jump instructions implemented.
12:33 PM Changeset [70] by mulligan
XCHD implemented.
12:19 PM Changeset [69] by mulligan
PUSH implemented.
12:11 PM Changeset [68] by mulligan
POP implemented ... at last.

Sep 13, 2010:

4:15 PM Changeset [67] by mulligan
DJNZ instruction finished.
3:15 PM Changeset [66] by mulligan
Bytes mostly finished.
12:59 PM Changeset [65] by mulligan
Forgot to add new file for processor.
12:59 PM Changeset [64] by mulligan
More work on bits, bytes and nibbles.
11:04 AM Changeset [63] by mulligan
More work on bits, bytes, nibbles, and added modules for byte7s and words.
Note: See TracTimeline for information about the timeline view.