Timeline


and

May 30, 2013:

5:28 PM Changeset [3306] by tranquil
altre modifiche e qualche taglio (i risultati per tll e tal)

May 29, 2013:

6:25 PM Changeset [3305] by tranquil
messo qualche figura, e molte notazioni

May 23, 2013:

11:02 AM Changeset [3304] by boender
- added 2012 reviews - updated affiliation

May 22, 2013:

9:23 AM Changeset [3303] by amadio
r

May 17, 2013:

12:15 PM Changeset [3302] by mckinna
removed local verison for JHM's machine wp6.tex definitive
8:35 AM Changeset [3301] by mckinna
updates: wp6.tex is definitive

May 16, 2013:

8:06 AM Changeset [3300] by mckinna
updates
12:51 AM Changeset [3299] by sacerdot
12:51 AM Changeset [3298] by sacerdot

May 15, 2013:

10:51 PM Changeset [3297] by tranquil
final version
10:37 PM Changeset [3296] by sacerdot
10:36 PM Changeset [3295] by sacerdot
4:18 PM Changeset [3294] by mckinna
draft final version: more to say than to put on slides etc.
12:39 PM Changeset [3293] by mckinna
more: desitination data (partial)
11:17 AM cpp-2011.pdf attached to WikiStart by sacerdot
11:16 AM WikiStart edited by sacerdot
(diff)
10:45 AM Changeset [3292] by mckinna
update
9:46 AM Changeset [3291] by mckinna
template beamer file, and notes for the talk more later today!
2:24 AM Changeset [3290] by stark
Minor edits to slides

May 14, 2013:

6:47 PM WikiStart edited by sacerdot
(diff)
6:43 PM Changeset [3289] by sacerdot
6:33 PM WikiStart edited by sacerdot
(diff)
5:43 PM D2-1-addendum.pdf attached to WikiStart by sacerdot
5:43 PM D4-2.pdf attached to WikiStart by sacerdot
Deliverable for D4.2
5:42 PM D4-3.pdf attached to WikiStart by sacerdot
Deliverable for D4.3
5:42 PM D5-1.pdf attached to WikiStart by sacerdot
5:42 PM D5-1-cost_plug_in.tgz attached to WikiStart by sacerdot
5:42 PM D5-1-software.tgz attached to WikiStart by sacerdot
5:41 PM D6.2-supplement.pdf attached to WikiStart by sacerdot
5:41 PM Changeset [3288] by sacerdot
The deliverables resubmitted during the third period.
5:38 PM D6_6.pdf attached to WikiStart by sacerdot
5:38 PM D6_4_D6_5.pdf attached to WikiStart by sacerdot
5:38 PM D6_3.pdf attached to WikiStart by sacerdot
5:38 PM D5_3.pdf attached to WikiStart by sacerdot
5:37 PM D5_2.pdf attached to WikiStart by sacerdot
5:37 PM D4_4.pdf attached to WikiStart by sacerdot
5:37 PM D3_4.pdf attached to WikiStart by sacerdot
5:36 PM acc_0.2.orig.tar.gz attached to WikiStart by sacerdot
5:36 PM acc-trusted_0.2.orig.tar.gz attached to WikiStart by sacerdot
5:36 PM certification_20130430.tgz attached to WikiStart by sacerdot
5:36 PM cost-plug-in_0.2.orig.tar.gz attached to WikiStart by sacerdot
3:58 PM Changeset [3287] by tranquil
back-end slides
2:39 PM Changeset [3286] by stark
Renaming and moving
2:38 PM Changeset [3285] by stark
Renaming and moving
2:33 PM Changeset [3284] by stark
Moving and renaming
1:05 PM Changeset [3283] by regisgia
* Compiled version.
1:05 PM Changeset [3282] by regisgia
* WP5 slides for the final review.
12:41 PM Changeset [3281] by tranquil
back end correctness slides, alas still incomplete
12:11 PM Changeset [3280] by stark
Front end final review talk?
10:47 AM Changeset [3279] by stark
Renaming and moving
10:46 AM Changeset [3278] by stark
Renaming and moving
10:45 AM Changeset [3277] by stark
Renaming and moving
10:45 AM Changeset [3276] by stark
Renaming and moving
10:44 AM Changeset [3275] by stark
Renaming and moving
10:38 AM Changeset [3274] by stark
Rnaming and moving
10:38 AM Changeset [3273] by stark
Rnaming and moving
10:37 AM Changeset [3272] by stark
Rnaming and moving
10:37 AM Changeset [3271] by stark
Rnaming and moving
10:37 AM Changeset [3270] by stark
Rnaming and moving
5:47 AM Changeset [3269] by stark
Some revised slides in front end, not complete

May 13, 2013:

7:05 PM Changeset [3268] by sacerdot
Presentation for WP4 by Claudio. Maybe to be moved into dissemination, …
11:26 AM Changeset [3267] by campbell
Improve a few awkward parts of front-end slides.

May 10, 2013:

6:59 PM Changeset [3266] by campbell
Some f.e. revisions.
6:21 PM Changeset [3265] by tranquil
added validate_pointer filter in Interference added that intereference …
2:50 PM Changeset [3264] by campbell
Draft a bit of missing content for front-end slides.
1:40 PM Changeset [3263] by tranquil
moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …

May 9, 2013:

11:31 AM Changeset [3262] by piccolo
reverted status_simulation_utils
11:12 AM Changeset [3261] by piccolo
reverted joint_semantics rtl_semantics and ltl_semantics
11:04 AM Changeset [3260] by campbell
Start adapting previous talk to front-end review.
12:49 AM Changeset [3259] by piccolo
changed ERTL semantics: 1) added manipulation of stack pointer …

May 8, 2013:

6:38 PM Changeset [3258] by sacerdot
5:48 PM Changeset [3257] by tranquil
fixed uses in ERTL
5:41 PM Changeset [3256] by tranquil
fixed compilation
4:53 PM Changeset [3255] by tranquil
* dropped newframe and delframe (to be integrated in calls and returns …
3:58 PM Changeset [3254] by sacerdot
Code I always forgot to commit. To be ported to ERTLtoLTLProof.ma.

May 6, 2013:

4:08 PM Changeset [3253] by piccolo
some proof obbligation closed of ERTL to LTL proof

May 3, 2013:

5:29 PM Changeset [3252] by piccolo
proof obbligation added on ERTL to LTL proof
Note: See TracTimeline for information about the timeline view.