source: src/common/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1902   9 years mulligan Reverted needless changes to StructuredTraces?
(edit) @1901   9 years mulligan Slight changes to StructuredTraces?: should not change too much
(edit) @1880   9 years campbell Show that RTLabs flat traces are determined by their starting state, …
(edit) @1812   10 years campbell Provide a combined type for terminating and non-terminating structured …
(edit) @1808   10 years campbell Create a Prop version of the non-terminating structured traces so that …
(edit) @1806   10 years campbell Show that we could construct RTLabs non-terminating structured traces …
(edit) @1783   10 years campbell Remove junk from non-terminating structured traces.
(edit) @1709   10 years mulligan Changes to the execution of the MOVC instruction
(edit) @1658   10 years mulligan asm costs changes from today
(edit) @1654   10 years campbell Corrections to structured trace definitions (see the mailing list). …
(edit) @1652   10 years campbell Forgot to apply 1583 to non-terminating case.
(edit) @1601   10 years sacerdot Files ported to new version of the standard library.
(edit) @1583   10 years campbell More on RTLabs structured traces. Fixed mistake in structure trace …
(edit) @1574   10 years campbell A little more progress on traces on RTLabs.
(edit) @1544   10 years sacerdot StructuredTraces? inhabited for object code.
(edit) @1536   10 years campbell Use predicates throughout the structured traces.
(edit) @1532   10 years campbell Remove jump classification from structured traces.
(add) @1531   10 years campbell A notion of abstract structured traces.
Note: See TracRevisionLog for help on using the revision log.