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

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1392   9 years tranquil fiddling with Cminor: elimination of loops, blocks and exits
(edit) @1357   9 years tranquil * changed implementation of constant indexings with extensible arrays …
(edit) @1349   9 years tranquil * work on LIN completed * small implementation of extensible arrays
(edit) @1345   9 years tranquil work on ERTL and LTL completed
(edit) @1340   9 years tranquil work on RTLabs and RTL completed
(edit) @1334   9 years tranquil work on Cminor completed
(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.