source: src @ 1470

Name Size Rev Age Author Last Change
../
ASM 1463   10 years mulligan added erasure for lin
Clight 1410   10 years campbell Remove a few old workarounds.
Cminor 1464   10 years campbell Use unification hints to simplify the graph monotonicity proofs.
common 1465   10 years sacerdot Dead code removed.
ERTL 1463   10 years mulligan added erasure for lin
joint 1470   10 years mulligan finished, pretty ugly though as matita's disambiguation is a …
LIN 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
LTL 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
RTL 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
RTLabs 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
utilities 1463   10 years mulligan added erasure for lin
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.