#
# ChangeLog for src/LTL/LTLToLIN.ma
#
# Generated by Trac 1.2
# Jan 19, 2021, 5:18:26 PM

Wed, 24 Aug 2011 16:45:01 GMT mulligan [1110]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)

	changes to get ltl to lin pass to work properly


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


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.


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.


Thu, 31 Mar 2011 15:53:16 GMT mulligan [728]
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLINI.ma (modified)
	* src/common/Graphs.ma (modified)

	Changes from last two days.


Wed, 30 Mar 2011 10:34:25 GMT mulligan [723]
	* src/CHANGES (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)

	Added dependent type internalising the invariant that LIN function ...


Tue, 29 Mar 2011 16:32:47 GMT mulligan [722]
	* src/ASM/ASM.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLINI.ma (modified)
	* src/common/AST.ma (modified)

	Committing changes from today.  Several files do not typecheck.


Tue, 29 Mar 2011 12:29:12 GMT mulligan [716]
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLINI.ma (added)

	Finished translating LTL statements to LIN statements.  Need to ...


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


Tue, 29 Mar 2011 10:24:45 GMT mulligan [714]
	* src/ASM/ASM.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (added)
	* src/common/AST.ma (modified)

	Work on translation from LTL to LIN.