source: src/Cminor/toRTLabs.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @881   10 years campbell Sort out regions in Cminor to fix Clight to Cminor translation of Ederef.
(edit) @880   10 years campbell Add type information into Cminor. As a result, the Clight to Cminor …
(edit) @816   10 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
(edit) @797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
(edit) @790   10 years campbell A little tidying: get rid of requirement for jmeq in Mem.ma, remove …
(edit) @780   10 years campbell Properly update set of registers that are used for pointers in Cminor …
(edit) @772   10 years campbell Implement proper support for RTLabs addressing modes.
(edit) @771   10 years campbell Implement switch statements in Cminor -> RTLabs phase
(edit) @767   10 years campbell Use variable shadowing as a poor man's state monad in cminor to rtlabs …
(edit) @766   10 years campbell Most of the Cminor to RTLabs stage. Is buggy, generates inefficient …
(add) @764   10 years campbell Start Cminor to RTLabs phase. Includes some syntax for matching …
Note: See TracRevisionLog for help on using the revision log.