Timeline



Apr 10, 2015:

3:08 PM Changeset [3553] by pellitta
inizio prima compilazione

Apr 9, 2015:

11:04 PM Changeset [3552] by piccolo
closed all daemons
4:44 PM Changeset [3551] by piccolo
closed all daeomns

Apr 8, 2015:

7:53 PM Changeset [3550] by piccolo
chiusi dei demoni

Apr 2, 2015:

3:44 PM Changeset [3549] by piccolo
added paolo's trick

Mar 24, 2015:

2:18 PM Changeset [3548] by pellitta

Mar 21, 2015:

3:57 PM Changeset [3547] by pellitta

Mar 20, 2015:

4:14 PM Changeset [3546] by pellitta
abitato record semantico

Mar 19, 2015:

5:44 PM Changeset [3545] by pellitta
risolto un problema di mismatch di tipo legato al fatto che lo store …
4:55 PM Changeset [3544] by pellitta
record semantico: abitato eval_call

Mar 18, 2015:

6:32 PM Changeset [3543] by pellitta
4:39 PM Changeset [3542] by piccolo
11:28 AM Changeset [3541] by pellitta

Mar 17, 2015:

7:33 PM Changeset [3540] by piccolo
closed some daemons
3:53 PM Changeset [3539] by pellitta

Mar 16, 2015:

7:01 PM Changeset [3538] by pellitta
5:45 PM Changeset [3537] by piccolo
paper schema
5:02 PM Changeset [3536] by pellitta
roll-back per avere tipo seq_i con parametri e store_type come …
4:30 PM Changeset [3535] by piccolo
final statement of cerco with the first pass integrated in place
1:02 PM Changeset [3534] by pellitta
abitato record di tipo instr_params
12:52 PM Changeset [3533] by pellitta
prova predicato uguaglianza tipo condition completata
11:09 AM Changeset [3532] by pellitta
prova predicato uguaglianza su tipo expr completata, prova predicato …

Mar 13, 2015:

6:42 PM Changeset [3531] by piccolo
new notion of measurable: some lemmas are still broken
5:03 PM Changeset [3530] by pellitta
prova in corso lemma che il predicato sul tipo expr corrisponde …

Mar 12, 2015:

3:38 PM Changeset [3529] by pellitta
abitazione tipo instr_params in corso
12:58 PM Changeset [3528] by pellitta
eliminati dal linguaggio i comandi For e IfThenElse?, ridondanti …
12:43 PM Changeset [3527] by piccolo
fixed permutation axioms

Mar 11, 2015:

6:50 PM Changeset [3526] by pellitta
5:20 PM Changeset [3525] by sacerdot
- dead code removed + improved (?) comment
4:26 PM Changeset [3524] by piccolo
rearrangments of lemmas, final statement in place
12:59 PM Changeset [3523] by piccolo
closed all daemon with the final statement
Note: See TracTimeline for information about the timeline view.