|
|
@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.
|
|
|
@3416
|
7 years |
piccolo |
|
|
|
@3415
|
7 years |
boender |
- changes for proceedings of TACAS 2014
|
|
|
@3414
|
7 years |
piccolo |
|
|
|
@3413
|
7 years |
sacerdot |
…
|
|
|
@3412
|
7 years |
sacerdot |
…
|
|
|
@3411
|
7 years |
piccolo |
new statement of correctness theorem in place
|
|
|
@3410
|
7 years |
piccolo |
we just realized that correctness theorem is wrong in the way it is …
|
|
|
@3409
|
7 years |
piccolo |
|
|
|
@3408
|
7 years |
piccolo |
|
|
|
@3407
|
7 years |
sacerdot |
Added get_element_append_r1.
|
|
|
@3406
|
7 years |
piccolo |
|
|
|
@3405
|
7 years |
piccolo |
closed some daemons
|
|
|
@3404
|
7 years |
piccolo |
|
|
|
@3403
|
7 years |
piccolo |
|
|
|
@3402
|
7 years |
piccolo |
|
|
|
@3401
|
7 years |
sacerdot |
More goals closed, but some are false.
|
|
|
@3400
|
7 years |
piccolo |
|
|
|
@3399
|
7 years |
piccolo |
call case not absorbing
|
|
|
@3398
|
7 years |
piccolo |
state relation with stack relation uptaded
|
|
|
@3397
|
7 years |
piccolo |
partial commit
|
|
|
@3396
|
7 years |
piccolo |
correctness proof in developping
|
|
|
@3395
|
7 years |
fguidi |
scan for redundant includes with new version of matitadep
|
|
|
@3394
|
7 years |
piccolo |
Added abstract language and procedure to add call post labelled
|
|
|
@3393
|
7 years |
boender |
- TACAS stuff
|
|
|
@3392
|
7 years |
boender |
- renamed paper yet again
|
|
|
@3391
|
7 years |
piccolo |
Definition of well formed trace is in the operational semantics
|
|
|
@3390
|
7 years |
piccolo |
Patched simulation proof, changed definition of silent trace
|
|
|
@3389
|
7 years |
piccolo |
Ended simulation proof
|
|
|
@3388
|
8 years |
piccolo |
partial commit
|
|
|
@3387
|
8 years |
piccolo |
unified notation
|
|
|
@3386
|
8 years |
sacerdot |
Something that seems to be working after all.
|
|
|
@3385
|
8 years |
sacerdot |
…
|
|
|
@3384
|
8 years |
sacerdot |
Bug found?? We think so.
|
|
|
@3383
|
8 years |
sacerdot |
Simple simulation conditions and statements added.
The complex ones …
|
|
|
@3382
|
8 years |
sacerdot |
The simulation statement.
|
|
|
@3381
|
8 years |
sacerdot |
Pen&paper style hypotheses and statements for the static-dynamic …
|
|
|
@3380
|
8 years |
piccolo |
Added definition of measurable trace
|
|
|
@3379
|
8 years |
sacerdot |
Semantics completed.
|
|
|
@3378
|
8 years |
sacerdot |
- Stuff common to both languages is now in Common.ma
- object …
|
|
|
@3377
|
8 years |
sacerdot |
- emit l removed
+ io l1 l2
The semantics has been changed so that …
|
|
|
@3376
|
8 years |
sacerdot |
Semantics fixed: the value of the anonymous variable was corrupted by …
|
|
|
@3375
|
8 years |
sacerdot |
Imp language and its labelled-SOS.
- The language has function calls …
|
|
|
@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 |
…
|
|
|