Timeline



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 …

Jun 18, 2013:

2:36 AM Changeset [3370] by sacerdot
Submitted.

Jun 17, 2013:

10:40 PM Changeset [3369] by sacerdot
submitted
10:34 PM Changeset [3368] by sacerdot
..
10:24 PM CPP2013.tar.gz attached to WikiStart by sacerdot
7:16 PM Changeset [3367] by tranquil
6:48 PM Changeset [3366] by tranquil
3:18 PM Changeset [3365] by boender
- changed spelling error
3:16 PM Changeset [3364] by boender
- added bit to the introduction about contribution
1:12 PM Changeset [3363] by boender
- renamed directory
1:08 PM Changeset [3362] by boender
- added some bits as per Claudio's mail - rewrote some small things - …
12:11 PM Changeset [3361] by sacerdot
15 pages version

Jun 14, 2013:

6:01 PM Changeset [3360] by tranquil
aggiustate le figure
5:48 PM Changeset [3359] by tranquil
recuperato un po' della formalizzazione, ancora in fondo.
4:43 PM Changeset [3358] by sacerdot
4:32 PM Changeset [3357] by sacerdot
4:21 PM Changeset [3356] by sacerdot
3:21 PM Changeset [3355] by sacerdot
1:33 PM Changeset [3354] by boender
- one more
1:30 PM Changeset [3353] by boender
- addressed minor corrections by referees
1:13 PM Changeset [3352] by boender
- nicified formulas
11:54 AM Changeset [3351] by sacerdot
11:46 AM Changeset [3350] by sacerdot

Jun 13, 2013:

6:10 PM Changeset [3349] by tranquil
statements
1:22 PM Changeset [3348] by tranquil
ipotesi della forward simulation
Note: See TracTimeline for information about the timeline view.