source: src @ 2300

Name Size Rev Age Author Last Change
../
ASM 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
ERTL 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
joint 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
LIN 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
LTL 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
RTL 2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
Cminor 2292   8 years campbell More RTLabs invariants.
utilities 2296   8 years campbell Tidy up some ill-placed definitions.
Clight 2298   8 years garnier WIP: converting switch removal from Z to bitvectors. Does not compile, …
common 2299   8 years campbell Soundly labelled RTLabs structured traces are "unrepeating".
RTLabs 2300   8 years campbell Cut out some dead ends and add some comments to the last commit.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
CHANGES 3.4 KB 1388   9 years sacerdot fetch_result implemented for ERTL. This required a different …
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
acc-matita-printers.patch 7.1 KB 1633   9 years campbell Update Cminor pretty printer and examples.
correctness.ma 2.3 KB 2205   9 years campbell Get correctness.ma type checking again.
compiler.ma 2.8 KB 2291   8 years campbell Disable switch removal in compiler.ma for now.
Note: See TracBrowser for help on using the repository browser.