#
# ChangeLog for src/correctness.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 10:22:54 AM

Wed, 18 Jul 2012 10:27:01 GMT campbell [2205]
	* src/LTL/LTLToLIN.ma (modified)
	* src/compiler.ma (modified)
	* src/correctness.ma (modified)

	Get correctness.ma type checking again.


Tue, 03 Jul 2012 09:30:37 GMT campbell [2150]
	* src/correctness.ma (modified)

	Add labelling result to the correctness file.


Mon, 28 May 2012 12:35:19 GMT campbell [2004]
	* src/correctness.ma (modified)

	Minor edits from discussion.


Mon, 28 May 2012 11:10:50 GMT campbell [2003]
	* src/correctness.ma (modified)

	Some discussion of correctness statements.


Fri, 25 May 2012 11:47:32 GMT campbell [2001]
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/compiler.ma (modified)
	* src/correctness.ma (modified)

	Get the compiler to output more.


Fri, 25 May 2012 07:18:04 GMT campbell [1996]
	* src/ASM/Interpret2.ma (modified)
	* src/correctness.ma (added)

	Work on correctness from yesterday.