# # ChangeLog for Deliverables # # Generated by Trac 1.2 # Dec 8, 2019, 10:24:29 PM Mon, 29 Apr 2013 17:17:03 GMT campbell [3214] * Deliverables/D3.4/Report/report.tex (modified) Some 3.4 revisions. 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 Mon, 29 Apr 2013 15:24:44 GMT campbell [3212] * Deliverables/D3.4/Report/report.bib (modified) * Deliverables/D3.4/Report/report.tex (modified) Sort out some "to do"s, minimal conclusion. Mon, 29 Apr 2013 15:24:37 GMT campbell [3211] * Deliverables/D3.4/Report/report.tex (modified) Put switch removal in correct place; describe cost labelling sim. Mon, 29 Apr 2013 14:55:37 GMT sacerdot [3210] * Deliverables/D6.3/report.tex (modified) Final version. Mon, 29 Apr 2013 14:52:23 GMT sacerdot [3209] * Deliverables/D6.3/report.tex (modified) Final version up to spelling. Mon, 29 Apr 2013 13:36:37 GMT sacerdot [3208] * Deliverables/D6.3/pipelines.tex (modified) Final version. Mon, 29 Apr 2013 13:31:04 GMT sacerdot [3207] * Deliverables/D6.3/pipelines.tex (modified) Final version up to spellchecking. Mon, 29 Apr 2013 12:40:18 GMT sacerdot [3206] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) New publication. Mon, 29 Apr 2013 11:00:39 GMT sacerdot [3205] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) New publication. Mon, 29 Apr 2013 10:53:22 GMT sacerdot [3204] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) New publication and reindentation. Mon, 29 Apr 2013 10:39:45 GMT campbell [3203] * Deliverables/D3.4/Report/report.tex (modified) Text on structured trace construction. Mon, 29 Apr 2013 09:31:28 GMT sacerdot [3202] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) ... Mon, 29 Apr 2013 07:51:32 GMT sacerdot [3201] * Deliverables/D1.4/FinalReport.pdf (modified) ... Mon, 29 Apr 2013 03:32:12 GMT Ian Stark [3200] * Deliverables/D1.4/FinalReport.doc (modified) Final report summary Mon, 29 Apr 2013 03:31:47 GMT Ian Stark [3199] * Deliverables/D6.4-6.5/report.tex (modified) * Deliverables/D6.4-6.5/workshops.ltx (modified) D6.4/D6.5 executive summary Sun, 28 Apr 2013 16:59:44 GMT sacerdot [3198] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) Spellchecked and reindented. Sun, 28 Apr 2013 16:42:59 GMT sacerdot [3197] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) Spellchecked. Sun, 28 Apr 2013 16:40:24 GMT sacerdot [3196] * Deliverables/D1.3/Part2_publishable Summary.doc (modified) * Deliverables/D1.3/Part2_publishable Summary.pdf (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) Spellchecked. Sun, 28 Apr 2013 14:59:40 GMT sacerdot [3195] * Deliverables/D1.3/FollowUp.doc (added) * Deliverables/D1.3/FollowUp.pdf (added) The follow-up letter. 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 ... Sun, 28 Apr 2013 12:53:47 GMT sacerdot [3193] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) Completed. Sat, 27 Apr 2013 15:48:15 GMT sacerdot [3192] * Deliverables/D6.4-6.5/etaps.ltx (modified) * Deliverables/D6.4-6.5/workshops.ltx (modified) ... Sat, 27 Apr 2013 15:00:40 GMT garnier [3191] * Deliverables/D3.4/Report/report.tex (modified) Some more info on cast removal Sat, 27 Apr 2013 14:15:12 GMT sacerdot [3190] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Sat, 27 Apr 2013 14:15:06 GMT sacerdot [3189] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) ... Sat, 27 Apr 2013 13:57:55 GMT sacerdot [3188] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Sat, 27 Apr 2013 13:57:48 GMT sacerdot [3187] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) ... Sat, 27 Apr 2013 09:42:55 GMT sacerdot [3186] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Sat, 27 Apr 2013 09:26:35 GMT sacerdot [3185] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) ... Fri, 26 Apr 2013 17:12:09 GMT sacerdot [3184] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Fri, 26 Apr 2013 14:34:44 GMT sacerdot [3183] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Fri, 26 Apr 2013 14:22:19 GMT sacerdot [3182] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) Part 2 completed. Fri, 26 Apr 2013 09:08:14 GMT campbell [3181] * Deliverables/D3.4/Report/compiler-plain.pdf (added) * Deliverables/D3.4/Report/report.tex (modified) Compiler overview section of 3.4 Thu, 25 Apr 2013 18:17:57 GMT tranquil [3180] * Deliverables/D4.4/paolo.tex (added) first commit: report on back-end correctness proof Thu, 25 Apr 2013 16:13:44 GMT sacerdot [3179] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Thu, 25 Apr 2013 14:10:49 GMT sacerdot [3177] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) ... Thu, 25 Apr 2013 10:34:16 GMT sacerdot [3175] * Deliverables/D1.4/FinalReport.doc (modified) ... Thu, 25 Apr 2013 08:25:59 GMT sacerdot [3174] * Deliverables/D1.4/FinalReport.doc (modified) ... Tue, 23 Apr 2013 16:30:54 GMT campbell [3173] * Deliverables/D3.4/Report/report.tex (modified) A little reworking of 3.4. Sat, 20 Apr 2013 17:16:03 GMT sacerdot [3172] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (modified) Second section in place. Re-reading it, it seems to me worse than the ... Fri, 19 Apr 2013 17:10:15 GMT sacerdot [3169] * Deliverables/D1.4/FinalReport.doc (modified) ... Fri, 19 Apr 2013 10:30:32 GMT campbell [3168] * Deliverables/D3.4/Report/report.tex (modified) Add some text from Ilias. Fri, 19 Apr 2013 10:30:24 GMT campbell [3167] * Deliverables/D3.4/Report/report.tex (modified) A little bit about structured traces. Fri, 19 Apr 2013 09:58:28 GMT sacerdot [3166] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) * Deliverables/D1.3/monitoring-of-the-ist-r_d-implementation-414196.pdf (added) Questionnaire about publications filled in, DOIs added to every ... Thu, 18 Apr 2013 20:04:56 GMT sacerdot [3164] * Deliverables/D1.4/FinalReport.doc (modified) * Deliverables/D1.4/FinalReport.pdf (added) Executive report in place. Thu, 18 Apr 2013 14:46:29 GMT sacerdot [3163] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) All tables have been filled in. Thu, 18 Apr 2013 14:39:35 GMT sacerdot [3162] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) More administrative data. Thu, 18 Apr 2013 14:21:44 GMT sacerdot [3161] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) Tables partially filled in. Wed, 17 Apr 2013 21:38:50 GMT sacerdot [3160] * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (modified) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (modified) Initial part and description of WP2, WP3 and WP4 completed. WP5, ... Wed, 17 Apr 2013 17:17:54 GMT campbell [3159] * Deliverables/D3.4/Report/report.tex (modified) A bit more text in 3.4. Wed, 17 Apr 2013 17:17:49 GMT campbell [3158] * Deliverables/D3.4/Report/meassim.pdf (added) * Deliverables/D3.4/Report/meassim.svg (added) * Deliverables/D3.4/Report/report.tex (modified) Some text on measurable subtraces throughout the front-end. Wed, 17 Apr 2013 16:13:21 GMT mckinna [3157] * Deliverables/D6.4-6.5/etaps.ltx (added) * Deliverables/D6.4-6.5/hipeac.ltx (added) * Deliverables/D6.4-6.5/workshops.ltx (modified) Added tables with the workshop programmes indetail Tue, 16 Apr 2013 15:31:36 GMT sacerdot [3153] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) More data. Tue, 16 Apr 2013 12:46:53 GMT amadio [3152] * Deliverables/D6.3/report.tex (modified) r Tue, 16 Apr 2013 09:33:27 GMT sacerdot [3151] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) More data flowing in. Tue, 16 Apr 2013 09:30:51 GMT sacerdot [3150] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) Integrated all data I received so far. Tue, 16 Apr 2013 09:09:24 GMT sacerdot [3149] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) More data from Roberto integrated. Tue, 16 Apr 2013 09:00:54 GMT sacerdot [3148] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) Infos by Roberto integrated. Mon, 15 Apr 2013 16:57:42 GMT sacerdot [3147] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) More work on Part 4. Mon, 15 Apr 2013 16:29:13 GMT sacerdot [3146] * Deliverables/D1.3/Part4_project management and use of resources.doc (modified) * Deliverables/D1.3/Part4_project management and use of resources.pdf (modified) Most of the "scientific" work required for Part4. I still need to ... Mon, 15 Apr 2013 13:43:17 GMT sacerdot [3144] * Deliverables/D1.3 (added) * Deliverables/D1.3/Part1_declaration by the scientific representative.doc (added) * Deliverables/D1.3/Part1_declaration by the scientific representative.pdf (added) * Deliverables/D1.3/Part2_publishable Summary.doc (added) * Deliverables/D1.3/Part2_publishable Summary.pdf (added) * Deliverables/D1.3/Part3_project objectives achievements and progress.doc (added) * Deliverables/D1.3/Part3_project objectives achievements and progress.pdf (added) * Deliverables/D1.3/Part4_project management and use of resources.doc (added) * Deliverables/D1.3/Part4_project management and use of resources.pdf (added) * Deliverables/D1.3/Questionnaire_2012_final.ods (added) Initial work on D1.3. Part 1 and Part 2 have been fixed already. Mon, 15 Apr 2013 12:27:00 GMT sacerdot [3143] * Deliverables/D4.4/cpp-2012-asm.pdf (added) * Deliverables/D4.4/cpp-2012-policy.pdf (added) * Deliverables/D4.4/itp2013.pdf (added) * Deliverables/D4.4/report.tex (added) More papers pulled into the report. Mon, 15 Apr 2013 08:51:14 GMT campbell [3142] * Deliverables/D3.4/Report/report.tex (modified) Sketch out a bit more of 3.4. Fri, 12 Apr 2013 17:23:22 GMT mckinna [3141] * Deliverables/D6.4-6.5/workshops.ltx (modified) Rephrase Tullio's contribution... more work needed? Fri, 12 Apr 2013 17:22:08 GMT campbell [3140] * Deliverables/D3.4/Report/report.tex (modified) * Deliverables/D3.4/Report/strtraces.pdf (added) * Deliverables/D3.4/Report/strtraces.svg (added) Diagram illustrating nested function calls in structured traces. Fri, 12 Apr 2013 17:11:03 GMT mckinna [3139] * Deliverables/D6.4-6.5/workshops.ltx (modified) English tweaks Fri, 12 Apr 2013 17:03:35 GMT campbell [3138] * Deliverables/D3.4/Report/report.tex (modified) Sketch up-to-labelling bit. Fri, 12 Apr 2013 16:53:46 GMT mckinna [3137] * Deliverables/D6.4-6.5/report.tex (modified) * Deliverables/D6.4-6.5/workshops.ltx (modified) Tweaks Fri, 12 Apr 2013 16:47:11 GMT mckinna [3136] * Deliverables/D6.4-6.5/report.tex (modified) * Deliverables/D6.4-6.5/workshops.ltx (modified) Updates: form and content, incorporating comments from Brian, and ... Fri, 12 Apr 2013 16:34:23 GMT campbell [3135] * Deliverables/D6.4-6.5/workshops.ltx (modified) Discussion with Kevin at HiPEAC workshop. Fri, 12 Apr 2013 16:27:51 GMT mckinna [3134] * Deliverables/D6.4-6.5/report.tex (modified) Opps uncommitted edits! Fri, 12 Apr 2013 16:18:55 GMT mckinna [3133] * Deliverables/D6.4-6.5/workshops.ltx (modified) Underscores! Fri, 12 Apr 2013 16:17:24 GMT mckinna [3132] * Deliverables/D6.4-6.5 (added) * Deliverables/D6.4-6.5/report.tex (added) * Deliverables/D6.4-6.5/workshops.ltx (added) 1st version of workshop s reports. Comments/amendments welcome! Fri, 12 Apr 2013 16:10:36 GMT campbell [3131] * Deliverables/D3.4/Report/report.tex (modified) Add rest of correctness. Fri, 12 Apr 2013 16:10:35 GMT campbell [3130] * Deliverables/D3.4/Report/compiler.pdf (modified) * Deliverables/D3.4/Report/compiler.svg (modified) Tweak diagram spacing. Fri, 12 Apr 2013 16:10:34 GMT campbell [3129] * Deliverables/D3.4/Report/compiler.svg (modified) Right version of the diagram. Fri, 12 Apr 2013 15:00:19 GMT campbell [3128] * Deliverables/D3.4 (added) * Deliverables/D3.4/Report (added) * Deliverables/D3.4/Report/compiler.pdf (added) * Deliverables/D3.4/Report/compiler.svg (added) * Deliverables/D3.4/Report/report.bib (added) * Deliverables/D3.4/Report/report.tex (added) Start of D3.4. (Sorry it's taking longer than anticipated; I blame a ... Fri, 12 Apr 2013 14:03:35 GMT piccolo [3127] * Deliverables/D4.4/lst-grafite.tex (added) * Deliverables/D4.4/mauro.tex (moved) report on general proof Thu, 11 Apr 2013 23:00:03 GMT sacerdot [3126] * Deliverables/D6.3/pipelines.tex (added) * Deliverables/D6.3/report.tex (modified) Splitted into empty report + "stand alone" paper. The paper needs to ... Thu, 11 Apr 2013 17:10:40 GMT sacerdot [3125] * Deliverables/D6.3/report.tex (modified) ... Thu, 11 Apr 2013 16:34:15 GMT sacerdot [3124] * Deliverables/D6.3/report.tex (modified) ... Thu, 11 Apr 2013 16:22:39 GMT sacerdot [3123] * Deliverables/D6.3/report.tex (modified) ... Thu, 11 Apr 2013 13:55:54 GMT sacerdot [3122] * Deliverables/D6.3/report.tex (modified) ... Thu, 11 Apr 2013 13:08:41 GMT sacerdot [3121] * Deliverables/D1.4 (added) * Deliverables/D1.4/FinalReport.doc (added) ... Thu, 11 Apr 2013 12:04:33 GMT sacerdot [3120] * Deliverables/D6.3/report.tex (modified) ... Wed, 10 Apr 2013 17:15:06 GMT sacerdot [3119] * Deliverables/D6.3/report.tex (modified) ... Wed, 10 Apr 2013 16:45:40 GMT piccolo [3118] * Deliverables/D4.4 (added) * Deliverables/D4.4/draft.tex (added) * src/joint/StatusSimulationHelper.ma (modified) 1) finished return case in StatusSimulationHelper 2) started to ... Wed, 10 Apr 2013 16:25:20 GMT sacerdot [3117] * Deliverables/D6.3/report.tex (modified) ... Wed, 10 Apr 2013 15:07:26 GMT sacerdot [3116] * Deliverables/D6.3/report.tex (modified) ... Wed, 10 Apr 2013 07:48:31 GMT sacerdot [3114] * Deliverables/D6.3/report.tex (modified) Some progress on pipelines/caches. Tue, 09 Apr 2013 17:00:25 GMT sacerdot [3113] * Deliverables/D6.3/report.tex (modified) Some work on control flow analysis. Tue, 09 Apr 2013 16:05:17 GMT sacerdot [3111] * Deliverables/D6.3/report.tex (added) Skeleton Tue, 09 Apr 2013 16:02:26 GMT sacerdot [3110] * Deliverables/D6.3 (added) ... Tue, 09 Apr 2013 15:28:39 GMT sacerdot [3109] * Deliverables/D5.2/report.tex (modified) New version. Mon, 08 Apr 2013 21:50:33 GMT sacerdot [3108] * Deliverables/D5.2 (added) * Deliverables/D5.2/report.tex (added) Towards D5.2. Mon, 08 Apr 2013 11:17:55 GMT regisgia [3107] * Deliverables/D5.1/external-tools (added) * Deliverables/D5.1/external-tools/README (added) * Deliverables/D5.1/external-tools/frama-c (added) * Deliverables/D5.1/external-tools/frama-c/frama-c-Nitrogen-20111001.tar.gz (added) * Deliverables/D5.1/external-tools/jessie (added) * Deliverables/D5.1/external-tools/jessie/README (added) * Deliverables/D5.1/external-tools/jessie/why2.bz2 (added) * Deliverables/D5.1/external-tools/why3 (added) * Deliverables/D5.1/external-tools/why3/README (added) * Deliverables/D5.1/external-tools/why3/why3.bz2 (added) * External tools to compile the plugin. Thu, 04 Apr 2013 08:19:12 GMT amadio [3084] * Deliverables/D5.3 (added) * Deliverables/D5.3/report-period3.pdf (added) 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.