

@3596

20 months 
mulligan 
added jar style files



@3595

20 months 
mulligan 
added new directory for paper



@3558

3 years 
boender 
 Added paragraph to branch displacement section



@3557

3 years 
mulligan 
bit more on bitvectortrie



@3556

3 years 
boender 
 Renamed old paper to something more appropriate



@3555

3 years 
mulligan 
dominic, jaap taking another look at the paper



@3522

4 years 
boender 
bibliography.



@3521

4 years 
boender 
 some more additions



@3520

4 years 
mulligan 
abstract added



@3519

4 years 
mulligan 
little more added about matita. finished introduction to matita



@3518

4 years 
mulligan 
little more added



@3517

4 years 
mulligan 
more about matita



@3516

4 years 
mulligan 
more on matita



@3515

4 years 
mulligan 
work with jb,dpm from today



@3514

4 years 
mulligan 
added outline of new paper



@3513

4 years 
mulligan 
renamed sttt paper



@3512

4 years 
mulligan 
more work on the introduction



@3477

4 years 
mulligan 
changes to intro, in progress…



@3476

4 years 
mulligan 
beginning reorientation of paper, rewrote abstract



@3475

4 years 
mulligan 
removed useless files



@3474

4 years 
mulligan 
…



@3473

4 years 
mulligan 
inlined section into main document, title change



@3472

4 years 
mulligan 
title and abstract changes



@3471

4 years 
mulligan 
reworked the abstract



@3470

4 years 
boender 
 added first version of STTT paper



@3469

4 years 
mulligan 
added final zip file commited to easychair



@3468

4 years 
campbell 
Move postproceedings submission out of the way.



@3462

5 years 
campbell 
Some final changes before submission.



@3461

5 years 
mulligan 
more fiddling



@3460

5 years 
mulligan 
more fiddling, commit to avoid conflicts



@3459

5 years 
mulligan 
small changes to abstract again



@3456

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



@3455

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



@3454

5 years 
mulligan 
a little more



@3453

5 years 
mulligan 
reworking up to Section 2



@3452

5 years 
mulligan 
changes to second para



@3451

5 years 
mulligan 
deTristram Shandefied the opening paragraph



@3450

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



@3444

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



@3443

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



@3442

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



@3441

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



@3440

5 years 
campbell 
Add a preformatted PDF.



@3439

5 years 
campbell 
Fiddle references back into one page.



@3438

5 years 
campbell 
Appendix about the reviewer's comments.



@3437

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



@3436

5 years 
campbell 
Section 4.5 revisions.



@3435

5 years 
campbell 
Revise section 4.4.



@3434

5 years 
campbell 
Section 4.3 revised.



@3433

5 years 
campbell 
Revise sections 4.1, 4.2.



@3432

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



@3431

5 years 
campbell 
Note the specification language in Sec 3.



@3430

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



@3429

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



@3428

5 years 
campbell 
More minor stuff.



@3427

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



@3426

5 years 
campbell 
Clarify WCET stateoftheart citation.



@3425

5 years 
campbell 
Rearrange section 4



@3424

5 years 
campbell 
Minor edits to section 4.



@3423

5 years 
campbell 
Note for appendix.



@3422

5 years 
campbell 
Basic restructuring of section 2.



@3421

5 years 
campbell 
Note parametric example for appendix



@3420

5 years 
campbell 
Parametric example for FOPARA.



@3419

5 years 
campbell 
Tweak abstract.



@3418

5 years 
campbell 
Move preproceedings version of FOPARA paper aside.



@3417

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



@3369

5 years 
sacerdot 
submitted



@3368

5 years 
sacerdot 
..



@3367

5 years 
tranquil 
…



@3366

5 years 
tranquil 
…



@3360

5 years 
tranquil 
aggiustate le figure



@3359

5 years 
tranquil 
recuperato un po' della formalizzazione, ancora in fondo.



@3358

5 years 
sacerdot 
…



@3357

5 years 
sacerdot 
…



@3356

5 years 
sacerdot 
…



@3355

5 years 
sacerdot 
…



@3351

5 years 
sacerdot 
…



@3350

5 years 
sacerdot 
…



@3349

5 years 
tranquil 
statements



@3348

5 years 
tranquil 
ipotesi della forward simulation



@3347

5 years 
tranquil 
andato avanti…



@3346

5 years 
sacerdot 
…



@3345

5 years 
sacerdot 
…



@3344

5 years 
sacerdot 
…



@3343

5 years 
tranquil 
file parallelo



@3340

5 years 
sacerdot 
Final version



@3339

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



@3337

5 years 
mulligan 
Final changes



@3336

5 years 
mulligan 
80% done, synch. commit



@3335

5 years 
amadio 
rob



@3334

5 years 
mulligan 
About half way through



@3333

5 years 
stark 
Edinburgh institution title



@3332

5 years 
sacerdot 
+Randy



@3331

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



@3330

5 years 
piccolo 



@3329

5 years 
tranquil 
passed the spell checker



@3328

5 years 
tranquil 
cut some text, reordered bibliography



@3327

5 years 
tranquil 
static word wrap



@3326

5 years 
piccolo 



@3325

5 years 
piccolo 


