source: LTS/Vm.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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.