source: src @ 1332

Name Size Rev Age Author Last Change
../
Cminor 1316   10 years campbell Merge in id-lookup-branch to trunk.
common 1316   10 years campbell Merge in id-lookup-branch to trunk.
LIN 1324   10 years sacerdot The semantics of extended statements must also consider the label …
LTL 1324   10 years sacerdot The semantics of extended statements must also consider the label …
RTL 1326   10 years sacerdot Code improved (now it uses the high level functions from …
ERTL 1329   10 years sacerdot 1. Definition of addresses moved to BEMem 2. Basic functions on …
joint 1329   10 years sacerdot 1. Definition of addresses moved to BEMem 2. Basic functions on …
ASM 1330   10 years campbell Evict obsolete file.
utilities 1330   10 years campbell Evict obsolete file.
RTLabs 1331   10 years mulligan some changes, but i now have two contradictory proof obligations.
Clight 1332   10 years campbell Summation example updated (needs computational K).
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.1 KB 1198   10 years campbell Clight cast removal (NB: quite different from the prototype).
Note: See TracBrowser for help on using the repository browser.