

@66

10 years 
mulligan 
Bytes mostly finished.



@65

10 years 
mulligan 
Forgot to add new file for processor.



@64

10 years 
mulligan 
More work on bits, bytes and nibbles.



@63

10 years 
mulligan 
More work on bits, bytes, nibbles, and added modules for byte7s and
words.



@62

10 years 
mulligan 
Many additions to Bit, Nibble and Byte API, as well as more …



@61

10 years 
sacerdot 
Final version.



@60

10 years 
mulligan 
Finished implementing all jump instructions.



@58

10 years 
mulligan 
Bug fixed in CJNE instruction. More jump instructions implemented.



@57

10 years 
mulligan 
More instructions implemented. Started cleaning up code by moving …



@55

10 years 
mulligan 
CJNE instruction finished.



@54

10 years 
mulligan 
CLR instructions implemented.



@53

10 years 
mulligan 
All RR* and RL* instructions implemented.



@52

10 years 
mulligan 
RL, RR and SWAP implemented.



@51

10 years 
mulligan 
NOP and SETB implemented.



@50

10 years 
mulligan 
More missing cases added to the ASMInterpret functions. Pretty …



@49

10 years 
mulligan 
Fixed bug in ASMInterpret functions: CPL functions were not …



@46

10 years 
mulligan 
MOV done.



@45

10 years 
mulligan 
More pretty stuff added.



@44

10 years 
mulligan 
Added pretty printing functions for bits, bytes, words etc.



@43

10 years 
mulligan 
Address1 function completed.



@42

10 years 
mulligan 
Address1 function completed for instructions AM.



@41

10 years 
mulligan 
More added to address1 function. Weird type error?



@38

11 years 
mulligan 
First draft Claudio's talk finished.



@37

11 years 
mulligan 
Slight change to presentation.



@36

11 years 
mulligan 
More on Claudio's presentation: upto interrupts and their handling.



@35

11 years 
mulligan 
`fetch' function complete.



@34

11 years 
mulligan 
Up to describing 8051 SFRs in presentation



@33

11 years 
mulligan 
Instructions MO added to `fetch' function. Presentation files for …



@32

11 years 
mulligan 
All MOV variations done.



@31

11 years 
mulligan 
Instructions JM complete.



@30

11 years 
mulligan 
Small bug fix in abstract syntax of ASM language (JB needs to carry a …



@29

11 years 
mulligan 
Commit while I check Siemen's data sheet. Instructions CJ added to …



@28

11 years 
sacerdot 
1) all the opcodes are there in ASM syntax
(but no labels, …



@27

11 years 
sacerdot 
The 8051 instruction set (syntax only).



@26

11 years 
sacerdot 
Executable semantics of 8051 assembly (in OCaml for now).
