

@144

11 years 
sacerdot 
The sp can also point to upper internal ram. Fixed everywhere.



@143

11 years 
sacerdot 
More SFRs (8052 ones were missing).
SFR catalogation (is that fully …



@142

11 years 
sacerdot 
Rough implementation of direct (i.e. no BIT) SFR access.
Note: I/O is …



@141

11 years 
sacerdot 
Minor cleanup.



@140

11 years 
sacerdot 
More cleanup.



@139

11 years 
sacerdot 
More cleanup.



@138

11 years 
sacerdot 
Several bug fixes and code cleanup.
New main file: test.ml to parse …



@137

11 years 
mulligan 
Bug noticed in string conversion routine. Note added.



@136

11 years 
mulligan 
Fixed erroneous string conversion of intel hex records.



@135

11 years 
mulligan 
Fixed checksum calculation check. Requires a *half add* (i.e. ignore …



@134

11 years 
mulligan 
Checksum check calculation still not working correctly: seems to work …



@133

11 years 
mulligan 
Fixed error in parser for intel hex format entries: entries consist of …



@132

11 years 
mulligan 
Type error fixed, also fixed error in hex_format_parser which …



@131

11 years 
mulligan 
Changes from this morning: checking checksum is correct for a …



@130

11 years 
mulligan 
Commit again? Not sure what happened. All Parser files were already …



@129

11 years 
sacerdot 
Better I/O modelling (still initial ideas).



@128

11 years 
mulligan 
Some utility functions useful across modules moved into new file Util. …



@123

11 years 
mulligan 
IntelHex? file modified: string_of_intel_hex_entry implemented.



@122

11 years 
mulligan 
Added file for Intel hex format conversion. Renamed pretty files to …



@121

11 years 
mulligan 
Fixed obscure type error in pretty.



@120

11 years 
mulligan 
Fixed weird type errors in ASMInterpret.



@119

11 years 
mulligan 
Refactoring of ASMInterpret complete.



@118

11 years 
mulligan 
LCALL reimplemented.



@117

11 years 
mulligan 
Sorted out inconsistent ocaml state (???). Refactored ACALL.



@116

11 years 
mulligan 
RETs done.



@115

11 years 
mulligan 
Various jumps refactored.



@114

11 years 
mulligan 
Noticed redundancy in ANL and ORL instructions, removed. Introduced …



@113

11 years 
mulligan 
JC and JNC refactored.



@112

11 years 
mulligan 
PUSH, POP, XCH and XCHD refactored and tidied.



@111

11 years 
mulligan 
MOVC instructions refactored.



@110

11 years 
mulligan 
MOV instructions refactored.



@109

11 years 
mulligan 
Rotation and SWAP instructions refactored.



@108

11 years 
mulligan 
CPL instructions refactored.



@107

11 years 
mulligan 
CLR instruction refactored.



@106

11 years 
mulligan 
Same with ORL and XRL instructions.



@105

11 years 
mulligan 
Significantly improved implementation of ANL instructions.



@104

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



@103

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



@102

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



@101

11 years 
mulligan 
Fixing type errors in execute1.



@100

11 years 
mulligan 
More added to ASMInterpret.



@99

11 years 
mulligan 
Final cleanup



@98

11 years 
mulligan 
preliminary prettyprinting function (no usable output)



@97

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



@96

11 years 
mulligan 
Tidying up repository.



@95

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



@93

11 years 
mulligan 
Fixed INC DPTR to assert false.



@92

11 years 
mulligan 
Fixed physical interface file. Refactoring ASMInterface.



@91

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



@90

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



@89

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



@88

11 years 
mulligan 
int_of_vect implemented.



@87

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



@86

11 years 
mulligan 
Adding bit vector file.



@85

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



@84

11 years 
mulligan 
Lots of work on tidying up code.



@83

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



@81

11 years 
mulligan 
INC DPTR partially implemented.



@80

11 years 
mulligan 
ANL, ORL and XRL instructions implemented.



@79

11 years 
mulligan 
One of the ANL instruction combinations implemented.



@78

11 years 
mulligan 
LCALL implemented.



@77

11 years 
mulligan 
ACALL implemented.



@76

11 years 
mulligan 
MOVC instruction implemented.



@75

11 years 
mulligan 
AJMP implemented.



@74

11 years 
mulligan 
RETI instruction implemented.



@73

11 years 
mulligan 
RET instruction implemented.



@72

11 years 
mulligan 
DA instruction implemented: pretty complex!



@71

11 years 
mulligan 
Two more jump instructions implemented.



@70

11 years 
mulligan 
XCHD implemented.



@69

11 years 
mulligan 
PUSH implemented.



@68

11 years 
mulligan 
POP implemented ... at last.



@67

11 years 
mulligan 
DJNZ instruction finished.



@66

11 years 
mulligan 
Bytes mostly finished.



@65

11 years 
mulligan 
Forgot to add new file for processor.



@64

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



@63

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



@62

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



@61

11 years 
sacerdot 
Final version.



@60

11 years 
mulligan 
Finished implementing all jump instructions.



@58

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



@57

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



@55

11 years 
mulligan 
CJNE instruction finished.



@54

11 years 
mulligan 
CLR instructions implemented.



@53

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



@52

11 years 
mulligan 
RL, RR and SWAP implemented.



@51

11 years 
mulligan 
NOP and SETB implemented.



@50

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



@49

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



@46

11 years 
mulligan 
MOV done.



@45

11 years 
mulligan 
More pretty stuff added.



@44

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



@43

11 years 
mulligan 
Address1 function completed.



@42

11 years 
mulligan 
Address1 function completed for instructions AM.



@41

11 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 …


