|
|
@3374
|
8 years |
piccolo |
|
|
|
@3373
|
8 years |
sacerdot |
…
|
|
|
@3372
|
8 years |
piccolo |
Added new implementation of labelling approach based on LTS and …
|
|
|
@3371
|
8 years |
piccolo |
Modified RTLsemantics and ERTLsemantics. Now the pop frame will set …
|
|
|
@3370
|
8 years |
sacerdot |
Submitted.
|
|
|
@3369
|
8 years |
sacerdot |
submitted
|
|
|
@3368
|
8 years |
sacerdot |
..
|
|
|
@3367
|
8 years |
tranquil |
…
|
|
|
@3366
|
8 years |
tranquil |
…
|
|
|
@3365
|
8 years |
boender |
- changed spelling error
|
|
|
@3364
|
8 years |
boender |
- added bit to the introduction about contribution
|
|
|
@3363
|
8 years |
boender |
- renamed directory
|
|
|
@3362
|
8 years |
boender |
- added some bits as per Claudio's mail
- rewrote some small things
- …
|
|
|
@3361
|
8 years |
sacerdot |
15 pages version
|
|
|
@3360
|
8 years |
tranquil |
aggiustate le figure
|
|
|
@3359
|
8 years |
tranquil |
recuperato un po' della formalizzazione, ancora in fondo.
|
|
|
@3358
|
8 years |
sacerdot |
…
|
|
|
@3357
|
8 years |
sacerdot |
…
|
|
|
@3356
|
8 years |
sacerdot |
…
|
|
|
@3355
|
8 years |
sacerdot |
…
|
|
|
@3354
|
8 years |
boender |
- one more
|
|
|
@3353
|
8 years |
boender |
- addressed minor corrections by referees
|
|
|
@3352
|
8 years |
boender |
- nicified formulas
|
|
|
@3351
|
8 years |
sacerdot |
…
|
|
|
@3350
|
8 years |
sacerdot |
…
|
|
|
@3349
|
8 years |
tranquil |
statements
|
|
|
@3348
|
8 years |
tranquil |
ipotesi della forward simulation
|
|
|
@3347
|
8 years |
tranquil |
andato avanti…
|
|
|
@3346
|
8 years |
sacerdot |
…
|
|
|
@3345
|
8 years |
sacerdot |
…
|
|
|
@3344
|
8 years |
sacerdot |
…
|
|
|
@3343
|
8 years |
tranquil |
file parallelo
|
|
|
@3342
|
8 years |
boender |
- completed reworking of proofs
|
|
|
@3341
|
8 years |
boender |
- more notation stuff (still needs work!)
|
|
|
@3340
|
8 years |
sacerdot |
Final version
|
|
|
@3339
|
8 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
@3338
|
8 years |
boender |
- updated statement of main correctness statement (still needs work)
|
|
|
@3337
|
8 years |
mulligan |
Final changes
|
|
|
@3336
|
8 years |
mulligan |
80% done, synch. commit
|
|
|
@3335
|
8 years |
amadio |
rob
|
|
|
@3334
|
8 years |
mulligan |
About half way through
|
|
|
@3333
|
8 years |
Ian Stark |
Edinburgh institution title
|
|
|
@3332
|
8 years |
sacerdot |
+Randy
|
|
|
@3331
|
8 years |
mulligan |
Some changes to the English in the abstract. e.g. loosing -> losing
|
|
|
@3330
|
8 years |
piccolo |
|
|
|
@3329
|
8 years |
tranquil |
passed the spell checker
|
|
|
@3328
|
8 years |
tranquil |
cut some text, reordered bibliography
|
|
|
@3327
|
8 years |
tranquil |
static word wrap
|
|
|
@3326
|
8 years |
piccolo |
|
|
|
@3325
|
8 years |
piccolo |
|
|
|
@3324
|
8 years |
piccolo |
bibliography added
|
|
|
@3323
|
8 years |
piccolo |
citazioni
|
|
|
@3322
|
8 years |
sacerdot |
Down to 17 pages, ugh.
|
|
|
@3321
|
8 years |
sacerdot |
…
|
|
|
@3320
|
8 years |
sacerdot |
…
|
|
|
@3319
|
8 years |
tranquil |
added some more text describing the output pf the cost plugin
|
|
|
@3318
|
8 years |
sacerdot |
…
|
|
|
@3317
|
8 years |
tranquil |
moved workflow figure and added a descriptive text
|
|
|
@3316
|
8 years |
sacerdot |
Short future works section.
|
|
|
@3315
|
8 years |
sacerdot |
…
|
|
|
@3314
|
8 years |
sacerdot |
Text shortened.
|
|
|
@3313
|
8 years |
tranquil |
redrawn fork flow in tikz, adding the cost plugin
|
|
|
@3312
|
8 years |
sacerdot |
…
|
|
|
@3311
|
8 years |
sacerdot |
…
|
|
|
@3310
|
8 years |
sacerdot |
An example.
|
|
|
@3309
|
8 years |
sacerdot |
An abstract.
|
|
|
@3308
|
8 years |
sacerdot |
Authors and affiliations
|
|
|
@3307
|
8 years |
sacerdot |
Importing text from D1.4.
|
|
|
@3306
|
8 years |
tranquil |
altre modifiche e qualche taglio (i risultati per tll e tal)
|
|
|
@3305
|
8 years |
tranquil |
messo qualche figura, e molte notazioni
|
|
|
@3304
|
8 years |
boender |
- added 2012 reviews
- updated affiliation
|
|
|
@3303
|
8 years |
amadio |
r
|
|
|
@3302
|
8 years |
mckinna |
removed local verison for JHM's machine wp6.tex definitive
|
|
|
@3301
|
8 years |
mckinna |
updates: wp6.tex is definitive
|
|
|
@3300
|
8 years |
mckinna |
updates
|
|
|
@3299
|
8 years |
sacerdot |
…
|
|
|
@3298
|
8 years |
sacerdot |
…
|
|
|
@3297
|
8 years |
tranquil |
final version
|
|
|
@3296
|
8 years |
sacerdot |
…
|
|
|
@3295
|
8 years |
sacerdot |
…
|
|
|
@3294
|
8 years |
mckinna |
draft final version: more to say than to put on slides etc.
|
|
|
@3293
|
8 years |
mckinna |
more: desitination data (partial)
|
|
|
@3292
|
8 years |
mckinna |
update
|
|
|
@3291
|
8 years |
mckinna |
template beamer file, and notes for the talk
more later today!
|
|
|
@3290
|
8 years |
Ian Stark |
Minor edits to slides
|
|
|
@3289
|
8 years |
sacerdot |
…
|
|
|
@3288
|
8 years |
sacerdot |
The deliverables resubmitted during the third period.
|
|
|
@3287
|
8 years |
tranquil |
back-end slides
|
|
|
@3286
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3285
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3284
|
8 years |
Ian Stark |
Moving and renaming
|
|
|
@3283
|
8 years |
regisgia |
* Compiled version.
|
|
|
@3282
|
8 years |
regisgia |
* WP5 slides for the final review.
|
|
|
@3281
|
8 years |
tranquil |
back end correctness slides, alas still incomplete
|
|
|
@3280
|
8 years |
Ian Stark |
Front end final review talk?
|
|
|
@3279
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3278
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3277
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3276
|
8 years |
Ian Stark |
Renaming and moving
|
|
|
@3275
|
8 years |
Ian Stark |
Renaming and moving
|
|
|