#
# ChangeLog for src/LTL/LTL.ma
#
# Generated by Trac 1.2
# Apr 16, 2021, 4:54:16 AM

Fri, 02 Sep 2011 09:36:15 GMT sacerdot [1168]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)

	Joint statements parameterized over a record.


Fri, 02 Sep 2011 08:35:24 GMT mulligan [1166]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint (added)
	* src/joint/JointLTLLIN.ma (moved)

	moved joint ltl lin files into their own directory.  more changes to ...


Thu, 01 Sep 2011 14:53:01 GMT mulligan [1164]
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)

	ltl to lin working again, more changes to joint syntax


Thu, 01 Sep 2011 14:23:42 GMT mulligan [1163]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)

	even more streamlining and fixes to get things type checking


Wed, 31 Aug 2011 16:24:03 GMT mulligan [1161]
	* src/ASM/Util.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LTL/LTL.ma (modified)

	changes from today: merged ertl, ltl and lin into one datatype to ...


Mon, 29 Aug 2011 15:30:25 GMT mulligan [1132]
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)

	reunified ltl and lin instruction type, removing lifting in ltl and ...


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


Wed, 27 Jul 2011 15:50:25 GMT mulligan [1089]
	* src/ASM/I8051.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLinterpret.ma (added)

	more changes from earlier in the week


Wed, 20 Jul 2011 15:17:38 GMT mulligan [1082]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/ERTLToLTLI.ma (added)
	* src/ERTL/Liveness.ma (modified)
	* src/ERTL/Uses.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/common/Graphs.ma (modified)

	work from today on ertl -> ltl 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.


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


Tue, 29 Mar 2011 09:48:33 GMT mulligan [713]
	* src/LTL (added)
	* src/LTL/LTL.ma (added)

	Commit of initial LTL files.