source: src @ 1915

Name Size Rev Age Author Last Change
../
ASM 1913   9 years mulligan Got the rest of the file to typecheck as before.
Clight 1915   9 years garnier Correction of a typo in switchRemoval.
Cminor 1884   9 years campbell Syntax changes to fit Paolo's commit.
common 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
ERTL 1730   9 years sacerdot Minor changes while studying the proof.
joint 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
LIN 1601   10 years sacerdot Files ported to new version of the standard library.
LTL 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
RTL 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
RTLabs 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
utilities 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
acc-matita-printers.patch 7.1 KB 1633   9 years campbell Update Cminor pretty printer and examples.
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.