source: src @ 786

Name Size Rev Age Author Last Change
../
LIN 757   10 years mulligan Lots more fixing to get both front and backends using same conventions …
LTL 759   10 years mulligan More work on the RTL to ERTL pass.
RTLabs 775   10 years campbell A few useful definitions for when RTLabs programs fail.
Cminor 780   10 years campbell Properly update set of registers that are used for pointers in Cminor …
ASM 782   10 years mulligan More work on rtl-ertl pass from today, plus resolved conflict.
common 782   10 years mulligan More work on rtl-ertl pass from today, plus resolved conflict.
utilities 782   10 years mulligan More work on rtl-ertl pass from today, plus resolved conflict.
ERTL 783   10 years mulligan rtl to ertl pass complete (modulo some straightforward axioms that …
RTL 784   10 years mulligan Added missing tailcall simplification file.
Clight 786   10 years campbell A version of the clight matita term printer for the current prototype.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 1.6 KB 774   10 years campbell Separate out the different forms of addition and subtraction in the …
Note: See TracBrowser for help on using the repository browser.