#
# ChangeLog for src/Clight/SimplifyCasts.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 1:17:24 PM

Wed, 04 Apr 2012 16:48:24 GMT campbell [1873]
	* src/Clight/SimplifyCasts.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/FrontEndVal.ma (modified)

	Fix up earlier front-end value conversion work.


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, 16 Sep 2011 16:39:05 GMT sacerdot [1224]
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTLabs/RTLAbstoRTL.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IntValue.ma (deleted)

	Type of programs in common/AST made more dependent.
	In particular, ...


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