#
# ChangeLog for src/ERTL
#
# Generated by Trac 1.2
# Mar 4, 2021, 5:53:09 AM

Fri, 03 Jun 2011 15:35:27 GMT campbell [878]
	* src/Cminor/syntax.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/syntax.ma (modified)

	Removal of manually inserted record projections.


Fri, 29 Apr 2011 11:36:35 GMT mulligan [783]
	* src/ERTL/ERTL.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)

	rtl to ertl pass complete (modulo some straightforward axioms that ...


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.


Mon, 18 Apr 2011 15:32:46 GMT mulligan [759]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)

	More work on the RTL to ERTL pass.


Mon, 18 Apr 2011 10:30:53 GMT mulligan [757]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/Registers.ma (modified)

	Lots more fixing to get both front and backends using same ...


Fri, 15 Apr 2011 15:47:32 GMT mulligan [756]
	* src/ERTL/Build.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/ERTL/Uses.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLtoERTL.ma (added)

	Made a start on RTL.  Renaming in ERTL and below to move closer to ...


Thu, 14 Apr 2011 15:54:37 GMT mulligan [753]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LTL/Branch.ma (deleted)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)

	Work from today.


Thu, 14 Apr 2011 12:23:30 GMT mulligan [752]
	* src/ERTL/ERTLToLTL.ma (modified)

	Fixed error in BitVectorTrieSet file.


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


Fri, 08 Apr 2011 08:15:30 GMT mulligan [745]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/ERTL/Uses.ma (added)

	Changes from yesterday.  Slowly implementing the functorized ...


Fri, 01 Apr 2011 16:12:57 GMT mulligan [735]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/utilities/IdentifierTools.ma (modified)

	Changes from today


Fri, 01 Apr 2011 14:09:51 GMT mulligan [733]
	* src/ERTL (added)
	* src/ERTL/Build.ma (added)
	* src/ERTL/ERTL.ma (added)
	* src/ERTL/ERTLToLTL.ma (added)
	* src/ERTL/Liveness.ma (added)
	* src/LIN/JointLTLLIN.ma (added)
	* src/LTL/Branch.ma (added)
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLINI.ma (deleted)
	* src/utilities/UnionFind.ma (added)

	Fixed partial commit.