source: src @ 1374

Name Size Rev Age Author Last Change
../
utilities 1351   9 years campbell Tidy up some loose ends from the invariants branch merge.
ASM 1363   9 years boender - done stuff with create_label_trie
Clight 1369   9 years campbell Put type information into front-end unary ops. Slight change to …
Cminor 1369   9 years campbell Put type information into front-end unary ops. Slight change to …
common 1369   9 years campbell Put type information into front-end unary ops. Slight change to …
RTLabs 1369   9 years campbell Put type information into front-end unary ops. Slight change to …
ERTL 1372   9 years sacerdot save_frame now takes the stacksize to allow RTL to allocate the stack frame
joint 1372   9 years sacerdot save_frame now takes the stacksize to allow RTL to allocate the stack frame
LIN 1372   9 years sacerdot save_frame now takes the stacksize to allow RTL to allocate the stack frame
LTL 1372   9 years sacerdot save_frame now takes the stacksize to allow RTL to allocate the stack frame
RTL 1372   9 years sacerdot save_frame now takes the stacksize to allow RTL to allocate the stack frame
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.