#
# ChangeLog for src/utilities/BitVectorTrieSet.ma
#
# Generated by Trac 1.2
# Jan 19, 2021, 1:53:44 PM

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, 08 Apr 2011 09:51:38 GMT mulligan [746]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ERTL/Liveness.ma (modified)
	* src/ERTL/Uses.ma (modified)
	* src/ERTL/VariableSet.ma (added)
	* src/common/Graphs.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)

	Changes to bitvectortrieset: equality on sets.  Added new file for ...


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 10:36:15 GMT mulligan [691]
	* src/LIN/LINToASM.ma (copied)
	* src/common (copied)
	* src/utilities (copied)

	More movement of files within the 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.