source: src @ 1219

Name Size Rev Age Author Last Change
../
ASM 1207   10 years campbell Second part of fixing temporaries in Clight to Cminor stage.
Clight 1216   10 years campbell Update Clight semantics equivalence proof to match changes in …
Cminor 1157   10 years campbell Update pretty printers and examples.
common 1215   10 years sacerdot 1) Added shifting directly on pointers 2) More temporary axioms closed.
ERTL 1192   10 years mulligan some files that were missing / laying dormant on my computer
joint 1217   10 years sacerdot Only one axiom left.
LIN 1183   10 years mulligan removed parameterised label types in the three lowest level languages
LTL 1183   10 years mulligan removed parameterised label types in the three lowest level languages
RTL 1149   10 years mulligan changes to get everything type checking again after changing names of …
RTLabs 1157   10 years campbell Update pretty printers and examples.
utilities 1219   10 years mulligan a little more added
root 26 bytes 703   11 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.1 KB 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
Note: See TracBrowser for help on using the repository browser.