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

Name Size Rev Age Author Last Change
../
ASM 1357   9 years tranquil * changed implementation of constant indexings with extensible arrays …
clight 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
cminor 1477   9 years tranquil * corrected a bug * implemented copy propagation * enhanced constant …
common 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
ERTL 1468   9 years tranquil * implemented constant propagation * implementing partial redundancy …
LIN 1392   9 years tranquil fiddling with Cminor: elimination of loops, blocks and exits
LTL 1357   9 years tranquil * changed implementation of constant indexings with extensible arrays …
RTL 1357   9 years tranquil * changed implementation of constant indexings with extensible arrays …
RTLabs 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
utilities 1468   9 years tranquil * implemented constant propagation * implementing partial redundancy …
acc.ml 2.8 KB 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
acc.mli 168 bytes 486   10 years ayache Deliverable D2.2
checker.ml 1.3 KB 1291   9 years tranquil Started branch of untrusted compiler with indexed labels * added …
checker.mli 244 bytes 619   10 years ayache Update of D2.2 from Paris.
dev_test.ml 1.0 KB 1433   9 years tranquil * added infrastructure to add same-language transformations along the …
driver.ml 623 bytes 740   10 years ayache New memory model and bug fixes in 8051 branch. Added primitive …
driver.mli 370 bytes 486   10 years ayache Deliverable D2.2
languages.ml 8.7 KB 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
languages.mli 3.5 KB 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
options.ml 4.6 KB 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
options.mli 1.2 KB 1507   9 years tranquil * added an option to not use ternary expressions in costs, to …
Note: See TracBrowser for help on using the repository browser.