Timeline
May 14, 2013:
- 6:47 PM WikiStart edited by
- (diff)
- 6:43 PM Changeset [3289] by
- …
- 6:33 PM WikiStart edited by
- (diff)
- 5:41 PM Changeset [3288] by
- The deliverables resubmitted during the third period.
- 3:58 PM Changeset [3287] by
- back-end slides
- 2:39 PM Changeset [3286] by
- Renaming and moving
- 2:38 PM Changeset [3285] by
- Renaming and moving
- 2:33 PM Changeset [3284] by
- Moving and renaming
- 1:05 PM Changeset [3283] by
- * Compiled version.
- 1:05 PM Changeset [3282] by
- * WP5 slides for the final review.
- 12:41 PM Changeset [3281] by
- back end correctness slides, alas still incomplete
- 12:11 PM Changeset [3280] by
- Front end final review talk?
- 10:47 AM Changeset [3279] by
- Renaming and moving
- 10:46 AM Changeset [3278] by
- Renaming and moving
- 10:45 AM Changeset [3277] by
- Renaming and moving
- 10:45 AM Changeset [3276] by
- Renaming and moving
- 10:44 AM Changeset [3275] by
- Renaming and moving
- 10:38 AM Changeset [3274] by
- Rnaming and moving
- 10:38 AM Changeset [3273] by
- Rnaming and moving
- 10:37 AM Changeset [3272] by
- Rnaming and moving
- 10:37 AM Changeset [3271] by
- Rnaming and moving
- 10:37 AM Changeset [3270] by
- Rnaming and moving
- 5:47 AM Changeset [3269] by
- Some revised slides in front end, not complete
May 13, 2013:
- 7:05 PM Changeset [3268] by
- Presentation for WP4 by Claudio. Maybe to be moved into dissemination, …
- 11:26 AM Changeset [3267] by
- Improve a few awkward parts of front-end slides.
May 10, 2013:
- 6:59 PM Changeset [3266] by
- Some f.e. revisions.
- 6:21 PM Changeset [3265] by
- added validate_pointer filter in Interference added that intereference …
- 2:50 PM Changeset [3264] by
- Draft a bit of missing content for front-end slides.
- 1:40 PM Changeset [3263] by
- moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
May 9, 2013:
- 11:31 AM Changeset [3262] by
- reverted status_simulation_utils
- 11:12 AM Changeset [3261] by
- reverted joint_semantics rtl_semantics and ltl_semantics
- 11:04 AM Changeset [3260] by
- Start adapting previous talk to front-end review.
- 12:49 AM Changeset [3259] by
- changed ERTL semantics: 1) added manipulation of stack pointer …
May 8, 2013:
- 6:38 PM Changeset [3258] by
- …
- 5:48 PM Changeset [3257] by
- fixed uses in ERTL
- 5:41 PM Changeset [3256] by
- fixed compilation
- 4:53 PM Changeset [3255] by
- * dropped newframe and delframe (to be integrated in calls and returns …
- 3:58 PM Changeset [3254] by
- Code I always forgot to commit. To be ported to ERTLtoLTLProof.ma.
May 6, 2013:
- 4:08 PM Changeset [3253] by
- some proof obbligation closed of ERTL to LTL proof
May 3, 2013:
- 5:29 PM Changeset [3252] by
- proof obbligation added on ERTL to LTL proof
May 1, 2013:
- 2:47 AM Changeset [3251] by
- The files submitted and the mail sent to the officer/reviewers.
- 2:13 AM Changeset [3250] by
- …
- 2:00 AM WikiStart edited by
- Typofix (diff)
- 1:54 AM Changeset [3249] by
- UEDIN D3.4, D6.4-6.5
- 1:40 AM Changeset [3248] by
- Typos fixed.
- 1:28 AM Changeset [3247] by
- UEDIN changes to D1.3 and D1.4
- 1:25 AM WikiStart edited by
- (diff)
- 1:11 AM Changeset [3246] by
- Instructions on how to make the LiveCD.
- 12:28 AM WikiStart edited by
- (diff)
- 12:28 AM WikiStart edited by
- (diff)
- 12:27 AM WikiStart edited by
- (diff)
Apr 30, 2013:
- 11:59 PM Changeset [3245] by
- The final pages by Michela. To be appended to the PDF generated by Ian.
- 11:50 PM Changeset [3244] by
- Final version.
- 11:34 PM Changeset [3243] by
- The report, spellchecking needed.
- 10:48 PM Changeset [3242] by
- New version with better description and copyright.
- 9:28 PM Changeset [3241] by
- Debian package for matita_0.99.2
- 7:14 PM Changeset [3240] by
- Remove Microsoft Office droppings
- 7:13 PM Changeset [3239] by
- D1.4 updates
- 7:09 PM Changeset [3238] by
- acc-trusted bumper to version 0.2.
- 7:02 PM Changeset [3237] by
- Some incomplete work on Clight -> Cminor call steps.
- 6:29 PM Changeset [3236] by
- Sneak in a single word fix.
- 6:23 PM Changeset [3235] by
- compiler tarball
- 5:39 PM Changeset [3234] by
- Debian packages committed. Some are using git, so you need to clone …
- 5:00 PM Changeset [3233] by
- passed spell checker, added description of the cerco wrapper, minor …
- 4:56 PM Changeset [3232] by
- D1.4 small changes
- 4:53 PM Changeset [3231] by
- Final revisions to 3.4.
- 4:33 PM WikiStart edited by
- (diff)
- 3:36 PM Changeset [3230] by
- Financial parts removed.
- 3:34 PM Changeset [3229] by
- numbers adjusted; only mentioned in running text under "Attendance"
- 3:22 PM Changeset [3228] by
- Add a more formal note to the abstract in 3.4.
- 1:20 PM Changeset [3227] by
- Last bits about lifting proof in 3.4.
- 12:54 PM Changeset [3226] by
- More 3.4 revisions; mostly administrative.
- 12:43 PM Changeset [3225] by
- More spelling, more grammar, more phrasing
- 12:17 PM Changeset [3224] by
- revisions…
- 12:05 PM Changeset [3223] by
- More revisions to 3.4.
- 11:45 AM Changeset [3222] by
- added pages to included papers. final version.
- 1:25 AM Changeset [3221] by
- Added cerco-executable to install.
- 12:54 AM Changeset [3220] by
- …
- 12:53 AM Changeset [3219] by
- Fixed: .in should be there.
- 12:01 AM Changeset [3218] by
- Text about Cminor to RTLabs.
Apr 29, 2013:
- 11:46 PM Changeset [3217] by
- Correctness of ERTL to LTL in place
- 11:15 PM Changeset [3216] by
- Revisions throughout 3.4.
- 9:53 PM Changeset [3215] by
- - Version dumped to 0.2 - New executable cerco to be used with why3
- 7:17 PM Changeset [3214] by
- Some 3.4 revisions.
- 6:14 PM Changeset [3213] by
- summary for D4.4, and other modifications
- 5:24 PM Changeset [3212] by
- Sort out some "to do"s, minimal conclusion.
- 5:24 PM Changeset [3211] by
- Put switch removal in correct place; describe cost labelling sim.
- 4:55 PM Changeset [3210] by
- Final version.
- 4:52 PM Changeset [3209] by
- Final version up to spelling.
- 3:36 PM Changeset [3208] by
- Final version.
- 3:31 PM Changeset [3207] by
- Final version up to spellchecking.
- 2:40 PM Changeset [3206] by
- New publication.
- 1:00 PM Changeset [3205] by
- New publication.
- 12:53 PM Changeset [3204] by
- New publication and reindentation.
- 12:39 PM Changeset [3203] by
- Text on structured trace construction.
- 11:31 AM Changeset [3202] by
- …
- 9:51 AM Changeset [3201] by
- …
- 5:32 AM Changeset [3200] by
- Final report summary
- 5:31 AM Changeset [3199] by
- D6.4/D6.5 executive summary
Apr 28, 2013:
- 6:59 PM Changeset [3198] by
- Spellchecked and reindented.
- 6:42 PM Changeset [3197] by
- Spellchecked.
- 6:40 PM Changeset [3196] by
- Spellchecked.
- 4:59 PM Changeset [3195] by
- The follow-up letter.
- 4:20 PM Changeset [3194] by
- more on the role of the stack in the back end pass. moved mauro.tex as …
- 2:53 PM Changeset [3193] by
- Completed.
Apr 27, 2013:
- 5:48 PM Changeset [3192] by
- …
- 5:00 PM Changeset [3191] by
- Some more info on cast removal
- 4:15 PM Changeset [3190] by
- …
- 4:15 PM Changeset [3189] by
- …
- 3:57 PM Changeset [3188] by
- …
- 3:57 PM Changeset [3187] by
- …
- 11:42 AM Changeset [3186] by
- …
- 11:26 AM Changeset [3185] by
- …
Apr 26, 2013:
- 7:12 PM Changeset [3184] by
- …
- 4:34 PM Changeset [3183] by
- …
- 4:22 PM Changeset [3182] by
- Part 2 completed.
- 11:08 AM Changeset [3181] by
- Compiler overview section of 3.4
Apr 25, 2013:
- 8:17 PM Changeset [3180] by
- first commit: report on back-end correctness proof
- 6:13 PM Changeset [3179] by
- …
- 6:03 PM Changeset [3178] by
- Some progress on Callstate steps in Clight to Cminor. Note that some …
- 4:10 PM Changeset [3177] by
- …
- 3:15 PM Changeset [3176] by
- simplified dependencies
- 12:34 PM Changeset [3175] by
- …
- 10:25 AM Changeset [3174] by
- …
Apr 23, 2013:
- 6:30 PM Changeset [3173] by
- A little reworking of 3.4.
Apr 20, 2013:
- 7:16 PM Changeset [3172] by
- Second section in place. Re-reading it, it seems to me worse than the …
- 9:38 AM Changeset [3171] by
- removed redundant dependencies
- 9:17 AM Changeset [3170] by
- removed redundant dependencies
Apr 19, 2013:
- 7:10 PM Changeset [3169] by
- …
- 12:30 PM Changeset [3168] by
- Add some text from Ilias.
- 12:30 PM Changeset [3167] by
- A little bit about structured traces.
- 11:58 AM Changeset [3166] by
- Questionnaire about publications filled in, DOIs added to every …
- 11:46 AM Changeset [3165] by
- A little bit of progress on Callstate case.
Apr 18, 2013:
- 10:04 PM Changeset [3164] by
- Executive report in place.
- 4:46 PM Changeset [3163] by
- All tables have been filled in.
- 4:39 PM Changeset [3162] by
- More administrative data.
- 4:21 PM Changeset [3161] by
- Tables partially filled in.
Apr 17, 2013:
- 11:38 PM Changeset [3160] by
- Initial part and description of WP2, WP3 and WP4 completed. WP5, final …
- 7:17 PM Changeset [3159] by
- A bit more text in 3.4.
- 7:17 PM Changeset [3158] by
- Some text on measurable subtraces throughout the front-end.
- 6:13 PM Changeset [3157] by
- Added tables with the workshop programmes indetail
- 3:24 PM Changeset [3156] by
- Rebuild prefix traces in back-end's preferred form.
- 3:24 PM Changeset [3155] by
- Now have proof that the initial states are in simulation for clight to …
- 2:53 PM Changeset [3154] by
- 1) changed block_of_call in order to prevent pre-main calls 2) …
Apr 16, 2013:
- 5:31 PM Changeset [3153] by
- More data.
- 2:46 PM Changeset [3152] by
- r
- 11:33 AM Changeset [3151] by
- More data flowing in.
- 11:30 AM Changeset [3150] by
- Integrated all data I received so far.
- 11:09 AM Changeset [3149] by
- More data from Roberto integrated.
- 11:00 AM Changeset [3148] by
- Infos by Roberto integrated.
Apr 15, 2013:
- 6:57 PM Changeset [3147] by
- More work on Part 4.
- 6:29 PM Changeset [3146] by
- Most of the "scientific" work required for Part4. I still need to …
- 4:31 PM Changeset [3145] by
- * removed sigma types from traces of intensional events * completed …
- 3:43 PM Changeset [3144] by
- Initial work on D1.3. Part 1 and Part 2 have been fixed already.
- 2:27 PM Changeset [3143] by
- More papers pulled into the report.
- 10:51 AM Changeset [3142] by
- Sketch out a bit more of 3.4.
Note: See TracTimeline
for information about the timeline view.