Timeline



Nov 1, 2013:

5:29 PM Changeset [3395] by fguidi
scan for redundant includes with new version of matitadep

Oct 30, 2013:

10:29 AM Changeset [3394] by piccolo
Added abstract language and procedure to add call post labelled

Oct 11, 2013:

4:39 PM Changeset [3393] by boender
- TACAS stuff
12:25 PM Changeset [3392] by boender
- renamed paper yet again

Oct 10, 2013:

5:28 PM Changeset [3391] by piccolo
Definition of well formed trace is in the operational semantics
2:53 PM Changeset [3390] by piccolo
Patched simulation proof, changed definition of silent trace
1:07 PM Changeset [3389] by piccolo
Ended simulation proof
Note: See TracTimeline for information about the timeline view.