source: Deliverables/D4.4

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3248   8 years sacerdot Typos fixed.
(edit) @3222   9 years tranquil added pages to included papers. final version.
(edit) @3213   9 years tranquil summary for D4.4, and other modifications
(edit) @3194   9 years tranquil more on the role of the stack in the back end pass. moved mauro.tex as …
(edit) @3180   9 years tranquil first commit: report on back-end correctness proof
(edit) @3143   9 years sacerdot More papers pulled into the report.
(edit) @3127   9 years piccolo report on general proof
(add) @3118   9 years piccolo 1) finished return case in StatusSimulationHelper? 2) started to write …
Note: See TracRevisionLog for help on using the revision log.