#
# ChangeLog for src/LIN
#
# Generated by Trac 1.2
# Feb 28, 2021, 10:38:57 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.


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, 01 Apr 2011 14:14:28 GMT mulligan [734]
	* src/LIN/LINToASM.ma (modified)

	Fixed lin2asm.


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.


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


Fri, 18 Mar 2011 13:53:25 GMT mulligan [699]
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/utilities/IdentifierTools.ma (added)
	* src/utilities/StringTools.ma (deleted)

	More or less finished formalisation of LIN.


Fri, 18 Mar 2011 12:47:53 GMT mulligan [698]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/String.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)
	* src/utilities/StringTools.ma (modified)

	Commit with changes to files to get our files to typecheck.


Fri, 18 Mar 2011 12:01:58 GMT mulligan [696]
	* src/ASM/I8051.ma (added)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/root (added)

	Added missing I8051 file and completed most of LIN formalisation.


Fri, 18 Mar 2011 10:36:15 GMT mulligan [691]
	* src/LIN/LINToASM.ma (copied)
	* src/common (copied)
	* src/utilities (copied)

	More movement of files within the repository.


Fri, 18 Mar 2011 10:31:32 GMT mulligan [688]
	* Deliverables/D4.1/Demo-March-2011 (deleted)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (deleted)
	* src (added)
	* src/ASM (moved)
	* src/LIN (moved)
	* src/LIN/LIN.ma (copied)

	Fixed local conflicts.  Restructured svn repository.


Thu, 10 Feb 2011 14:28:59 GMT mulligan [491]
	* Deliverables/D4.2-4.3/ASM (added)
	* Deliverables/D4.2-4.3/ASM/I8051.ma (added)
	* Deliverables/D4.2-4.3/LIN (added)
	* Deliverables/D4.2-4.3/LIN/LIN.ma (added)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (added)
	* Deliverables/D4.2-4.3/common (added)
	* Deliverables/D4.2-4.3/common/AST.ma (added)
	* Deliverables/D4.2-4.3/common/CostLabel.ma (added)
	* Deliverables/D4.2-4.3/utilities (added)
	* Deliverables/D4.2-4.3/utilities/BitVectorTrieSet.ma (added)
	* Deliverables/D4.2-4.3/utilities/Compare.ma (added)
	* Deliverables/D4.2-4.3/utilities/StringTools.ma (added)

	Initial commit of (part)-formalisation of LIN intermediate language.