source: src @ 1467

Name Size Rev Age Author Last Change
../
RTLabs 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
Clight 1410   10 years campbell Remove a few old workarounds.
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 …
ASM 1463   10 years mulligan added erasure for lin
ERTL 1463   10 years mulligan added erasure for lin
utilities 1463   10 years mulligan added erasure for lin
Cminor 1464   10 years campbell Use unification hints to simplify the graph monotonicity proofs.
common 1465   10 years sacerdot Dead code removed.
joint 1467   10 years mulligan small change, adding entry and exit labels into the internal function, …
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
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 …
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.