source: src @ 824

Name Size Rev Age Author Last Change
../
ASM 823   9 years mulligan added new file for proof of correctness of pseudo-assembly translation
Clight 824   9 years campbell Some work on showing that casts around integer operations can be removed.
Cminor 816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
common 816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
ERTL 783   9 years mulligan rtl to ertl pass complete (modulo some straightforward axioms that …
LIN 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
LTL 759   9 years mulligan More work on the RTL to ERTL pass.
RTL 784   9 years mulligan Added missing tailcall simplification file.
RTLabs 816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
utilities 816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
CHANGES 1.9 KB 816   9 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
root 26 bytes 703   9 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.