source: src @ 1401

Name Size Rev Age Author Last Change
../
ASM 1393   10 years boender - added invariant for policy trie to assembly - change (syntax only) …
Clight 1401   10 years ricciott Changes concerning the new behavior of destruct.
Cminor 1401   10 years ricciott Changes concerning the new behavior of destruct.
common 1401   10 years ricciott Changes concerning the new behavior of destruct.
ERTL 1390   10 years sacerdot All fetch_result implementations have been factorized out, leaving …
joint 1395   10 years sacerdot 1) New versions of pointer_of_beval/beval_of_pointer with a stricter …
LIN 1390   10 years sacerdot All fetch_result implementations have been factorized out, leaving …
LTL 1383   10 years sacerdot Potential bug fixed and bug found: the way pointers and labels are put …
RTL 1396   10 years sacerdot Proof obligation closed.
RTLabs 1369   10 years campbell Put type information into front-end unary ops. Slight change to …
utilities 1351   10 years campbell Tidy up some loose ends from the invariants branch merge.
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 …
Note: See TracBrowser for help on using the repository browser.