Timeline



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.

Sep 10, 2010:

5:37 PM Changeset [62] by mulligan
Many additions to Bit, Nibble and Byte API, as well as more …
5:33 PM Changeset [61] by sacerdot
Final version.
4:20 PM Changeset [60] by mulligan
Finished implementing all jump instructions.
3:51 PM Changeset [59] by sacerdot
Added a new appendix for assessment within the CerCo? project.
3:37 PM Changeset [58] by mulligan
Bug fixed in CJNE instruction. More jump instructions implemented.
3:18 PM Changeset [57] by mulligan
More instructions implemented. Started cleaning up code by moving …
1:50 PM Changeset [56] by sacerdot
The technical annex of the contract.
12:28 PM Changeset [55] by mulligan
CJNE instruction finished.
11:51 AM Changeset [54] by mulligan
CLR instructions implemented.
11:36 AM Changeset [53] by mulligan
All RR* and RL* instructions implemented.
11:20 AM Changeset [52] by mulligan
RL, RR and SWAP implemented.
11:06 AM Changeset [51] by mulligan
NOP and SETB implemented.

Sep 9, 2010:

2:52 PM Changeset [50] by mulligan
More missing cases added to the ASMInterpret functions. Pretty …
1:19 PM Changeset [49] by mulligan
Fixed bug in ASMInterpret functions: CPL functions were not …
11:47 AM Changeset [48] by mulligan
finished touching up report's English
11:04 AM Changeset [47] by mulligan
Half of report's English fixed.

Sep 8, 2010:

6:09 PM Changeset [46] by mulligan
MOV done.
12:39 PM Changeset [45] by mulligan
More pretty stuff added.
12:30 PM Changeset [44] by mulligan
Added pretty printing functions for bits, bytes, words etc.
11:58 AM Changeset [43] by mulligan
Address1 function completed.
11:24 AM Changeset [42] by mulligan
Address1 function completed for instructions A--M.
10:43 AM Changeset [41] by mulligan
More added to address1 function. Weird type error?

Sep 6, 2010:

1:32 PM Changeset [40] by amadio
er-cor

Sep 5, 2010:

10:17 PM WikiStart edited by amadio
(diff)
10:02 PM Changeset [39] by amadio
deliverable D2.1

Sep 3, 2010:

5:27 PM Changeset [38] by mulligan
First draft Claudio's talk finished.
5:13 PM Changeset [37] by mulligan
Slight change to presentation.
5:05 PM Changeset [36] by mulligan
More on Claudio's presentation: upto interrupts and their handling.
3:44 PM Changeset [35] by mulligan
`fetch' function complete.
2:56 PM Changeset [34] by mulligan
Up to describing 8051 SFRs in presentation
2:32 PM Changeset [33] by mulligan
Instructions M--O added to `fetch' function. Presentation files for …
1:36 PM Changeset [32] by mulligan
All MOV variations done.
12:08 PM Changeset [31] by mulligan
Instructions J--M complete.
11:54 AM Changeset [30] by mulligan
Small bug fix in abstract syntax of ASM language (JB needs to carry a …
11:51 AM Changeset [29] by mulligan
Commit while I check Siemen's data sheet. Instructions C--J added to …

Sep 2, 2010:

6:30 PM Changeset [28] by sacerdot
1) all the opcodes are there in ASM syntax (but no labels, …
12:17 PM Changeset [27] by sacerdot
The 8051 instruction set (syntax only).
10:11 AM Changeset [26] by sacerdot
Executable semantics of 8051 assembly (in OCaml for now).
Note: See TracTimeline for information about the timeline view.