source: src @ 1629

Name Size Rev Age Author Last Change
../
utilities 1628   9 years campbell Show that the universe generated by Clight/fresh.ma is good.
RTLabs 1626   9 years campbell Add extra type safety in front end. NB: critical freshness parts …
RTL 1601   9 years sacerdot Files ported to new version of the standard library.
LTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
LIN 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.
ERTL 1601   9 years sacerdot Files ported to new version of the standard library.
common 1627   9 years campbell Add some notions of freshness, and start using them for temporary …
Cminor 1626   9 years campbell Add extra type safety in front end. NB: critical freshness parts …
Clight 1629   9 years campbell Sort out most of the fresh names stuff in Clight to Cminor.
ASM 1625   9 years mulligan before christmas
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.4 KB 1388   9 years sacerdot fetch_result implemented for ERTL. This required a different …
acc-matita-printers.patch 7.3 KB 1158   9 years campbell Record patch needed to use matita pretty printers with acc.
Note: See TracBrowser for help on using the repository browser.