

@106

9 years 
mulligan 
Same with ORL and XRL instructions.



@105

9 years 
mulligan 
Significantly improved implementation of ANL instructions.



@104

9 years 
mulligan 
Significantly improved implementation of DA instruction: code reduced …



@103

9 years 
mulligan 
fixed implementation of assembly, fixed typing error in execute.



@102

9 years 
mulligan 
Implemented INC DPTR. Type error related to polymorphic variants
though.



@101

9 years 
mulligan 
Fixing type errors in execute1.



@100

9 years 
mulligan 
More added to ASMInterpret.



@99

9 years 
mulligan 
Final cleanup



@98

9 years 
mulligan 
preliminary prettyprinting function (no usable output)



@97

9 years 
mulligan 
Move to polymorphic variants everywhere (scary...)



@96

9 years 
mulligan 
Tidying up repository.



@95

9 years 
mulligan 
fixed typing errors in ASMInterpret up to execute1.



@93

9 years 
mulligan 
Fixed INC DPTR to assert false.



@92

9 years 
mulligan 
Fixed physical interface file. Refactoring ASMInterface.



@91

9 years 
mulligan 
Finished porting/fix type errors in physical.



@90

9 years 
mulligan 
Ported physical.ml to be compatible with new bitvector code, started …



@89

9 years 
mulligan 
Fixed a really annoying bug in vect_to_int and int_to_vect



@88

9 years 
mulligan 
int_of_vect implemented.



@87

9 years 
mulligan 
Moved tentative to bit_vectors. Added .mli file.



@86

9 years 
mulligan 
Adding bit vector file.



@85

9 years 
mulligan 
Deleted Pretty.ml, as `pretty' functions have now been merged into …



@84

9 years 
mulligan 
Lots of work on tidying up code.



@83

9 years 
mulligan 
Lots of work done on tidying up code.



@81

9 years 
mulligan 
INC DPTR partially implemented.



@80

9 years 
mulligan 
ANL, ORL and XRL instructions implemented.



@79

9 years 
mulligan 
One of the ANL instruction combinations implemented.



@78

9 years 
mulligan 
LCALL implemented.



@77

9 years 
mulligan 
ACALL implemented.



@76

9 years 
mulligan 
MOVC instruction implemented.



@75

9 years 
mulligan 
AJMP implemented.



@74

9 years 
mulligan 
RETI instruction implemented.



@73

9 years 
mulligan 
RET instruction implemented.



@72

9 years 
mulligan 
DA instruction implemented: pretty complex!



@71

9 years 
mulligan 
Two more jump instructions implemented.



@70

9 years 
mulligan 
XCHD implemented.



@69

9 years 
mulligan 
PUSH implemented.



@68

9 years 
mulligan 
POP implemented ... at last.



@67

9 years 
mulligan 
DJNZ instruction finished.



@66

9 years 
mulligan 
Bytes mostly finished.



@65

9 years 
mulligan 
Forgot to add new file for processor.



@64

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



@63

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



@62

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



@61

9 years 
sacerdot 
Final version.



@60

9 years 
mulligan 
Finished implementing all jump instructions.



@59

9 years 
sacerdot 
Added a new appendix for assessment within the CerCo? project.



@58

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



@57

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



@55

9 years 
mulligan 
CJNE instruction finished.



@54

9 years 
mulligan 
CLR instructions implemented.



@53

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



@52

9 years 
mulligan 
RL, RR and SWAP implemented.



@51

9 years 
mulligan 
NOP and SETB implemented.



@50

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



@49

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



@48

9 years 
mulligan 
finished touching up report's English



@47

9 years 
mulligan 
Half of report's English fixed.



@46

9 years 
mulligan 
MOV done.



@45

9 years 
mulligan 
More pretty stuff added.



@44

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



@43

9 years 
mulligan 
Address1 function completed.



@42

9 years 
mulligan 
Address1 function completed for instructions AM.



@41

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



@40

9 years 
amadio 
ercor



@39

9 years 
amadio 
deliverable D2.1



@38

9 years 
mulligan 
First draft Claudio's talk finished.



@37

9 years 
mulligan 
Slight change to presentation.



@36

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



@35

9 years 
mulligan 
`fetch' function complete.



@34

9 years 
mulligan 
Up to describing 8051 SFRs in presentation



@33

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



@32

9 years 
mulligan 
All MOV variations done.



@31

9 years 
mulligan 
Instructions JM complete.



@30

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



@29

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



@28

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



@27

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



@26

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



@23

9 years 
sacerdot 
Spell checked.



@22

9 years 
sacerdot 
Proposed final version.



@21

9 years 
sacerdot 
First draft.



@19

9 years 
sacerdot 
…



@18

9 years 
sacerdot 
logo moved



@8

10 years 
sacerdot 
Final version of D6.1.



@7

10 years 
sacerdot 
ispelled



@6

10 years 
sacerdot 
First deliverable (D6.1).



@2

10 years 
sacerdot 
First layout.
