

@3513

6 years 
mulligan 
renamed sttt paper



@3512

6 years 
mulligan 
more work on the introduction



@3511

6 years 
sacerdot 
…



@3510

6 years 
sacerdot 
One proof closed.



@3509

6 years 
sacerdot 
…



@3508

6 years 
piccolo 



@3507

6 years 
sacerdot 
New file to contain the final statements of CerCo?.



@3506

6 years 
sacerdot 
Refactoring.



@3505

6 years 
piccolo 



@3504

6 years 
sacerdot 
Last commit destroyed my changes: undone.



@3503

6 years 
piccolo 



@3502

6 years 
sacerdot 
Tentative final statement and proof for Vm.ma.



@3501

6 years 
sacerdot 
Final static_dynamic statement committed.



@3500

6 years 
sacerdot 
Nicer statements.



@3499

6 years 
sacerdot 
Nicer statement.



@3498

6 years 
sacerdot 
Much nicer statement.



@3497

6 years 
piccolo 
prova finale statico dinamico



@3496

6 years 
sacerdot 
Termination hypothesis greatly simplified.



@3495

6 years 
piccolo 



@3494

6 years 
piccolo 



@3493

6 years 
piccolo 



@3492

6 years 
sacerdot 
…



@3491

6 years 
piccolo 



@3490

6 years 
piccolo 



@3489

6 years 
sacerdot 
Second daemon closed.



@3488

6 years 
sacerdot 
One proof repaired.



@3487

6 years 
sacerdot 
No more i_act.
Note: we do not ask anywhere that no transitions to an …



@3486

6 years 
piccolo 



@3485

6 years 
piccolo 
partial measurable static dynamic



@3484

6 years 
sacerdot 
Simulation generalized to two different abstract_status.



@3483

6 years 
sacerdot 
…



@3482

6 years 
sacerdot 
No more daemons, all code repaired.



@3481

6 years 
sacerdot 
Restored more code claimed to be broken.



@3480

6 years 
sacerdot 
Restored code claimed to be no longer working.



@3479

6 years 
sacerdot 
Repaired.



@3478

6 years 
piccolo 
fixed costlabels



@3477

6 years 
mulligan 
changes to intro, in progress…



@3476

6 years 
mulligan 
beginning reorientation of paper, rewrote abstract



@3475

6 years 
mulligan 
removed useless files



@3474

6 years 
mulligan 
…



@3473

6 years 
mulligan 
inlined section into main document, title change



@3472

6 years 
mulligan 
title and abstract changes



@3471

6 years 
mulligan 
reworked the abstract



@3470

6 years 
boender 
 added first version of STTT paper



@3469

7 years 
mulligan 
added final zip file commited to easychair



@3468

7 years 
campbell 
Move postproceedings submission out of the way.



@3467

7 years 
piccolo 
slides



@3466

7 years 
asperti 
Removed function that is only in the standard library.
Maaaany more to …



@3465

7 years 
piccolo 



@3464

7 years 
piccolo 
static_dinamic in place



@3463

7 years 
piccolo 



@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



@3458

7 years 
piccolo 



@3457

7 years 
piccolo 



@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 
deTristram Shandefied the opening paragraph



@3450

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



@3449

7 years 
piccolo 
clean up



@3448

7 years 
piccolo 



@3447

7 years 
piccolo 
correctness proof in place



@3446

7 years 
piccolo 
Correctness proof, closed all cases except the big lemma one



@3445

7 years 
piccolo 
correctness proof finished with a big open lemma



@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 stateoftheart 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.



@3416

7 years 
piccolo 



@3415

7 years 
boender 
 changes for proceedings of TACAS 2014



@3414

7 years 
piccolo 


