#
# ChangeLog for src/BACKEND_BROKEN_FILES
#
# Generated by Trac 1.2
# Feb 28, 2021, 11:42:44 AM

Fri, 01 Mar 2013 09:26:31 GMT sacerdot [2754]
	* src/ASM/ASM.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/CodeMemory.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/compiler.ma (modified)

	1. WARNING: I commented out one of James's function used in ...


Fri, 22 Feb 2013 22:41:04 GMT sacerdot [2715]
	* src/BACKEND_BROKEN_FILES (modified)

	Policy.ma repaired


Fri, 22 Feb 2013 21:39:26 GMT sacerdot [2713]
	* src/ASM/PolicyFront.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)

	PolicyFront.ma repaired


Fri, 22 Feb 2013 18:23:24 GMT sacerdot [2711]
	* src/BACKEND_BROKEN_FILES (modified)

	...


Fri, 22 Feb 2013 18:20:24 GMT sacerdot [2710]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/WellLabeled.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)

	ASMCosts.ma repaired


Fri, 22 Feb 2013 16:56:31 GMT sacerdot [2705]
	* src/ASM/ASM.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)
	* src/compiler.ma (modified)

	More progress in ASM towards implementing the new pseudoinstructions.


Fri, 22 Feb 2013 10:39:03 GMT sacerdot [2693]
	* src/BACKEND_BROKEN_FILES (modified)
	* src/ERTLptr/ERTLptrToLTL.ma (moved)
	* src/ERTLptr/Interference.ma (moved)
	* src/ERTLptr/liveness.ma (moved)
	* src/compiler.ma (modified)

	1. Stuff moved to correct places.
	2. ERTLptr pass added


Tue, 12 Feb 2013 02:26:37 GMT sacerdot [2661]
	* src/BACKEND_BROKEN_FILES (modified)
	* src/joint/stacksize.ma (modified)

	stacksize "repaired" by "considering" tailcalls
	Some daemons added ...


Tue, 12 Feb 2013 02:06:22 GMT sacerdot [2660]
	* src/BACKEND_BROKEN_FILES (modified)

	...


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 ...