#
# ChangeLog for src/ASM/Erase.ma
#
# Generated by Trac 1.2
# Dec 13, 2019, 2:48:18 PM

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


Fri, 18 Nov 2011 12:03:14 GMT campbell [1515]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Erase.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/StatusProofs.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/fresh.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/insertsort.test.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (added)
	* src/common/PreIdentifiers.ma (modified)
	* src/joint/Erasure.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/extranat.ma (modified)

	Add type of maps on positive binary numbers, and use them for ...


Tue, 25 Oct 2011 15:33:53 GMT mulligan [1463]
	* src/ASM/Erase.ma (modified)
	* src/ERTL/liveness.ma (modified)
	* src/joint/ProofUtils.ma (modified)
	* src/utilities/adt/set_adt.ma (modified)

	added erasure for lin


Mon, 24 Oct 2011 15:56:55 GMT mulligan [1461]
	* src/ASM/Erase.ma (modified)

	rewrote erasure for assembly programs


Mon, 24 Oct 2011 14:53:41 GMT mulligan [1460]
	* src/ASM/Erase.ma (added)

	most of cost label erasure for assembly language complete, with one ...