source: src @ 1581

Name Size Rev Age Author Last Change
../
ASM 1581   9 years mulligan Dangling de Bruijn pointer when trying to propagate russell to set_arg_1
RTLabs 1574   9 years campbell A little more progress on traces on RTLabs.
common 1574   9 years campbell A little more progress on traces on RTLabs.
Clight 1566   9 years campbell Pacify changes to destruct tactic.
utilities 1551   9 years campbell Functions to translate between back-end and front-end values.
LIN 1522   9 years mulligan changes to preamble and lin to asm pass, resolved conflict in interpret
joint 1521   9 years sacerdot Syntax change in Matita: change what where => change where what.
Cminor 1521   9 years sacerdot Syntax change in Matita: change what where => change where what.
RTL 1516   9 years sacerdot Ported to syntax of Matita 0.99.1.
LTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
ERTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
TODO 606 bytes 1457   10 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
CHANGES 3.4 KB 1388   10 years sacerdot fetch_result implemented for ERTL. This required a different …
acc-matita-printers.patch 7.3 KB 1158   10 years campbell Record patch needed to use matita pretty printers with acc.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
Note: See TracBrowser for help on using the repository browser.