source: src @ 2248

Name Size Rev Age Author Last Change
../
utilities 2200   9 years tranquil * updated joint semantics: generation of linear and graph semantics * …
LTL 2217   9 years tranquil * collapsed step_params, unserialized_params, funct_params and …
common 2226   9 years campbell Whole program proof.
RTLabs 2226   9 years campbell Whole program proof.
Cminor 2232   8 years campbell Remove unused block structure in Cminor.
ERTL 2233   8 years tranquil * completed update of ERTL semantics * some minor changes in joint …
joint 2233   8 years tranquil * completed update of ERTL semantics * some minor changes in joint …
LIN 2233   8 years tranquil * completed update of ERTL semantics * some minor changes in joint …
RTL 2233   8 years tranquil * completed update of ERTL semantics * some minor changes in joint …
Clight 2234   8 years garnier Progress on proving semantics preservation under memory injections.
ASM 2248   8 years sacerdot Final changes. All daemons removed, but the real one (open goal).
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.
compiler.ma 2.8 KB 2205   9 years campbell Get correctness.ma type checking again.
correctness.ma 2.3 KB 2205   9 years campbell Get correctness.ma type checking again.
Note: See TracBrowser for help on using the repository browser.