#
# ChangeLog for src/RTLabs/Traces.ma
#
# Generated by Trac 1.2
# Jan 24, 2021, 12:23:53 AM

Fri, 02 Dec 2011 12:02:08 GMT campbell [1583]
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/StructuredTraces.ma (modified)

	More on RTLabs structured traces.
	Fixed mistake in structure trace ...


Mon, 28 Nov 2011 16:57:47 GMT campbell [1574]
	* src/RTLabs/Traces.ma (modified)
	* src/common/StructuredTraces.ma (modified)

	A little more progress on traces on RTLabs.


Fri, 25 Nov 2011 16:30:20 GMT campbell [1565]
	* src/RTLabs/Traces.ma (modified)

	Note that RTLabs ought to classify branches as "jumps" (in the ...


Fri, 25 Nov 2011 12:49:27 GMT campbell [1563]
	* src/RTLabs/Traces.ma (modified)

	A little progress on constructing RTLabs structured traces.


Thu, 24 Nov 2011 17:49:51 GMT campbell [1559]
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)

	Add a notion of flat traces with evidence for RTLabs.


Thu, 24 Nov 2011 11:12:32 GMT campbell [1552]
	* src/RTLabs/Traces.ma (modified)

	Update RTLabs structured trace definition.


Wed, 23 Nov 2011 11:27:55 GMT campbell [1537]
	* src/RTLabs/Traces.ma (added)

	A preliminary definition of the abstract status record for RTLabs.