source: Deliverables/D4.1

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @54   10 years mulligan CLR instructions implemented.
(edit) @53   10 years mulligan All RR* and RL* instructions implemented.
(edit) @52   10 years mulligan RL, RR and SWAP implemented.
(edit) @51   10 years mulligan NOP and SETB implemented.
(edit) @50   11 years mulligan More missing cases added to the ASMInterpret functions. Pretty …
(edit) @49   11 years mulligan Fixed bug in ASMInterpret functions: CPL functions were not …
(edit) @46   11 years mulligan MOV done.
(edit) @45   11 years mulligan More pretty stuff added.
(edit) @44   11 years mulligan Added pretty printing functions for bits, bytes, words etc.
(edit) @43   11 years mulligan Address1 function completed.
(edit) @42   11 years mulligan Address1 function completed for instructions A--M.
(edit) @41   11 years mulligan More added to address1 function. Weird type error?
(edit) @38   11 years mulligan First draft Claudio's talk finished.
(edit) @37   11 years mulligan Slight change to presentation.
(edit) @36   11 years mulligan More on Claudio's presentation: upto interrupts and their handling.
(edit) @35   11 years mulligan `fetch' function complete.
(edit) @34   11 years mulligan Up to describing 8051 SFRs in presentation
(edit) @33   11 years mulligan Instructions M--O added to `fetch' function. Presentation files for …
(edit) @32   11 years mulligan All MOV variations done.
(edit) @31   11 years mulligan Instructions J--M complete.
(edit) @30   11 years mulligan Small bug fix in abstract syntax of ASM language (JB needs to carry a …
(edit) @29   11 years mulligan Commit while I check Siemen's data sheet. Instructions C--J added to …
(edit) @28   11 years sacerdot 1) all the opcodes are there in ASM syntax (but no labels, …
(edit) @27   11 years sacerdot The 8051 instruction set (syntax only).
(add) @26   11 years sacerdot Executable semantics of 8051 assembly (in OCaml for now).
Note: See TracRevisionLog for help on using the revision log.