Timeline



Sep 26, 2014:

6:44 PM Changeset [3511] by sacerdot
6:34 PM Changeset [3510] by sacerdot
One proof closed.
6:12 PM Changeset [3509] by sacerdot
6:06 PM Changeset [3508] by piccolo
5:44 PM Changeset [3507] by sacerdot
New file to contain the final statements of CerCo?.
5:00 PM Changeset [3506] by sacerdot
Refactoring.
4:58 PM Changeset [3505] by piccolo
3:44 PM Changeset [3504] by sacerdot
Last commit destroyed my changes: undone.
2:40 PM Changeset [3503] by piccolo

Sep 25, 2014:

10:24 PM Changeset [3502] by sacerdot
Tentative final statement and proof for Vm.ma.
7:15 PM Changeset [3501] by sacerdot
Final static_dynamic statement committed.
6:50 PM Changeset [3500] by sacerdot
Nicer statements.
4:13 PM Changeset [3499] by sacerdot
Nicer statement.
3:49 PM Changeset [3498] by sacerdot
Much nicer statement.
3:36 PM Changeset [3497] by piccolo
prova finale statico dinamico
2:43 PM Changeset [3496] by sacerdot
Termination hypothesis greatly simplified.
2:24 PM Changeset [3495] by piccolo
1:43 PM Changeset [3494] by piccolo
1:43 PM Changeset [3493] by piccolo

Sep 24, 2014:

6:44 PM Changeset [3492] by sacerdot
6:15 PM Changeset [3491] by piccolo
5:15 PM Changeset [3490] by piccolo
4:32 PM Changeset [3489] by sacerdot
Second daemon closed.
3:56 PM Changeset [3488] by sacerdot
One proof repaired.
3:23 PM Changeset [3487] by sacerdot
No more i_act. Note: we do not ask anywhere that no transitions to an …
2:49 PM Changeset [3486] by piccolo

Sep 23, 2014:

4:47 PM Changeset [3485] by piccolo
partial measurable static dynamic
1:58 PM Changeset [3484] by sacerdot
Simulation generalized to two different abstract_status.
1:08 PM Changeset [3483] by sacerdot

Sep 22, 2014:

5:46 PM Changeset [3482] by sacerdot
No more daemons, all code repaired.
5:36 PM Changeset [3481] by sacerdot
Restored more code claimed to be broken.
5:27 PM Changeset [3480] by sacerdot
Restored code claimed to be no longer working.
5:14 PM Changeset [3479] by sacerdot
Repaired.
4:50 PM Changeset [3478] by piccolo
fixed costlabels
3:50 PM Changeset [3477] by mulligan
changes to intro, in progress…
11:47 AM Changeset [3476] by mulligan
beginning reorientation of paper, rewrote abstract
11:27 AM Changeset [3475] by mulligan
removed useless files
11:26 AM Changeset [3474] by mulligan
11:25 AM Changeset [3473] by mulligan
inlined section into main document, title change
Note: See TracTimeline for information about the timeline view.