#
# ChangeLog for src/RTLabs/CostCheck.ma
#
# Generated by Trac 1.2
# Apr 12, 2021, 7:18:00 PM

Thu, 30 Aug 2012 17:20:43 GMT campbell [2308]
	* src/RTLabs/CostCheck.ma (modified)

	More proof (and corrections) on cost checking.


Thu, 30 Aug 2012 14:47:58 GMT campbell [2307]
	* src/ASM/Util.ma (modified)
	* src/RTLabs/CostCheck.ma (modified)
	* src/RTLabs/CostSpec.ma (modified)
	* src/RTLabs/Traces.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)

	Half the proofs for sound cost labelling check.


Thu, 30 Aug 2012 14:47:54 GMT campbell [2305]
	* src/RTLabs/CostCheck.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)

	RTLabs cost spec checking function implemented (lacks proof, or much ...


Fri, 24 Aug 2012 15:41:18 GMT campbell [2303]
	* src/RTLabs/CostCheck.ma (added)
	* src/RTLabs/CostSpec.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)

	Some preliminary checking of cost labelling properties in RTLabs.