#
# ChangeLog for src/compiler.ma
#
# Generated by Trac 1.2
# Mar 3, 2021, 10:13:59 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.


Wed, 27 Jun 2012 09:46:36 GMT sacerdot [2116]
	* src/compiler.ma (modified)

	load_code_memory will be moved into Fetch.ma in the next commit. ...


Wed, 06 Jun 2012 16:24:43 GMT campbell [2019]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecInd.ma (added)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/labelSimulation.ma (modified)
	* src/compiler.ma (modified)

	Split out special induction principle for Clight from soundness file. ...


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.


Thu, 24 May 2012 17:18:35 GMT campbell [1995]
	* src/ERTL/liveness.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/compiler.ma (modified)
	* src/joint/TranslateUtils.ma (modified)

	Overall compiler definition; bits and pieces to
	make everything ...


Thu, 24 May 2012 14:24:55 GMT campbell [1991]
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/test/search.test.ma (added)
	* src/compiler.ma (added)

	Put the front end transformations together and make an example use
	it.