source: src @ 1921

Name Size Rev Age Author Last Change
../
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.
ERTL 1730   9 years sacerdot Minor changes while studying the proof.
RTL 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Cminor 1884   9 years campbell Syntax changes to fit Paolo's commit.
joint 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
utilities 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
Clight 1920   9 years campbell Most of the labelling simulation. Still need to sort out switch …
RTLabs 1920   9 years campbell Most of the labelling simulation. Still need to sort out switch …
ASM 1921   9 years mulligan Horror proof mostly finished (compiles all way until end of CostsProof?.ma).
common 1921   9 years mulligan Horror proof mostly finished (compiles all way until end of CostsProof?.ma).
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 …
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
acc-matita-printers.patch 7.1 KB 1633   9 years campbell Update Cminor pretty printer and examples.
Note: See TracBrowser for help on using the repository browser.