|
|
@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
|
7 years |
piccolo |
partial commit
|
|
|
@3387
|
7 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 |
…
|
|
|
@3343
|
8 years |
tranquil |
file parallelo
|
|
|
@3342
|
8 years |
boender |
- completed reworking of proofs
|
|
|
@3341
|
8 years |
boender |
- more notation stuff (still needs work!)
|
|
|
@3340
|
8 years |
sacerdot |
Final version
|
|
|
@3339
|
8 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
@3338
|
8 years |
boender |
- updated statement of main correctness statement (still needs work)
|
|
|
@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
|
|
|