Timeline


and

Jul 23, 2013:

4:33 PM Changeset [3387] by piccolo
unified notation
10:15 AM WikiStart edited by mulligan
(diff)

Jul 19, 2013:

5:25 PM Changeset [3386] by sacerdot
Something that seems to be working after all.
4:38 PM Changeset [3385] by sacerdot
4:36 PM Changeset [3384] by sacerdot
Bug found?? We think so.

Jul 4, 2013:

5:59 PM Changeset [3383] by sacerdot
Simple simulation conditions and statements added. The complex ones …
3:03 PM Changeset [3382] by sacerdot
The simulation statement.
12:17 PM Changeset [3381] by sacerdot
Pen&paper style hypotheses and statements for the static-dynamic …

Jul 2, 2013:

7:25 PM Changeset [3380] by piccolo
Added definition of measurable trace
11:58 AM Changeset [3379] by sacerdot
Semantics completed.
11:38 AM Changeset [3378] by sacerdot
- Stuff common to both languages is now in Common.ma - object …
11:37 AM Changeset [3377] by sacerdot
- emit l removed + io l1 l2 The semantics has been changed so that …

Jul 1, 2013:

5:55 PM Changeset [3376] by sacerdot
Semantics fixed: the value of the anonymous variable was corrupted by …
5:53 PM Changeset [3375] by sacerdot
Imp language and its labelled-SOS. - The language has function calls …
5:08 PM Changeset [3374] by piccolo
4:34 PM Changeset [3373] by sacerdot
4:34 PM Changeset [3372] by piccolo
Added new implementation of labelling approach based on LTS and …

Jun 26, 2013:

2:22 PM Changeset [3371] by piccolo
Modified RTLsemantics and ERTLsemantics. Now the pop frame will set …
Note: See TracTimeline for information about the timeline view.