source: Deliverables/D4.1

Revision Log Mode:


Legend:

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