#
# ChangeLog for Deliverables/D4.4/paolo.tex
#
# Generated by Trac 1.2
# Nov 29, 2020, 4:04:13 PM
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