source: src @ 1389

Name Size Rev Age Author Last Change
../
ASM 1363   10 years boender - done stuff with create_label_trie
Clight 1369   10 years campbell Put type information into front-end unary ops. Slight change to …
Cminor 1369   10 years campbell Put type information into front-end unary ops. Slight change to …
common 1369   10 years campbell Put type information into front-end unary ops. Slight change to …
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.
ERTL 1389   10 years sacerdot One more axiom closed.
joint 1387   10 years sacerdot Further simplification *params1 no longer used.
LIN 1386   10 years sacerdot Structure of semantic parameters simplified.
LTL 1383   10 years sacerdot Potential bug fixed and bug found: the way pointers and labels are put …
RTL 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.
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.