source: src @ 1445

Name Size Rev Age Author Last Change
../
joint 1430   9 years sacerdot Bug fixed: push/pop must work on the isp (now added). Note: the sp is …
ERTL 1429   9 years sacerdot Useless and removed.
ASM 1426   9 years boender removed axiom
RTL 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
LIN 1415   10 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
common 1410   10 years campbell Remove a few old workarounds.
Cminor 1410   10 years campbell Remove a few old workarounds.
Clight 1410   10 years campbell Remove a few old workarounds.
RTLabs 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
LTL 1383   10 years sacerdot Potential bug fixed and bug found: the way pointers and labels are put …
utilities 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
TODO 490 bytes 1431   9 years sacerdot Back-end todo (in Italian only, sorry...)
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.