source: src @ 1285

Name Size Rev Age Author Last Change
../
Cminor 1238   9 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
common 1268   9 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
Clight 1276   9 years campbell Support for replacing operations with runtime support functions in …
ASM 1279   9 years sacerdot Bug fixed in definition of ltb.
ERTL 1282   9 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
LIN 1282   9 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
LTL 1282   9 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
joint 1284   9 years sacerdot Bugs fixed: fresh_label changes the label universe, but this was not …
RTL 1284   9 years sacerdot Bugs fixed: fresh_label changes the label universe, but this was not …
RTLabs 1285   9 years mulligan more implementation on maps, final push to get rtl abs to rtl working
utilities 1285   9 years mulligan more implementation on maps, final push to get rtl abs to rtl working
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
acc-matita-printers.patch 7.3 KB 1158   9 years campbell Record patch needed to use matita pretty printers with acc.
CHANGES 3.1 KB 1198   9 years campbell Clight cast removal (NB: quite different from the prototype).
Note: See TracBrowser for help on using the repository browser.