Timeline
May 23, 2013:
- 11:02 AM Changeset [3304] by
- - added 2012 reviews - updated affiliation
May 22, 2013:
May 17, 2013:
- 12:15 PM Changeset [3302] by
- removed local verison for JHM's machine wp6.tex definitive
- 8:35 AM Changeset [3301] by
- updates: wp6.tex is definitive
May 16, 2013:
May 15, 2013:
- 10:51 PM Changeset [3297] by
- final version
- 10:37 PM Changeset [3296] by
- …
- 10:36 PM Changeset [3295] by
- …
- 4:18 PM Changeset [3294] by
- draft final version: more to say than to put on slides etc.
- 12:39 PM Changeset [3293] by
- more: desitination data (partial)
- 11:16 AM WikiStart edited by
- (diff)
- 10:45 AM Changeset [3292] by
- update
- 9:46 AM Changeset [3291] by
- template beamer file, and notes for the talk more later today!
- 2:24 AM Changeset [3290] by
- Minor edits to slides
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.
Note: See TracTimeline
for information about the timeline view.