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

Name Size Rev Age Author Last Change
../
clight32ToClight8.ml 22.6 KB 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clight32ToClight8.mli 651 bytes 619   9 years ayache Update of D2.2 from Paris.
clight.mli 6.8 KB 1305   8 years tranquil added indexes to loop constructors. Branch does not compile atm
clightAnnotator.ml 16.1 KB 1507   8 years tranquil * added an option to not use ternary expressions in costs, to …
clightAnnotator.mli 1.2 KB 1507   8 years tranquil * added an option to not use ternary expressions in costs, to …
clightCasts.ml 6.7 KB 1099   9 years ayache Bug fix in Deliverables/D2.2/8051: cast simplification.
clightCasts.mli 337 bytes 740   9 years ayache New memory model and bug fixes in 8051 branch. Added primitive …
clightFlags.ml 1.3 KB 486   9 years ayache Deliverable D2.2
clightFold.ml 7.5 KB 1392   8 years tranquil fiddling with Cminor: elimination of loops, blocks and exits
clightFold.mli 1.6 KB 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clightFromC.ml 28.4 KB 1305   8 years tranquil added indexes to loop constructors. Branch does not compile atm
clightInterpret.ml 22.6 KB 1357   8 years tranquil * changed implementation of constant indexings with extensible arrays …
clightInterpret.mli 305 bytes 740   9 years ayache New memory model and bug fixes in 8051 branch. Added primitive …
clightLabelling.ml 12.2 KB 1421   8 years tranquil first draft of peeling optimization: * a framework for heuristics has …
clightLabelling.mli 787 bytes 486   9 years ayache Deliverable D2.2
clightParser.ml 1.4 KB 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clightParser.mli 250 bytes 486   9 years ayache Deliverable D2.2
clightPrinter.ml 17.0 KB 1392   8 years tranquil fiddling with Cminor: elimination of loops, blocks and exits
clightPrinter.mli 357 bytes 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clightSwitch.ml 1.4 KB 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clightSwitch.mli 228 bytes 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
clightToCminor.ml 23.0 KB 1473   8 years tranquil * implemented partial redundancy elimination * added some tools for …
clightToCminor.mli 336 bytes 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
loopPeeling.ml 6.2 KB 1483   8 years tranquil * implemented a first draft of loop unrolling * correced bugs in CostExpr?
loopPeeling.mli 75 bytes 1468   8 years tranquil * implemented constant propagation * implementing partial redundancy …
loopUnrolling.ml 7.2 KB 1507   8 years tranquil * added an option to not use ternary expressions in costs, to …
loopUnrolling.mli 100 bytes 1483   8 years tranquil * implemented a first draft of loop unrolling * correced bugs in CostExpr?
runtime.ml 14.8 KB 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
runtime.mli 1006 bytes 818   9 years ayache 32 and 16 bits operations support in D2.2/8051
Note: See TracBrowser for help on using the repository browser.