|
|
@3462
|
7 years |
campbell |
Some final changes before submission.
|
|
|
@3461
|
7 years |
mulligan |
more fiddling
|
|
|
@3460
|
7 years |
mulligan |
more fiddling, commit to avoid conflicts
|
|
|
@3459
|
7 years |
mulligan |
small changes to abstract again
|
|
|
@3456
|
7 years |
mulligan |
more small changes to bib file, including filling in paolo's qapl …
|
|
|
@3455
|
7 years |
mulligan |
more space saving. now down to 16 pages + 1 page bibliography
|
|
|
@3454
|
7 years |
mulligan |
a little more
|
|
|
@3453
|
7 years |
mulligan |
reworking up to Section 2
|
|
|
@3452
|
7 years |
mulligan |
changes to second para
|
|
|
@3451
|
7 years |
mulligan |
de-Tristram Shandefied the opening paragraph
|
|
|
@3450
|
7 years |
mulligan |
small rewordings of the abstract, working on rest of paper
|
|
|
@3444
|
7 years |
mulligan |
More language changes. At end of file.
|
|
|
@3443
|
7 years |
mulligan |
More changes, including more missing references (including to CerCo?'s …
|
|
|
@3442
|
7 years |
mulligan |
Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.
|
|
|
@3441
|
7 years |
mulligan |
Some language/spelling changes in fopara2013.tex up to Section 2. …
|
|
|
@3440
|
7 years |
campbell |
Add a preformatted PDF.
|
|
|
@3439
|
7 years |
campbell |
Fiddle references back into one page.
|
|
|
@3438
|
7 years |
campbell |
Appendix about the reviewer's comments.
|
|
|
@3437
|
7 years |
campbell |
Deal more directly with some reviewer's comments.
|
|
|
@3436
|
7 years |
campbell |
Section 4.5 revisions.
|
|
|
@3435
|
7 years |
campbell |
Revise section 4.4.
|
|
|
@3434
|
7 years |
campbell |
Section 4.3 revised.
|
|
|
@3433
|
7 years |
campbell |
Revise sections 4.1, 4.2.
|
|
|
@3432
|
7 years |
campbell |
Consistently use ll spelling of labelled/labelling.
|
|
|
@3431
|
7 years |
campbell |
Note the specification language in Sec 3.
|
|
|
@3430
|
7 years |
campbell |
Revisions up to the end of section 3.
|
|
|
@3429
|
7 years |
campbell |
Adjust figure formatting to fit in page without being unreadable.
|
|
|
@3428
|
7 years |
campbell |
More minor stuff.
|
|
|
@3427
|
7 years |
campbell |
Make example clearer for readers in black and white.
|
|
|
@3426
|
7 years |
campbell |
Clarify WCET state-of-the-art citation.
|
|
|
@3425
|
7 years |
campbell |
Rearrange section 4
|
|
|
@3424
|
7 years |
campbell |
Minor edits to section 4.
|
|
|
@3423
|
7 years |
campbell |
Note for appendix.
|
|
|
@3422
|
7 years |
campbell |
Basic restructuring of section 2.
|
|
|
@3421
|
7 years |
campbell |
Note parametric example for appendix
|
|
|
@3420
|
7 years |
campbell |
Parametric example for FOPARA.
|
|
|
@3419
|
7 years |
campbell |
Tweak abstract.
|
|
|
@3418
|
7 years |
campbell |
Move preproceedings version of FOPARA paper aside.
|
|
|
@3417
|
7 years |
campbell |
Many of the minor reviewer comments about FOPARA paper.
|
|
|
@3369
|
8 years |
sacerdot |
submitted
|
|
|
@3368
|
8 years |
sacerdot |
..
|
|
|
@3367
|
8 years |
tranquil |
…
|
|
|
@3366
|
8 years |
tranquil |
…
|
|
|
@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 |
…
|
|
|
@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
|
|
|
@3340
|
8 years |
sacerdot |
Final version
|
|
|
@3339
|
8 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
@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
|
|
|
@3222
|
8 years |
tranquil |
added pages to included papers. final version.
|
|
|
@3213
|
8 years |
tranquil |
summary for D4.4, and other modifications
|
|
|
@2637
|
8 years |
sacerdot |
…
|
|
|
@2635
|
8 years |
sacerdot |
…
|
|
|
@2634
|
8 years |
sacerdot |
…
|
|
|
@2633
|
8 years |
sacerdot |
…
|
|
|
@2632
|
8 years |
sacerdot |
…
|
|
|