#
# ChangeLog for Deliverables/Dissemination
#
# Generated by Trac 1.2
# Dec 4, 2020, 12:52:32 PM
Thu, 09 May 2013 09:04:39 GMT campbell [3260]
* Deliverables/Dissemination/front-end (added)
* Deliverables/Dissemination/front-end/cerco_logo.png (copied)
* Deliverables/Dissemination/front-end/compiler-plain.pdf (copied)
* Deliverables/Dissemination/front-end/compiler.pdf (copied)
* Deliverables/Dissemination/front-end/compiler.svg (copied)
* Deliverables/Dissemination/front-end/front-end.tex (copied)
* Deliverables/Dissemination/front-end/loop.pdf (added)
* Deliverables/Dissemination/front-end/loop.svg (added)
* Deliverables/Dissemination/front-end/loop1.pdf (added)
* Deliverables/Dissemination/front-end/loop1.svg (added)
* Deliverables/Dissemination/front-end/loop2.pdf (added)
* Deliverables/Dissemination/front-end/loop2.svg (added)
* Deliverables/Dissemination/front-end/loop3.pdf (added)
* Deliverables/Dissemination/front-end/loop3.svg (added)
* Deliverables/Dissemination/front-end/loop4.pdf (added)
* Deliverables/Dissemination/front-end/loop4.svg (added)
* Deliverables/Dissemination/front-end/loopx.pdf (added)
* Deliverables/Dissemination/front-end/loopx.svg (added)
* Deliverables/Dissemination/front-end/meassim.pdf (copied)
* Deliverables/Dissemination/front-end/meassim.svg (copied)
* Deliverables/Dissemination/front-end/strtraces.pdf (copied)
* Deliverables/Dissemination/front-end/strtraces.svg (copied)
Start adapting previous talk to front-end review.
Sat, 23 Mar 2013 07:43:46 GMT campbell [2945]
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.pdf (modified)
* Deliverables/Dissemination/proof-structured-traces/proof-structured-traces.tex (modified)
Minor tweak.
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