source: src @ 1611

Name Size Rev Age Author Last Change
../
LTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
utilities 1600   9 years sacerdot utilities and ASM ported to the new standard library
ERTL 1601   9 years sacerdot Files ported to new version of the standard library.
joint 1601   9 years sacerdot Files ported to new version of the standard library.
LIN 1601   9 years sacerdot Files ported to new version of the standard library.
RTL 1601   9 years sacerdot Files ported to new version of the standard library.
RTLabs 1601   9 years sacerdot Files ported to new version of the standard library.
Clight 1608   9 years sacerdot Porting to new library still in progress.
ASM 1609   9 years boender - added alias to ASM/BitVectorTrie - removed double include from …
common 1609   9 years boender - added alias to ASM/BitVectorTrie - removed double include from …
Cminor 1611   9 years sacerdot All of Cminor now compiles with the latest lib of Matita.
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.4 KB 1388   9 years sacerdot fetch_result implemented for ERTL. This required a different …
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
Note: See TracBrowser for help on using the repository browser.