Timeline
05/22/13: Yesterday
05/17/13:
- 12:15 Changeset [3302] by
- removed local verison for JHM's machine wp6.tex definitive
- 08:35 Changeset [3301] by
- updates: wp6.tex is definitive
05/16/13:
05/15/13:
- 22:51 Changeset [3297] by
- final version
- 22:37 Changeset [3296] by
- …
- 22:36 Changeset [3295] by
- …
- 16:18 Changeset [3294] by
- draft final version: more to say than to put on slides etc.
- 12:39 Changeset [3293] by
- more: desitination data (partial)
- 11:16 WikiStart edited by
- (diff)
- 10:45 Changeset [3292] by
- update
- 09:46 Changeset [3291] by
- template beamer file, and notes for the talk more later today!
- 02:24 Changeset [3290] by
- Minor edits to slides
05/14/13:
- 18:47 WikiStart edited by
- (diff)
- 18:43 Changeset [3289] by
- …
- 18:33 WikiStart edited by
- (diff)
- 17:41 Changeset [3288] by
- The deliverables resubmitted during the third period.
- 15:58 Changeset [3287] by
- back-end slides
- 14:39 Changeset [3286] by
- Renaming and moving
- 14:38 Changeset [3285] by
- Renaming and moving
- 14:33 Changeset [3284] by
- Moving and renaming
- 13:05 Changeset [3283] by
- * Compiled version.
- 13:05 Changeset [3282] by
- * WP5 slides for the final review.
- 12:41 Changeset [3281] by
- back end correctness slides, alas still incomplete
- 12:11 Changeset [3280] by
- Front end final review talk?
- 10:47 Changeset [3279] by
- Renaming and moving
- 10:46 Changeset [3278] by
- Renaming and moving
- 10:45 Changeset [3277] by
- Renaming and moving
- 10:45 Changeset [3276] by
- Renaming and moving
- 10:44 Changeset [3275] by
- Renaming and moving
- 10:38 Changeset [3274] by
- Rnaming and moving
- 10:38 Changeset [3273] by
- Rnaming and moving
- 10:37 Changeset [3272] by
- Rnaming and moving
- 10:37 Changeset [3271] by
- Rnaming and moving
- 10:37 Changeset [3270] by
- Rnaming and moving
- 05:47 Changeset [3269] by
- Some revised slides in front end, not complete
05/13/13:
- 19:05 Changeset [3268] by
- Presentation for WP4 by Claudio. Maybe to be moved into dissemination, but …
- 11:26 Changeset [3267] by
- Improve a few awkward parts of front-end slides.
05/10/13:
- 18:59 Changeset [3266] by
- Some f.e. revisions.
- 18:21 Changeset [3265] by
- added validate_pointer filter in Interference added that intereference …
- 14:50 Changeset [3264] by
- Draft a bit of missing content for front-end slides.
- 13:40 Changeset [3263] by
- moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
05/09/13:
- 11:31 Changeset [3262] by
- reverted status_simulation_utils
- 11:12 Changeset [3261] by
- reverted joint_semantics rtl_semantics and ltl_semantics
- 11:04 Changeset [3260] by
- Start adapting previous talk to front-end review.
- 00:49 Changeset [3259] by
- changed ERTL semantics: 1) added manipulation of stack pointer directly in …
05/08/13:
- 18:38 Changeset [3258] by
- …
- 17:48 Changeset [3257] by
- fixed uses in ERTL
- 17:41 Changeset [3256] by
- fixed compilation
- 16:53 Changeset [3255] by
- * dropped newframe and delframe (to be integrated in calls and returns in …
- 15:58 Changeset [3254] by
- Code I always forgot to commit. To be ported to ERTLtoLTLProof.ma.
05/06/13:
- 16:08 Changeset [3253] by
- some proof obbligation closed of ERTL to LTL proof
05/03/13:
- 17:29 Changeset [3252] by
- proof obbligation added on ERTL to LTL proof
05/01/13:
- 02:47 Changeset [3251] by
- The files submitted and the mail sent to the officer/reviewers.
- 02:13 Changeset [3250] by
- …
- 02:00 WikiStart edited by
- Typofix (diff)
- 01:54 Changeset [3249] by
- UEDIN D3.4, D6.4-6.5
- 01:40 Changeset [3248] by
- Typos fixed.
- 01:28 Changeset [3247] by
- UEDIN changes to D1.3 and D1.4
- 01:25 WikiStart edited by
- (diff)
- 01:11 Changeset [3246] by
- Instructions on how to make the LiveCD.
- 00:28 WikiStart edited by
- (diff)
- 00:28 WikiStart edited by
- (diff)
- 00:27 WikiStart edited by
- (diff)
04/30/13:
- 23:59 Changeset [3245] by
- The final pages by Michela. To be appended to the PDF generated by Ian.
- 23:50 Changeset [3244] by
- Final version.
- 23:34 Changeset [3243] by
- The report, spellchecking needed.
- 22:48 Changeset [3242] by
- New version with better description and copyright.
- 21:28 Changeset [3241] by
- Debian package for matita_0.99.2
- 19:14 Changeset [3240] by
- Remove Microsoft Office droppings
- 19:13 Changeset [3239] by
- D1.4 updates
- 19:09 Changeset [3238] by
- acc-trusted bumper to version 0.2.
- 19:02 Changeset [3237] by
- Some incomplete work on Clight -> Cminor call steps.
- 18:29 Changeset [3236] by
- Sneak in a single word fix.
- 18:23 Changeset [3235] by
- compiler tarball
- 17:39 Changeset [3234] by
- Debian packages committed. Some are using git, so you need to clone them …
- 17:00 Changeset [3233] by
- passed spell checker, added description of the cerco wrapper, minor …
- 16:56 Changeset [3232] by
- D1.4 small changes
- 16:53 Changeset [3231] by
- Final revisions to 3.4.
- 16:33 WikiStart edited by
- (diff)
- 15:36 Changeset [3230] by
- Financial parts removed.
- 15:34 Changeset [3229] by
- numbers adjusted; only mentioned in running text under "Attendance"
- 15:22 Changeset [3228] by
- Add a more formal note to the abstract in 3.4.
- 13:20 Changeset [3227] by
- Last bits about lifting proof in 3.4.
- 12:54 Changeset [3226] by
- More 3.4 revisions; mostly administrative.
- 12:43 Changeset [3225] by
- More spelling, more grammar, more phrasing
- 12:17 Changeset [3224] by
- revisions…
- 12:05 Changeset [3223] by
- More revisions to 3.4.
- 11:45 Changeset [3222] by
- added pages to included papers. final version.
- 01:25 Changeset [3221] by
- Added cerco-executable to install.
- 00:54 Changeset [3220] by
- …
- 00:53 Changeset [3219] by
- Fixed: .in should be there.
- 00:01 Changeset [3218] by
- Text about Cminor to RTLabs.
04/29/13:
- 23:46 Changeset [3217] by
- Correctness of ERTL to LTL in place
- 23:15 Changeset [3216] by
- Revisions throughout 3.4.
- 21:53 Changeset [3215] by
- - Version dumped to 0.2 - New executable cerco to be used with why3
- 19:17 Changeset [3214] by
- Some 3.4 revisions.
- 18:14 Changeset [3213] by
- summary for D4.4, and other modifications
- 17:24 Changeset [3212] by
- Sort out some "to do"s, minimal conclusion.
- 17:24 Changeset [3211] by
- Put switch removal in correct place; describe cost labelling sim.
- 16:55 Changeset [3210] by
- Final version.
- 16:52 Changeset [3209] by
- Final version up to spelling.
- 15:36 Changeset [3208] by
- Final version.
- 15:31 Changeset [3207] by
- Final version up to spellchecking.
- 14:40 Changeset [3206] by
- New publication.
- 13:00 Changeset [3205] by
- New publication.
- 12:53 Changeset [3204] by
- New publication and reindentation.
- 12:39 Changeset [3203] by
- Text on structured trace construction.
- 11:31 Changeset [3202] by
- …
- 09:51 Changeset [3201] by
- …
- 05:32 Changeset [3200] by
- Final report summary
- 05:31 Changeset [3199] by
- D6.4/D6.5 executive summary
04/28/13:
- 18:59 Changeset [3198] by
- Spellchecked and reindented.
- 18:42 Changeset [3197] by
- Spellchecked.
- 18:40 Changeset [3196] by
- Spellchecked.
- 16:59 Changeset [3195] by
- The follow-up letter.
- 16:20 Changeset [3194] by
- more on the role of the stack in the back end pass. moved mauro.tex as an …
- 14:53 Changeset [3193] by
- Completed.
04/27/13:
- 17:48 Changeset [3192] by
- …
- 17:00 Changeset [3191] by
- Some more info on cast removal
- 16:15 Changeset [3190] by
- …
- 16:15 Changeset [3189] by
- …
- 15:57 Changeset [3188] by
- …
- 15:57 Changeset [3187] by
- …
- 11:42 Changeset [3186] by
- …
- 11:26 Changeset [3185] by
- …
04/26/13:
- 19:12 Changeset [3184] by
- …
- 16:34 Changeset [3183] by
- …
- 16:22 Changeset [3182] by
- Part 2 completed.
- 11:08 Changeset [3181] by
- Compiler overview section of 3.4
04/25/13:
- 20:17 Changeset [3180] by
- first commit: report on back-end correctness proof
- 18:13 Changeset [3179] by
- …
- 18:03 Changeset [3178] by
- Some progress on Callstate steps in Clight to Cminor. Note that some bogus …
- 16:10 Changeset [3177] by
- …
- 15:15 Changeset [3176] by
- simplified dependencies
- 12:34 Changeset [3175] by
- …
- 10:25 Changeset [3174] by
- …
04/23/13:
- 18:30 Changeset [3173] by
- A little reworking of 3.4.
Note: See TracTimeline
for information about the timeline view.
