source: src @ 1298

Name Size Rev Age Author Last Change
../
Clight 1276   10 years campbell Support for replacing operations with runtime support functions in …
Cminor 1238   10 years campbell Update Cminor and RTLabs to fit SmallstepExec? changes.
RTLabs 1296   10 years mulligan changes
utilities 1296   10 years mulligan changes
ASM 1279   10 years sacerdot Bug fixed in definition of ltb.
common 1268   10 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
ERTL 1282   10 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
joint 1298   10 years sacerdot - fetch_statement now takes in input the globalenv - fetch_statement …
LIN 1282   10 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
LTL 1282   10 years sacerdot Cosmetic change: names of joint statements/instructions shortened and …
RTL 1298   10 years sacerdot - fetch_statement now takes in input the globalenv - fetch_statement …
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.