# # ChangeLog for Deliverables/Dissemination # # Generated by Trac 1.2 # Jan 22, 2021, 2:29:21 AM Tue, 14 May 2013 08:37:32 GMT Ian Stark [3272] * Deliverables/Dissemination/front-end/final-review (moved) Rnaming and moving Tue, 14 May 2013 08:37:21 GMT Ian Stark [3271] * Deliverables/Dissemination/front-end (added) Rnaming and moving Tue, 14 May 2013 08:37:14 GMT Ian Stark [3270] * Deliverables/Dissemination/final-review (moved) Rnaming and moving Tue, 14 May 2013 03:47:32 GMT Ian Stark [3269] * Deliverables/Dissemination/front-end/front-end.tex (modified) Some revised slides in front end, not complete Mon, 13 May 2013 09:26:11 GMT campbell [3267] * Deliverables/Dissemination/front-end/front-end.tex (modified) Improve a few awkward parts of front-end slides. Fri, 10 May 2013 16:59:06 GMT campbell [3266] * Deliverables/Dissemination/front-end/front-end.tex (modified) Some f.e. revisions. Fri, 10 May 2013 12:50:19 GMT campbell [3264] * Deliverables/Dissemination/front-end/front-end.tex (modified) Draft a bit of missing content for front-end slides. 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