source: src @ 1257

Name Size Rev Age Author Last Change
../
ASM 1207   10 years campbell Second part of fixing temporaries in Clight to Cminor stage.
Clight 1244   10 years campbell Sort out Clight semantics equivalence proof for new SmallstepExec?.
Cminor 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
common 1253   10 years mulligan uses.ma finished
ERTL 1256   10 years mulligan changes: added a mapi for graphs
joint 1255   10 years sacerdot Major mistake fixed: op1 and op2 were assuming the source and dest …
LIN 1250   10 years sacerdot 1. Sigma types projections moved to utilities/extralib.ma 2. Extended …
LTL 1252   10 years sacerdot graph_params added to joint/Joint.ma, together with useful common …
RTL 1257   10 years sacerdot More progress in porting to joint datatype.
RTLabs 1239   10 years sacerdot RTLAbstoRTL ported to new datatypes. Note: RTL syntax/semantics is …
utilities 1250   10 years sacerdot 1. Sigma types projections moved to utilities/extralib.ma 2. Extended …
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.