source: LTS/Vm.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3552   5 years piccolo closed all daemons
(edit) @3549   5 years piccolo added paolo's trick
(edit) @3535   5 years piccolo final statement of cerco with the first pass integrated in place
(edit) @3524   5 years piccolo rearrangments of lemmas, final statement in place
(edit) @3523   5 years piccolo closed all daemon with the final statement
(edit) @3508   5 years piccolo
(edit) @3507   5 years sacerdot New file to contain the final statements of CerCo?.
(edit) @3506   5 years sacerdot Refactoring.
(edit) @3505   5 years piccolo
(edit) @3503   5 years piccolo
(edit) @3502   5 years sacerdot Tentative final statement and proof for Vm.ma.
(edit) @3501   5 years sacerdot Final static_dynamic statement committed.
(edit) @3500   5 years sacerdot Nicer statements.
(edit) @3499   5 years sacerdot Nicer statement.
(edit) @3498   5 years sacerdot Much nicer statement.
(edit) @3497   5 years piccolo prova finale statico dinamico
(edit) @3496   5 years sacerdot Termination hypothesis greatly simplified.
(edit) @3495   5 years piccolo
(edit) @3494   5 years piccolo
(edit) @3493   5 years piccolo
(edit) @3492   5 years sacerdot
(edit) @3491   5 years piccolo
(edit) @3490   5 years piccolo
(edit) @3489   5 years sacerdot Second daemon closed.
(edit) @3488   5 years sacerdot One proof repaired.
(edit) @3486   5 years piccolo
(edit) @3485   5 years piccolo partial measurable static dynamic
(edit) @3478   5 years piccolo fixed costlabels
(edit) @3465   6 years piccolo
(edit) @3464   6 years piccolo static_dinamic in place
(edit) @3463   6 years piccolo
(edit) @3457   6 years piccolo
(edit) @3449   6 years piccolo clean up
(edit) @3448   6 years piccolo
(edit) @3379   6 years sacerdot Semantics completed.
(add) @3378   6 years sacerdot - Stuff common to both languages is now in Common.ma - object …
Note: See TracRevisionLog for help on using the revision log.