source: LTS/Vm.ma

Revision Log Mode:


Legend:

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