source: Deliverables/D2.2/8051-indexed-labels-branch/src/clight

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1310   9 years tranquil * finished changes on annotator * implementing indexes in interpreter
(edit) @1305   9 years tranquil added indexes to loop constructors. Branch does not compile atm
(edit) @1297   9 years tranquil changed representation of indexings to a nameless one implemented with …
(copy) @1291   9 years tranquil Started branch of untrusted compiler with indexed labels * added …
copied from Deliverables/D2.2/8051/src/clight:
(edit) @1099   10 years ayache Bug fix in Deliverables/D2.2/8051: cast simplification.
Note: See TracRevisionLog for help on using the revision log.