|
|
@130
|
10 years |
mulligan |
Commit again? Not sure what happened. All Parser files were already …
|
|
|
@129
|
10 years |
sacerdot |
Better I/O modelling (still initial ideas).
|
|
|
@128
|
10 years |
mulligan |
Some utility functions useful across modules moved into new file Util. …
|
|
|
@123
|
10 years |
mulligan |
IntelHex? file modified: string_of_intel_hex_entry implemented.
|
|
|
@122
|
10 years |
mulligan |
Added file for Intel hex format conversion. Renamed pretty files to …
|
|
|
@121
|
10 years |
mulligan |
Fixed obscure type error in pretty.
|
|
|
@120
|
10 years |
mulligan |
Fixed weird type errors in ASMInterpret.
|
|
|
@119
|
10 years |
mulligan |
Refactoring of ASMInterpret complete.
|
|
|
@118
|
10 years |
mulligan |
LCALL reimplemented.
|
|
|
@117
|
10 years |
mulligan |
Sorted out inconsistent ocaml state (???). Refactored ACALL.
|
|
|
@116
|
10 years |
mulligan |
RETs done.
|
|
|
@115
|
10 years |
mulligan |
Various jumps refactored.
|
|
|
@114
|
10 years |
mulligan |
Noticed redundancy in ANL and ORL instructions, removed. Introduced …
|
|
|
@113
|
10 years |
mulligan |
JC and JNC refactored.
|
|
|
@112
|
10 years |
mulligan |
PUSH, POP, XCH and XCHD refactored and tidied.
|
|
|
@111
|
10 years |
mulligan |
MOVC instructions refactored.
|
|
|
@110
|
10 years |
mulligan |
MOV instructions refactored.
|
|
|
@109
|
10 years |
mulligan |
Rotation and SWAP instructions refactored.
|
|
|
@108
|
10 years |
mulligan |
CPL instructions refactored.
|
|
|
@107
|
10 years |
mulligan |
CLR instruction refactored.
|
|
|
@106
|
10 years |
mulligan |
Same with ORL and XRL instructions.
|
|
|
@105
|
10 years |
mulligan |
Significantly improved implementation of ANL instructions.
|
|
|
@104
|
10 years |
mulligan |
Significantly improved implementation of DA instruction: code reduced …
|
|
|
@103
|
10 years |
mulligan |
fixed implementation of assembly, fixed typing error in execute.
|
|
|
@102
|
10 years |
mulligan |
Implemented INC DPTR. Type error related to polymorphic variants
though.
|
|
|
@101
|
10 years |
mulligan |
Fixing type errors in execute1.
|
|
|
@100
|
10 years |
mulligan |
More added to ASMInterpret.
|
|
|
@99
|
10 years |
mulligan |
Final clean-up
|
|
|
@98
|
10 years |
mulligan |
preliminary pretty-printing function (no usable output)
|
|
|
@97
|
10 years |
mulligan |
Move to polymorphic variants everywhere (scary...)
|
|
|
@96
|
10 years |
mulligan |
Tidying up repository.
|
|
|
@95
|
10 years |
mulligan |
fixed typing errors in ASMInterpret up to execute1.
|
|
|
@93
|
10 years |
mulligan |
Fixed INC DPTR to assert false.
|
|
|
@92
|
10 years |
mulligan |
Fixed physical interface file. Refactoring ASMInterface.
|
|
|
@91
|
10 years |
mulligan |
Finished porting/fix type errors in physical.
|
|
|
@90
|
10 years |
mulligan |
Ported physical.ml to be compatible with new bitvector code, started …
|
|
|
@89
|
10 years |
mulligan |
Fixed a really annoying bug in vect_to_int and int_to_vect
|
|
|
@88
|
10 years |
mulligan |
int_of_vect implemented.
|
|
|
@87
|
10 years |
mulligan |
Moved tentative to bit_vectors. Added .mli file.
|
|
|
@86
|
10 years |
mulligan |
Adding bit vector file.
|
|
|
@85
|
10 years |
mulligan |
Deleted Pretty.ml, as `pretty' functions have now been merged into …
|
|
|
@84
|
10 years |
mulligan |
Lots of work on tidying up code.
|
|
|
@83
|
10 years |
mulligan |
Lots of work done on tidying up code.
|
|
|
@81
|
10 years |
mulligan |
INC DPTR partially implemented.
|
|
|
@80
|
10 years |
mulligan |
ANL, ORL and XRL instructions implemented.
|
|
|
@79
|
10 years |
mulligan |
One of the ANL instruction combinations implemented.
|
|
|
@78
|
10 years |
mulligan |
LCALL implemented.
|
|
|
@77
|
10 years |
mulligan |
ACALL implemented.
|
|
|
@76
|
10 years |
mulligan |
MOVC instruction implemented.
|
|
|
@75
|
10 years |
mulligan |
AJMP implemented.
|
|
|
@74
|
10 years |
mulligan |
RETI instruction implemented.
|
|
|
@73
|
10 years |
mulligan |
RET instruction implemented.
|
|
|
@72
|
10 years |
mulligan |
DA instruction implemented: pretty complex!
|
|
|
@71
|
10 years |
mulligan |
Two more jump instructions implemented.
|
|
|
@70
|
10 years |
mulligan |
XCHD implemented.
|
|
|
@69
|
10 years |
mulligan |
PUSH implemented.
|
|
|
@68
|
10 years |
mulligan |
POP implemented ... at last.
|
|
|
@67
|
10 years |
mulligan |
DJNZ instruction finished.
|
|
|
@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 A--M.
|
|
|
@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 M--O added to `fetch' function. Presentation files for …
|
|
|
@32
|
11 years |
mulligan |
All MOV variations done.
|
|
|
@31
|
11 years |
mulligan |
Instructions J--M 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 C--J 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).
|