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

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1507   8 years tranquil * added an option to not use ternary expressions in costs, to …
(edit) @1483   8 years tranquil * implemented a first draft of loop unrolling * correced bugs in CostExpr?
(edit) @1477   8 years tranquil * corrected a bug * implemented copy propagation * enhanced constant …
(edit) @1473   8 years tranquil * implemented partial redundancy elimination * added some tools for …
(edit) @1468   8 years tranquil * implemented constant propagation * implementing partial redundancy …
(edit) @1444   8 years tranquil * expression simplification finished
(edit) @1433   8 years tranquil * added infrastructure to add same-language transformations along the …
(edit) @1422   8 years tranquil corrected a small bug
(edit) @1421   8 years tranquil first draft of peeling optimization: * a framework for heuristics has …
(edit) @1392   8 years tranquil fiddling with Cminor: elimination of loops, blocks and exits
(edit) @1357   8 years tranquil * changed implementation of constant indexings with extensible arrays …
(edit) @1349   8 years tranquil * work on LIN completed * small implementation of extensible arrays
(edit) @1345   8 years tranquil work on ERTL and LTL completed
(edit) @1340   8 years tranquil work on RTLabs and RTL completed
(edit) @1334   8 years tranquil work on Cminor completed
(edit) @1328   8 years tranquil * bug in ClightUtilities?.find_max_depth_lbld fixed * single-entry loop …
(edit) @1319   8 years tranquil indexing branch is compiling again: * clight interpreter updated * …
(edit) @1310   8 years tranquil * finished changes on annotator * implementing indexes in interpreter
(edit) @1305   8 years tranquil added indexes to loop constructors. Branch does not compile atm
(edit) @1297   8 years tranquil changed representation of indexings to a nameless one implemented with …
(copy) @1291   8 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.