#
# ChangeLog for src/ASM/UtilBranch.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 9:03:42 PM

Fri, 22 Feb 2013 14:27:16 GMT sacerdot [2702]
	* src/ASM/UtilBranch.ma (modified)
	* src/compiler.ma (modified)
	* src/joint/linearise.ma (modified)

	1. proof closed in ASM/UtilBranch
	2. more passes integrated in the ...


Mon, 14 May 2012 22:01:30 GMT sacerdot [1946]
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/UtilBranch.ma (modified)

	\snd half_add => add everywhere


Wed, 09 May 2012 11:36:35 GMT mulligan [1928]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/UtilBranch.ma (added)
	* src/common/Identifiers.ma (modified)

	Moved code from in ASM/ASMCosts*.ma and ASM/CostsProof.ma that should ...