Timestamp:
Nov 28, 2012, 12:52:12 PM (7 years ago)
Author:
campbell
Message:

Separate out the RTLabs abstract status record from the proofs about
structured traces. Tidy up "next instruction" references from
the semantics.

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.