source: src/common/StructuredTraces.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1601   8 years sacerdot Files ported to new version of the standard library.
(edit) @1583   8 years campbell More on RTLabs structured traces. Fixed mistake in structure trace …
(edit) @1574   8 years campbell A little more progress on traces on RTLabs.
(edit) @1544   8 years sacerdot StructuredTraces? inhabited for object code.
(edit) @1536   8 years campbell Use predicates throughout the structured traces.
(edit) @1532   8 years campbell Remove jump classification from structured traces.
(add) @1531   8 years campbell A notion of abstract structured traces.
Note: See TracRevisionLog for help on using the revision log.