source: src/common/

Revision Log Mode:


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