|
|
@3354
|
6 years |
boender |
- one more
|
|
|
@3353
|
6 years |
boender |
- addressed minor corrections by referees
|
|
|
@3352
|
6 years |
boender |
- nicified formulas
|
|
|
@3351
|
6 years |
sacerdot |
…
|
|
|
@3350
|
6 years |
sacerdot |
…
|
|
|
@3349
|
6 years |
tranquil |
statements
|
|
|
@3348
|
6 years |
tranquil |
ipotesi della forward simulation
|
|
|
@3347
|
6 years |
tranquil |
andato avanti…
|
|
|
@3346
|
6 years |
sacerdot |
…
|
|
|
@3345
|
6 years |
sacerdot |
…
|
|
|
@3344
|
6 years |
sacerdot |
…
|
|
|
@3343
|
6 years |
tranquil |
file parallelo
|
|
|
@3342
|
6 years |
boender |
- completed reworking of proofs
|
|
|
@3341
|
7 years |
boender |
- more notation stuff (still needs work!)
|
|
|
@3340
|
7 years |
sacerdot |
Final version
|
|
|
@3339
|
7 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
@3338
|
7 years |
boender |
- updated statement of main correctness statement (still needs work)
|
|
|
@3337
|
7 years |
mulligan |
Final changes
|
|
|
@3336
|
7 years |
mulligan |
80% done, synch. commit
|
|
|
@3335
|
7 years |
amadio |
rob
|
|
|
@3334
|
7 years |
mulligan |
About half way through
|
|
|
@3333
|
7 years |
Ian Stark |
Edinburgh institution title
|
|
|
@3332
|
7 years |
sacerdot |
+Randy
|
|
|
@3331
|
7 years |
mulligan |
Some changes to the English in the abstract. e.g. loosing -> losing
|
|
|
@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 …
|
|
|