source: src @ 1629

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