source: src @ 1595

Name Size Rev Age Author Last Change
../
ASM 1593   10 years boender - cleaned up Assembly, moved some definitions elsewhere
Clight 1566   10 years campbell Pacify changes to destruct tactic.
Cminor 1521   10 years sacerdot Syntax change in Matita: change what where => change where what.
common 1583   10 years campbell More on RTLabs structured traces. Fixed mistake in structure trace …
ERTL 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
joint 1521   10 years sacerdot Syntax change in Matita: change what where => change where what.
LIN 1522   10 years mulligan changes to preamble and lin to asm pass, resolved conflict in interpret
LTL 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
RTL 1516   10 years sacerdot Ported to syntax of Matita 0.99.1.
RTLabs 1595   10 years campbell We don't need an explicit termination count when building traces.
utilities 1593   10 years boender - cleaned up Assembly, moved some definitions elsewhere
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.