source: Deliverables/D4.1

Revision Log Mode:


Legend:

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