#
# ChangeLog for src/ASM/FoldStuff.ma
#
# Generated by Trac 1.2
# Mar 1, 2021, 8:51:32 AM

Tue, 13 Dec 2011 12:41:08 GMT sacerdot [1600]
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/Erase.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/JMCoercions.ma (deleted)
	* src/ASM/Status.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/utilities/Compare.ma (deleted)
	* src/utilities/Coqlib.ma (modified)
	* src/utilities/deppair.ma (deleted)
	* src/utilities/lists.ma (deleted)
	* src/utilities/option.ma (deleted)
	* src/utilities/sigma.ma (deleted)

	utilities and ASM ported to the new standard library


Mon, 12 Dec 2011 16:53:36 GMT mulligan [1598]
	* src/ASM/Fetch.ma (modified)
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/common/Errors.ma (modified)
	* src/utilities/pair.ma (modified)

	changes over the last couple of days


Mon, 11 Jul 2011 12:09:03 GMT mulligan [1062]
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/JMCoercions.ma (added)
	* src/ASM/Util.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)

	separated jmeq and coercions from foldstuff.ma in order to fix the ...


Tue, 21 Jun 2011 00:02:37 GMT sacerdot [1014]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/StatusProofs.ma (added)

	The main theorem is completely broken (again).


Fri, 17 Jun 2011 11:30:01 GMT sacerdot [990]
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/FoldStuff.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/Util.ma (modified)

	Do no longer use the daemon automatically :-)


Thu, 16 Jun 2011 12:37:58 GMT boender [980]
	* src/ASM/FoldStuff.ma (added)

	- displaced some lemmas (jmeq) from AssemblyProof