

@3469

5 years 
mulligan 
added final zip file commited to easychair



@3468

5 years 
campbell 
Move postproceedings submission out of the way.



@3462

6 years 
campbell 
Some final changes before submission.



@3461

6 years 
mulligan 
more fiddling



@3460

6 years 
mulligan 
more fiddling, commit to avoid conflicts



@3459

6 years 
mulligan 
small changes to abstract again



@3456

6 years 
mulligan 
more small changes to bib file, including filling in paolo's qapl …



@3455

6 years 
mulligan 
more space saving. now down to 16 pages + 1 page bibliography



@3454

6 years 
mulligan 
a little more



@3453

6 years 
mulligan 
reworking up to Section 2



@3452

6 years 
mulligan 
changes to second para



@3451

6 years 
mulligan 
deTristram Shandefied the opening paragraph



@3450

6 years 
mulligan 
small rewordings of the abstract, working on rest of paper



@3444

6 years 
mulligan 
More language changes. At end of file.



@3443

6 years 
mulligan 
More changes, including more missing references (including to CerCo?'s …



@3442

6 years 
mulligan 
Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.



@3441

6 years 
mulligan 
Some language/spelling changes in fopara2013.tex up to Section 2. …



@3440

6 years 
campbell 
Add a preformatted PDF.



@3439

6 years 
campbell 
Fiddle references back into one page.



@3438

6 years 
campbell 
Appendix about the reviewer's comments.



@3437

6 years 
campbell 
Deal more directly with some reviewer's comments.



@3436

6 years 
campbell 
Section 4.5 revisions.



@3435

6 years 
campbell 
Revise section 4.4.



@3434

6 years 
campbell 
Section 4.3 revised.



@3433

6 years 
campbell 
Revise sections 4.1, 4.2.



@3432

6 years 
campbell 
Consistently use ll spelling of labelled/labelling.



@3431

6 years 
campbell 
Note the specification language in Sec 3.



@3430

6 years 
campbell 
Revisions up to the end of section 3.



@3429

6 years 
campbell 
Adjust figure formatting to fit in page without being unreadable.



@3428

6 years 
campbell 
More minor stuff.



@3427

6 years 
campbell 
Make example clearer for readers in black and white.



@3426

6 years 
campbell 
Clarify WCET stateoftheart citation.



@3425

6 years 
campbell 
Rearrange section 4



@3424

6 years 
campbell 
Minor edits to section 4.



@3423

6 years 
campbell 
Note for appendix.



@3422

6 years 
campbell 
Basic restructuring of section 2.



@3421

6 years 
campbell 
Note parametric example for appendix



@3420

6 years 
campbell 
Parametric example for FOPARA.



@3419

6 years 
campbell 
Tweak abstract.



@3418

6 years 
campbell 
Move preproceedings version of FOPARA paper aside.



@3417

6 years 
campbell 
Many of the minor reviewer comments about FOPARA paper.



@3340

6 years 
sacerdot 
Final version



@3339

6 years 
tranquil 
passed biblio to bibtex, and some aesthetical changes



@3337

6 years 
mulligan 
Final changes



@3336

6 years 
mulligan 
80% done, synch. commit



@3335

6 years 
amadio 
rob



@3334

6 years 
mulligan 
About half way through



@3333

6 years 
Ian Stark 
Edinburgh institution title



@3332

6 years 
sacerdot 
+Randy



@3331

6 years 
mulligan 
Some changes to the English in the abstract. e.g. loosing > losing



@3330

6 years 
piccolo 



@3329

6 years 
tranquil 
passed the spell checker



@3328

6 years 
tranquil 
cut some text, reordered bibliography



@3327

6 years 
tranquil 
static word wrap



@3326

6 years 
piccolo 



@3325

6 years 
piccolo 



@3324

6 years 
piccolo 
bibliography added



@3323

6 years 
piccolo 
citazioni



@3322

6 years 
sacerdot 
Down to 17 pages, ugh.



@3321

6 years 
sacerdot 
…



@3320

6 years 
sacerdot 
…



@3319

6 years 
tranquil 
added some more text describing the output pf the cost plugin



@3318

6 years 
sacerdot 
…



@3317

6 years 
tranquil 
moved workflow figure and added a descriptive text



@3316

6 years 
sacerdot 
Short future works section.



@3315

6 years 
sacerdot 
…



@3314

6 years 
sacerdot 
Text shortened.



@3313

6 years 
tranquil 
redrawn fork flow in tikz, adding the cost plugin



@3312

6 years 
sacerdot 
…



@3311

6 years 
sacerdot 
…



@3310

6 years 
sacerdot 
An example.



@3309

6 years 
sacerdot 
An abstract.



@3308

6 years 
sacerdot 
Authors and affiliations



@3307

6 years 
sacerdot 
Importing text from D1.4.
