Timeline


and

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).

Aug 27, 2010:

3:29 PM Changeset [25] by campbell
Simplify the IO monad a little.
1:21 PM Changeset [24] by campbell
Separate out IOMonad from the rest of the executable semantics. Start …

Aug 20, 2010:

8:05 PM Changeset [23] by sacerdot
Spell checked.
8:03 PM Changeset [22] by sacerdot
Proposed final version.

Aug 19, 2010:

9:35 PM Changeset [21] by sacerdot
First draft.
12:36 PM Changeset [20] by campbell
Add resumption monad based version of the executable semantics with …

Aug 12, 2010:

5:14 PM Changeset [19] by sacerdot
5:14 PM Changeset [18] by sacerdot
logo moved
Note: See TracTimeline for information about the timeline view.