source: src @ 1240

Name Size Rev Age Author Last Change
../
ASM 1207   10 years campbell Second part of fixing temporaries in Clight to Cminor stage.
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.
common 1233   10 years sacerdot 1) Ported to Brian's new dependent type for fullexec 2) Universe level …
ERTL 1232   10 years mulligan big changes: got what was implemented in the ertl to ltl pass type …
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 1240   10 years sacerdot Ported to common definitions.
RTLabs 1239   10 years sacerdot RTLAbstoRTL ported to new datatypes. Note: RTL syntax/semantics is …
utilities 1229   10 years mulligan changes
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).
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.