#
# ChangeLog for src/ASM/UtilBranch.ma
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:06:59 AM

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