#
# ChangeLog for Deliverables/Dissemination
#
# Generated by Trac 1.2
# Apr 9, 2020, 8:01:22 PM
Fri, 22 Mar 2013 20:46:18 GMT campbell [2941]
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Update proof slides.
Wed, 23 Jan 2013 15:34:21 GMT campbell [2589]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
* Deliverables/Dissemination/proof-structured-traces/strcall.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/strcall.svg (added)
Add one of the simulation diagrams
Wed, 23 Jan 2013 12:51:04 GMT campbell [2587]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Tweak talk a little.
Wed, 23 Jan 2013 12:19:40 GMT amadio [2586]
* Deliverables/Dissemination/funcca-slide.pdf (modified)
r
Wed, 23 Jan 2013 11:26:41 GMT campbell [2585]
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Many improvements to proof/structured traces talk.
Wed, 23 Jan 2013 04:58:27 GMT regisgia [2584]
* Deliverables/Dissemination/labelling-approach-slide.pdf (modified)
* Deliverables/Dissemination/reasoning-on-c-programs-slide.pdf (deleted)
* Update slides.
Mon, 21 Jan 2013 21:58:01 GMT campbell [2583]
* Deliverables/Dissemination/proof-structured-traces (added)
* Deliverables/Dissemination/proof-structured-traces/cerco_logo.png (added)
* Deliverables/Dissemination/proof-structured-traces/compiler-plain.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/compiler.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/compiler.svg (added)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (added)
* Deliverables/Dissemination/proof-structured-traces/strtraces.pdf (added)
* Deliverables/Dissemination/proof-structured-traces/strtraces.svg (added)
* Deliverables/Dissemination/proof-structured-traces/traces.svg (added)
Structured traces talk with most of the content; not quite final.
Mon, 14 Jan 2013 12:37:03 GMT regisgia [2579]
* Deliverables/Dissemination/labelling-approach-slide.pdf (added)
* Deliverables/Dissemination/reasoning-on-c-programs-slide.pdf (added)
* First version of Yann's slides.
Fri, 11 Jan 2013 16:00:57 GMT tranquil [2577]
* Deliverables/Dissemination/README (modified)
abstract of indexed labels talk
Sat, 22 Dec 2012 12:51:27 GMT amadio [2567]
* Deliverables/Dissemination/README (modified)
r
Tue, 18 Dec 2012 07:40:30 GMT amadio [2558]
* Deliverables/D4.1/README (modified)
* Deliverables/D5.1-5.3/report.tex (modified)
* Deliverables/Dissemination (added)
* Deliverables/Dissemination/README (added)
* Deliverables/Dissemination/fetopen.png (added)
* Deliverables/Dissemination/funcca-slide.pdf (added)
r