#
# ChangeLog for src/ASM/Util.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 1:13:22 PM

Thu, 28 Apr 2011 15:36:33 GMT mulligan [782]
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/RegisterSet.ma (modified)

	More work on rtl-ertl pass from today, plus resolved conflict.


Wed, 27 Apr 2011 15:25:26 GMT mulligan [777]
	* src/ASM/I8051.ma (modified)
	* src/ASM/RegisterSet.ma (added)
	* src/ASM/Util.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/Uses.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)
	* src/common/Registers.ma (modified)

	Lots of work on RTL to ERTL pass from today.


Wed, 20 Apr 2011 15:38:58 GMT campbell [764]
	* src/ASM/Util.ma (modified)
	* src/Cminor/toRTLabs.ma (added)
	* src/RTLabs/syntax.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Errors.ma (modified)

	Start Cminor to RTLabs phase.

	Includes some syntax for matching ...


Fri, 08 Apr 2011 09:51:38 GMT mulligan [746]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/ERTL/Uses.ma (modified)
	* src/ERTL/VariableSet.ma (added)
	* src/common/Graphs.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)

	Changes to bitvectortrieset: equality on sets.  Added new file for ...


Tue, 29 Mar 2011 11:49:57 GMT mulligan [715]
	* src/ASM/Util.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)

	Restored rev from Util as it appears that list reversal is not a part ...


Mon, 28 Mar 2011 15:40:51 GMT mulligan [712]
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Util.ma (modified)

	Changes to get things to typecheck.


Wed, 23 Mar 2011 01:19:21 GMT sacerdot [704]
	* src/ASM/Util.ma (modified)

	Minor speedup in one theorem (less automation).


Fri, 18 Mar 2011 12:47:53 GMT mulligan [698]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/String.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)
	* src/utilities/StringTools.ma (modified)

	Commit with changes to files to get our files to typecheck.


Fri, 18 Mar 2011 12:28:33 GMT campbell [697]
	* src/ASM (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/BitVectorZ.ma (copied)
	* src/ASM/Char.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/common/Integers.ma (modified)
	* src/utilities/Coqlib.ma (modified)
	* src/utilities/binary/Z.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/oldlib (moved)

	Merge Clight branch of vectors and friends.
	Start making stuff build.


Fri, 18 Mar 2011 10:34:13 GMT mulligan [690]
	* src/ASM/ASM.ma (copied)
	* src/ASM/Arithmetic.ma (copied)
	* src/ASM/BitVector.ma (copied)
	* src/ASM/BitVectorTrie.ma (copied)
	* src/ASM/Char.ma (copied)
	* src/ASM/Fetch.ma (copied)
	* src/ASM/Interpret.ma (copied)
	* src/ASM/Status.ma (copied)
	* src/ASM/String.ma (copied)
	* src/ASM/Util.ma (copied)
	* src/ASM/Vector.ma (copied)
	* src/ASM/new-matita-development (deleted)

	Moved new matita files into correct place.


Fri, 18 Mar 2011 10:31:32 GMT mulligan [688]
	* Deliverables/D4.1/Demo-March-2011 (deleted)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (deleted)
	* src (added)
	* src/ASM (moved)
	* src/LIN (moved)
	* src/LIN/LIN.ma (copied)

	Fixed local conflicts.  Restructured svn repository.