#
# ChangeLog for Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma
#
# Generated by Trac 1.2
# Mar 5, 2021, 2:19:35 AM

Thu, 06 Oct 2011 16:45:54 GMT campbell [1311]
	* Deliverables/D3.3/id-lookup-branch (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM/Arithmetic.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM/Util.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/CHANGES (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Cexec.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/CexecComplete.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/CexecEquiv.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/CexecSound.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Csem.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Csyntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/SimplifyCasts.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/TypeComparison.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/addRuntime.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/clightPrintMatita.ml (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/fresh.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/label.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/castremoval.c (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/castremoval.c.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/runtime.c (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/runtime.c.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/runtime.test.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/search.c.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/sum.c.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/sum.test.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Clight/toCminor.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/cminorMatitaPrinter.ml (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/initialisation.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/syntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/test/search.Cminor.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/test/search.test.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/Cminor/toRTLabs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/Interference.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/ERTL/build.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/ERTL/liveness.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/spill.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/uses.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/LIN/LIN.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/LIN/LINToASM.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/LTL/LTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/LTL/LTLToLIN.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTLTailcall.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTLinterpret.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTLtoERTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/RTLAbstoRTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/syntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/test/search.RTLabs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/test/search.test.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/common/AST.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Animation.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/CostLabel.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Errors.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/GenMem.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/common/Globalenvs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Graphs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/IntValue.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/common/Pointers.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/common/SmallstepExec.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Values.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/joint/BEMem.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/joint/BEValues.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/joint/Joint.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/joint/TranslateUtils.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/joint/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/utilities/Colouring.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/utilities/IdentifierTools.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/utilities/Interference.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/utilities/UnionFind.ma (deleted)
	* Deliverables/D3.3/id-lookup-branch/utilities/adt (copied)
	* Deliverables/D3.3/id-lookup-branch/utilities/sigma.ma (copied)

	Merge trunk to invariants branch, sorting out the handling of ...


Tue, 30 Aug 2011 16:55:12 GMT campbell [1153]
	* Deliverables/D3.3/id-lookup-branch (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM/ASM.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ASM/I8051.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/CHANGES (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Cexec.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/CexecSound.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Csem.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/Csyntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/insertsort.c.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/search.c.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/test/sum.c.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Clight/toCminor.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/initialisation.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/syntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/toRTLabs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/ERTLToLTLI.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/build.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/ERTL/liveness.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/ERTL/semantics.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/ERTL/spill.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/ERTL/uses.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/LIN/JointLTLLIN.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/LIN/LINToASM.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/LTL/LTLToLIN.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/RTLtoERTL.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTL/semantics.ma (copied)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/RTLabs/syntax.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/AST.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Errors.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Globalenvs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Registers.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/utilities/Interference.ma (copied)

	Merge trunk into branch.


Mon, 29 Aug 2011 15:45:04 GMT campbell [1135]
	* Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma (modified)

	Add invariants to Cminor semantics to rule out some failures.


Thu, 04 Aug 2011 11:55:53 GMT campbell [1102]
	* Deliverables/D3.3/id-lookup-branch/Clight/toCminor.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/initialisation.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/Cminor/toRTLabs.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/common/Errors.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/utilities/extralib.ma (modified)
	* Deliverables/D3.3/id-lookup-branch/utilities/lists.ma (modified)

	Tidy up branch


Mon, 25 Jul 2011 10:41:36 GMT campbell [1086]
	* Deliverables/D3.3/id-lookup-branch (copied)

	Branch for experimenting with identifier binding guarantees.


Wed, 15 Jun 2011 14:15:52 GMT campbell [961]
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/casts.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/memorymodel.ma (modified)
	* src/Clight/test/search.ma (modified)
	* src/Clight/test/sum.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/Floats.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IO.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/extranat.ma (modified)

	Use precise bitvector sizes throughout the front end, rather than ...