#
# ChangeLog for src/ERTL/liveness.ma
#
# Generated by Trac 1.2
# Mar 1, 2021, 8:41:44 AM

Tue, 30 Aug 2011 13:53:21 GMT mulligan [1144]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/build.ma (added)
	* src/ERTL/liveness.ma (modified)

	added build.ma file.  matita bug found


Mon, 29 Aug 2011 12:42:43 GMT mulligan [1124]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/liveness.ma (modified)

	finished off liveness analysis by axiomatising properties


Wed, 24 Aug 2011 12:43:58 GMT mulligan [1107]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/liveness.ma (modified)
	* src/RTL/RTLtoERTL.ma (modified)

	got rtl-ertl pass working again


Thu, 28 Jul 2011 15:26:06 GMT mulligan [1094]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ERTL/liveness.ma (modified)

	some changes from today to do with liveness analyses


Wed, 27 Jul 2011 15:56:47 GMT mulligan [1090]
	* src/ERTL/liveness.ma (modified)

	small change to liveness analysis


Wed, 27 Jul 2011 15:50:14 GMT mulligan [1088]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/liveness.ma (added)

	work on liveness analysis: an imperative nightmare