#
# ChangeLog for src/utilities/RegisterSet.ma
#
# Generated by Trac 1.2
# Feb 27, 2021, 11:17:15 PM

Tue, 06 Sep 2011 13:49:31 GMT mulligan [1193]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/utilities/Colouring.ma (modified)
	* src/utilities/Interference.ma (modified)
	* src/utilities/RegisterSet.ma (modified)

	work on colouring algorithm halted as it can be axiomatised.  now ...


Mon, 18 Jul 2011 15:21:14 GMT mulligan [1075]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)
	* src/utilities/RegisterSet.ma (modified)

	nearly completed rtl -> ertl pass removing all option types with dep. ...


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.


Thu, 28 Apr 2011 08:28:43 GMT mulligan [778]
	* src/utilities/RegisterSet.ma (moved)

	moved register set into correct place


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.