source: src @ 1709

Name Size Rev Age Author Last Change
../
utilities 1648   10 years mulligan new version of utilities/monad.ma with typecheck command comented out
RTLabs 1707   10 years campbell Progress on finite segments of infinite RTLabs structured trace.
RTL 1644   10 years tranquil minor changes
LTL 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
LIN 1601   10 years sacerdot Files ported to new version of the standard library.
joint 1709   10 years mulligan Changes to the execution of the MOVC instruction
ERTL 1601   10 years sacerdot Files ported to new version of the standard library.
common 1709   10 years mulligan Changes to the execution of the MOVC instruction
Cminor 1680   10 years campbell Comment out unused tailcalls in Cminor and RTLabs. (They would be a …
Clight 1672   10 years campbell Matita now generates a couple of inversion lemmas that were manually …
ASM 1709   10 years mulligan Changes to the execution of the MOVC instruction
TODO 606 bytes 1457   10 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
root 26 bytes 703   11 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.4 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
acc-matita-printers.patch 7.1 KB 1633   10 years campbell Update Cminor pretty printer and examples.
Note: See TracBrowser for help on using the repository browser.