#
# ChangeLog for src/common/StructuredTraces.ma
#
# Generated by Trac 1.2
# Jan 28, 2021, 7:15:06 AM

Tue, 13 Dec 2011 13:49:52 GMT sacerdot [1601]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/BEValues.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	Files ported to new version of the standard library.


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.


Wed, 23 Nov 2011 17:01:15 GMT sacerdot [1544]
	* src/ASM/CostsProof.ma (modified)
	* src/common/StructuredTraces.ma (modified)

	StructuredTraces inhabited for object code.


Wed, 23 Nov 2011 11:07:03 GMT campbell [1536]
	* src/common/StructuredTraces.ma (modified)

	Use predicates throughout the structured traces.


Tue, 22 Nov 2011 15:18:27 GMT campbell [1532]
	* src/common/StructuredTraces.ma (modified)

	Remove jump classification from structured traces.


Tue, 22 Nov 2011 15:18:27 GMT campbell [1531]
	* src/common/StructuredTraces.ma (added)

	A notion of abstract structured traces.