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

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1328   9 years tranquil * bug in ClightUtilities?.find_max_depth_lbld fixed * single-entry loop …
(edit) @1319   9 years tranquil indexing branch is compiling again: * clight interpreter updated * …
(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:
(edit) @1273   9 years campbell Remove generated file.
Note: See TracRevisionLog for help on using the revision log.