|
|
@3330
|
7 years |
piccolo |
|
|
|
@3329
|
7 years |
tranquil |
passed the spell checker
|
|
|
@3328
|
7 years |
tranquil |
cut some text, reordered bibliography
|
|
|
@3327
|
7 years |
tranquil |
static word wrap
|
|
|
@3326
|
7 years |
piccolo |
|
|
|
@3325
|
7 years |
piccolo |
|
|
|
@3324
|
7 years |
piccolo |
bibliography added
|
|
|
@3323
|
7 years |
piccolo |
citazioni
|
|
|
@3322
|
7 years |
sacerdot |
Down to 17 pages, ugh.
|
|
|
@3321
|
7 years |
sacerdot |
…
|
|
|
@3320
|
7 years |
sacerdot |
…
|
|
|
@3319
|
7 years |
tranquil |
added some more text describing the output pf the cost plugin
|
|
|
@3318
|
7 years |
sacerdot |
…
|
|
|
@3317
|
7 years |
tranquil |
moved workflow figure and added a descriptive text
|
|
|
@3316
|
7 years |
sacerdot |
Short future works section.
|
|
|
@3315
|
7 years |
sacerdot |
…
|
|
|
@3314
|
7 years |
sacerdot |
Text shortened.
|
|
|
@3313
|
7 years |
tranquil |
redrawn fork flow in tikz, adding the cost plugin
|
|
|
@3312
|
7 years |
sacerdot |
…
|
|
|
@3311
|
7 years |
sacerdot |
…
|
|
|
@3310
|
7 years |
sacerdot |
An example.
|
|
|
@3309
|
7 years |
sacerdot |
An abstract.
|
|
|
@3308
|
7 years |
sacerdot |
Authors and affiliations
|
|
|
@3307
|
7 years |
sacerdot |
Importing text from D1.4.
|
|
|
@3306
|
7 years |
tranquil |
altre modifiche e qualche taglio (i risultati per tll e tal)
|
|
|
@3305
|
7 years |
tranquil |
messo qualche figura, e molte notazioni
|
|
|
@3304
|
7 years |
boender |
- added 2012 reviews
- updated affiliation
|
|
|
@3303
|
7 years |
amadio |
r
|
|
|
@3302
|
7 years |
mckinna |
removed local verison for JHM's machine wp6.tex definitive
|
|
|
@3301
|
7 years |
mckinna |
updates: wp6.tex is definitive
|
|
|
@3300
|
7 years |
mckinna |
updates
|
|
|
@3299
|
7 years |
sacerdot |
…
|
|
|
@3298
|
7 years |
sacerdot |
…
|
|
|
@3297
|
7 years |
tranquil |
final version
|
|
|
@3296
|
7 years |
sacerdot |
…
|
|
|
@3295
|
7 years |
sacerdot |
…
|
|
|
@3294
|
7 years |
mckinna |
draft final version: more to say than to put on slides etc.
|
|
|
@3293
|
7 years |
mckinna |
more: desitination data (partial)
|
|
|
@3292
|
7 years |
mckinna |
update
|
|
|
@3291
|
7 years |
mckinna |
template beamer file, and notes for the talk
more later today!
|
|
|
@3290
|
7 years |
Ian Stark |
Minor edits to slides
|
|
|
@3289
|
7 years |
sacerdot |
…
|
|
|
@3288
|
7 years |
sacerdot |
The deliverables resubmitted during the third period.
|
|
|
@3287
|
7 years |
tranquil |
back-end slides
|
|
|
@3286
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3285
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3284
|
7 years |
Ian Stark |
Moving and renaming
|
|
|
@3283
|
7 years |
regisgia |
* Compiled version.
|
|
|
@3282
|
7 years |
regisgia |
* WP5 slides for the final review.
|
|
|
@3281
|
7 years |
tranquil |
back end correctness slides, alas still incomplete
|
|
|
@3280
|
7 years |
Ian Stark |
Front end final review talk?
|
|
|
@3279
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3278
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3277
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3276
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3275
|
7 years |
Ian Stark |
Renaming and moving
|
|
|
@3274
|
7 years |
Ian Stark |
Rnaming and moving
|
|
|
@3273
|
7 years |
Ian Stark |
Rnaming and moving
|
|
|
@3272
|
7 years |
Ian Stark |
Rnaming and moving
|
|
|
@3271
|
7 years |
Ian Stark |
Rnaming and moving
|
|
|
@3270
|
7 years |
Ian Stark |
Rnaming and moving
|
|
|
@3269
|
7 years |
Ian Stark |
Some revised slides in front end, not complete
|
|
|
@3268
|
7 years |
sacerdot |
Presentation for WP4 by Claudio.
Maybe to be moved into dissemination, …
|
|
|
@3267
|
7 years |
campbell |
Improve a few awkward parts of front-end slides.
|
|
|
@3266
|
7 years |
campbell |
Some f.e. revisions.
|
|
|
@3265
|
7 years |
tranquil |
added validate_pointer filter
in Interference added that intereference …
|
|
|
@3264
|
7 years |
campbell |
Draft a bit of missing content for front-end slides.
|
|
|
@3263
|
7 years |
tranquil |
moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
|
|
|
@3262
|
7 years |
piccolo |
reverted status_simulation_utils
|
|
|
@3261
|
7 years |
piccolo |
reverted joint_semantics rtl_semantics and ltl_semantics
|
|
|
@3260
|
7 years |
campbell |
Start adapting previous talk to front-end review.
|
|
|
@3259
|
7 years |
piccolo |
changed ERTL semantics:
1) added manipulation of stack pointer …
|
|
|
@3258
|
7 years |
sacerdot |
…
|
|
|
@3257
|
7 years |
tranquil |
fixed uses in ERTL
|
|
|
@3256
|
7 years |
tranquil |
fixed compilation
|
|
|
@3255
|
7 years |
tranquil |
* dropped newframe and delframe (to be integrated in calls and returns …
|
|
|
@3254
|
7 years |
sacerdot |
Code I always forgot to commit.
To be ported to ERTLtoLTLProof.ma.
|
|
|
@3253
|
7 years |
piccolo |
some proof obbligation closed of ERTL to LTL proof
|
|
|
@3252
|
7 years |
piccolo |
proof obbligation added on ERTL to LTL proof
|
|
|
@3251
|
7 years |
sacerdot |
The files submitted and the mail sent to the officer/reviewers.
|
|
|
@3250
|
7 years |
sacerdot |
…
|
|
|
@3249
|
7 years |
Ian Stark |
UEDIN D3.4, D6.4-6.5
|
|
|
@3248
|
7 years |
sacerdot |
Typos fixed.
|
|
|
@3247
|
7 years |
Ian Stark |
UEDIN changes to D1.3 and D1.4
|
|
|
@3246
|
7 years |
sacerdot |
Instructions on how to make the LiveCD.
|
|
|
@3245
|
7 years |
sacerdot |
The final pages by Michela. To be appended to the PDF generated by Ian.
|
|
|
@3244
|
7 years |
sacerdot |
Final version.
|
|
|
@3243
|
7 years |
sacerdot |
The report, spellchecking needed.
|
|
|
@3242
|
7 years |
sacerdot |
New version with better description and copyright.
|
|
|
@3241
|
7 years |
sacerdot |
Debian package for matita_0.99.2
|
|
|
@3240
|
7 years |
Ian Stark |
Remove Microsoft Office droppings
|
|
|
@3239
|
7 years |
Ian Stark |
D1.4 updates
|
|
|
@3238
|
7 years |
sacerdot |
acc-trusted bumper to version 0.2.
|
|
|
@3237
|
7 years |
campbell |
Some incomplete work on Clight -> Cminor call steps.
|
|
|
@3236
|
7 years |
campbell |
Sneak in a single word fix.
|
|
|
@3235
|
7 years |
tranquil |
compiler tarball
|
|
|
@3234
|
7 years |
sacerdot |
Debian packages committed.
Some are using git, so you need to clone …
|
|
|
@3233
|
7 years |
tranquil |
passed spell checker, added description of the cerco wrapper, minor …
|
|
|
@3232
|
7 years |
Ian Stark |
D1.4 small changes
|
|
|
@3231
|
7 years |
campbell |
Final revisions to 3.4.
|
|
|