#
# ChangeLog for src/BACKEND_BROKEN_FILES
#
# Generated by Trac 1.2
# Mar 4, 2021, 5:51:56 PM

Tue, 12 Feb 2013 01:47:18 GMT sacerdot [2659]
	* src/BACKEND_BROKEN_FILES (modified)
	* src/RTL/RTLTailcall.ma (deleted)
	* src/RTL/RTLToERTL.ma (modified)

	Tailcall elimination no longer necessary:
	 1. the back-end is almost ...


Tue, 12 Feb 2013 01:43:21 GMT sacerdot [2658]
	* src/BACKEND_BROKEN_FILES (modified)

	...


Mon, 11 Feb 2013 17:58:13 GMT sacerdot [2656]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)

	Ported to tailcalls (currently nothing is classified as a tailcall).


Thu, 07 Feb 2013 20:22:22 GMT sacerdot [2645]
	* src/ASM/ASM.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/Char.ma (deleted)
	* src/ASM/I8051.ma (modified)
	* src/BACKEND_BROKEN_FILES (added)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/test/addptrcharboth.test.ma (modified)
	* src/Clight/test/badconditional.test.ma (modified)
	* src/Clight/test/controlflow.test.ma (modified)
	* src/Clight/test/endptr.test.ma (modified)
	* src/Clight/test/endptr2.test.ma (modified)
	* src/Clight/test/forcont.test.ma (modified)
	* src/Clight/test/goto-if.test.ma (modified)
	* src/Clight/test/implicit.test.ma (modified)
	* src/Clight/test/implicitcond.test.ma (modified)
	* src/Clight/test/sum.test.ma (modified)
	* src/Clight/test/trivial.test.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/Cminor_semantics.ma (modified)
	* src/Cminor/Cminor_syntax.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTLptr/ERTLptr.ma (modified)
	* src/ERTLptr/ERTLtoERTLptrOK.ma (modified)
	* src/LIN/joint_LTL_LIN.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/RTL_semantics.ma (modified)
	* src/RTLabs/RTLabs_semantics.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/BackEndOps.ma (modified)
	* src/common/ByteValues.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/ErrorMessages.ma (added)
	* src/common/Errors.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/IO.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PreIdentifiers.ma (modified)
	* src/common/Registers.ma (modified)
	* src/common/Values.ma (modified)
	* src/compiler.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/String.ma (moved)
	* src/joint/Traces.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)

	1. some broken back-end files repaires, several still to go
	2. the ...