source: src @ 1238

Name Size Rev Age Author Last Change
../
ASM 1207   10 years campbell Second part of fixing temporaries in Clight to Cminor stage.
utilities 1229   10 years mulligan changes
ERTL 1232   10 years mulligan big changes: got what was implemented in the ertl to ltl pass type …
common 1233   10 years sacerdot 1) Ported to Brian's new dependent type for fullexec 2) Universe level …
joint 1236   10 years sacerdot LTLToLin.ma completed (up to a couple of daemons used to provide dead …
LIN 1236   10 years sacerdot LTLToLin.ma completed (up to a couple of daemons used to provide dead …
LTL 1236   10 years sacerdot LTLToLin.ma completed (up to a couple of daemons used to provide dead …
RTL 1237   10 years sacerdot Wrong commit repaired.
Clight 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
Cminor 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
RTLabs 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
root 26 bytes 703   11 years sacerdot lib is now the default standard library (after commit 11216 in …
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
CHANGES 3.1 KB 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
Note: See TracBrowser for help on using the repository browser.