source: src/RTLabs/MeasurableToStructured.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3156   7 years campbell Rebuild prefix traces in back-end's preferred form.
(edit) @3145   7 years tranquil * removed sigma types from traces of intensional events * completed …
(edit) @3031   7 years campbell Tidy up RTLabs preclassified_system definitions.
(edit) @2948   7 years campbell Finish up measurable to structured proof, exposing the prefix and …
(edit) @2947   7 years campbell Init change in measurable to structured file.
(edit) @2914   7 years campbell Use single definition for stack measurement.
(edit) @2897   7 years campbell Minor tidying.
(edit) @2896   7 years campbell Complete part of measurable to structured subtraces proof that shows …
(edit) @2895   7 years campbell Match up function id from RTLabs Callstate with shadow stack, use in …
(edit) @2894   7 years campbell Some progress on showing that the change to structured traces …
(edit) @2893   7 years campbell Add tlr_unrepeating.
(edit) @2892   7 years campbell Add cost hypotheses.
(add) @2839   7 years campbell Basic structure of RTLabs measurable to structured traces results.
Note: See TracRevisionLog for help on using the revision log.