#
# ChangeLog for Deliverables/D4.4
#
# Generated by Trac 1.2
# Jan 18, 2020, 9:36:14 PM
Tue, 30 Apr 2013 23:40:42 GMT sacerdot [3248]
* Deliverables/D4.4/report.tex (modified)
Typos fixed.
Tue, 30 Apr 2013 09:45:00 GMT tranquil [3222]
* Deliverables/D4.4/mauro.tex (modified)
* Deliverables/D4.4/paolo.tex (modified)
* Deliverables/D4.4/report.tex (modified)
* Papers/cpp-asm-2012/cpp-2012-asm.tex (modified)
* Papers/itp-2013/ccexec.tex (modified)
added pages to included papers. final version.
Mon, 29 Apr 2013 16:14:15 GMT tranquil [3213]
* Deliverables/D4.4/mauro.tex (modified)
* Deliverables/D4.4/paolo.tex (modified)
* Deliverables/D4.4/report.bib (added)
* Deliverables/D4.4/report.tex (modified)
* Papers/itp-2013/ccexec.tex (modified)
summary for D4.4, and other modifications
Sun, 28 Apr 2013 14:20:54 GMT tranquil [3194]
* Deliverables/D4.4/mauro.tex (modified)
* Deliverables/D4.4/paolo.tex (modified)
* Deliverables/D4.4/report.tex (modified)
more on the role of the stack in the back end pass.
moved mauro.tex ...
Thu, 25 Apr 2013 18:17:57 GMT tranquil [3180]
* Deliverables/D4.4/paolo.tex (added)
first commit: report on back-end correctness proof
Mon, 15 Apr 2013 12:27:00 GMT sacerdot [3143]
* Deliverables/D4.4/cpp-2012-asm.pdf (added)
* Deliverables/D4.4/cpp-2012-policy.pdf (added)
* Deliverables/D4.4/itp2013.pdf (added)
* Deliverables/D4.4/report.tex (added)
More papers pulled into the report.
Fri, 12 Apr 2013 14:03:35 GMT piccolo [3127]
* Deliverables/D4.4/lst-grafite.tex (added)
* Deliverables/D4.4/mauro.tex (moved)
report on general proof
Wed, 10 Apr 2013 16:45:40 GMT piccolo [3118]
* Deliverables/D4.4 (added)
* Deliverables/D4.4/draft.tex (added)
* src/joint/StatusSimulationHelper.ma (modified)
1) finished return case in StatusSimulationHelper
2) started to ...