source: src @ 1517

Name Size Rev Age Author Last Change
../
utilities 1517   9 years sacerdot Ported to syntax of Matita 0.99.1.
RTL 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
joint 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
common 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
Cminor 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
Clight 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
ASM 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
RTLabs 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
LTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
LIN 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
ERTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
CHANGES 3.4 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
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.