source: src/common/FEMeasurable.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2727   7 years campbell Remove a couple of redundant hypotheses.
(edit) @2726   7 years campbell Show max stack preserved in FEMeasurable.
(edit) @2725   7 years campbell Add observables to FEMeasurable proof; fix silly typo.
(edit) @2690   7 years campbell Most of the measurable subtrace preservation proof done.
(edit) @2685   7 years campbell Progress on measurable trace preservation: prefix preserves observable …
(edit) @2678   7 years campbell Switch to single source step simulations for front-end measurable …
(edit) @2670   7 years campbell Clean up from recent commits.
(edit) @2669   7 years campbell Tweak exec_steps output; show that simulations extend to measurable …
(edit) @2668   7 years campbell Intermediate measurable proof check-in before I change its traces again.
(edit) @2644   7 years campbell Commit some work on FEMeasurable before trying to do something nicer …
(edit) @2618   7 years campbell Tidy up measurable a little.
(add) @2597   7 years campbell Some work in progress on measurable subtrace preservation.
Note: See TracRevisionLog for help on using the revision log.