#
# ChangeLog for src/RTL/RTL.ma
#
# Generated by Trac 1.2
# Jan 19, 2021, 5:10:29 PM

Fri, 15 Jul 2011 12:40:40 GMT mulligan [1071]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/RTLabs/syntax.ma (modified)

	changes the specific form that the added proofs take to use None, not ...


Thu, 14 Jul 2011 12:27:41 GMT mulligan [1068]
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/common/Identifiers.ma (modified)

	rtlabs translation complete subject to axioms


Wed, 13 Jul 2011 15:12:10 GMT mulligan [1066]
	* src/ASM/I8051.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/utilities/Compare.ma (modified)

	changes from today


Tue, 12 Jul 2011 15:52:07 GMT mulligan [1064]
	* src/ASM/Util.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/common/AST.ma (modified)

	changes from today, nearly complete rtlabs translation pass


Fri, 08 Jul 2011 15:49:22 GMT mulligan [1061]
	* src/ASM/Util.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)

	more work, bug found, ridiculous map3 function with dep. types added


Fri, 08 Jul 2011 10:17:14 GMT mulligan [1060]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/common/AST.ma (modified)

	work from this morning and yesterday


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.


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


Fri, 15 Apr 2011 11:29:16 GMT mulligan [754]
	* src/RTL (added)
	* src/RTL/RTL.ma (added)

	Syntax of RTL.