#
# ChangeLog for src/Clight/TypeComparison.ma
#
# Generated by Trac 1.2
# Jan 24, 2021, 8:15:52 AM

Wed, 04 Apr 2012 16:48:23 GMT campbell [1872]
	* src/Clight/ClassifyOp.ma (added)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/TypeComparison.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/RTLabs/syntax.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Values.ma (modified)

	Make binary operations in Cminor/RTLabs properly typed.
	A few extra ...


Fri, 18 Nov 2011 12:03:14 GMT campbell [1515]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Erase.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/StatusProofs.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/fresh.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/insertsort.test.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (added)
	* src/common/PreIdentifiers.ma (modified)
	* src/joint/Erasure.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/extranat.ma (modified)

	Add type of maps on positive binary numbers, and use them for ...


Tue, 18 Oct 2011 10:39:11 GMT ricciott [1401]
	* src/Clight/TypeComparison.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/common/AST.ma (modified)

	Changes concerning the new behavior of destruct.


Tue, 11 Oct 2011 10:45:16 GMT sacerdot [1352]
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	This commit is made necessary by the last Matita change.
	Inclusion ...


Tue, 11 Oct 2011 00:27:53 GMT sacerdot [1350]
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/common/AST.ma (modified)
	* src/utilities/extralib.ma (modified)

	Porting to latest destruct tactic.

	Note: the tactics has a few ...


Thu, 08 Sep 2011 14:04:07 GMT campbell [1198]
	* src/CHANGES (modified)
	* src/Clight/SimplifyCasts.ma (added)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/test/castremoval.c (added)
	* src/Clight/test/castremoval.c.ma (added)
	* src/Clight/test/sum.c.ma (modified)

	Clight cast removal (NB: quite different from the prototype).


Tue, 07 Jun 2011 14:53:53 GMT campbell [891]
	* src/ASM/BitVectorZ.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Smallstep.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/binary/Z.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)

	Revise proofs affected by recent matita change.


Fri, 03 Jun 2011 15:35:32 GMT campbell [882]
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/common/AST.ma (modified)
	* src/utilities/extralib.ma (modified)

	Fix up fragile proofs for current version of matita.


Fri, 03 Jun 2011 15:35:31 GMT campbell [880]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/TypeComparison.ma (added)
	* 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/common/AST.ma (modified)

	Add type information into Cminor.
	As a result, the Clight to Cminor ...