#
# ChangeLog for Deliverables/Dissemination
#
# Generated by Trac 1.2
# Jan 23, 2021, 7:13:07 AM

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