#
# ChangeLog for src/Clight/test/search.c.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 5:14:48 AM

Wed, 21 Sep 2011 14:25:36 GMT campbell [1238]
	* src/Clight/test/search.c.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/RTLabs/semantics.ma (modified)

	Update Cminor and RTLabs to fit SmallstepExec changes.


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


Tue, 30 Aug 2011 10:47:18 GMT campbell [1139]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/test/insertsort.c.ma (modified)
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/test/sum.c.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/Globalenvs.ma (modified)

	Shift init_data out of generic program record so that it only appears ...


Thu, 16 Jun 2011 11:32:19 GMT campbell [978]
	* src/Clight/test/duff.ma (deleted)
	* src/Clight/test/factorial.c.ma (moved)
	* src/Clight/test/io.ma (deleted)
	* src/Clight/test/io2.ma (deleted)
	* src/Clight/test/search.c.ma (added)
	* src/Clight/test/switcher.c.ma (moved)

	Update remaining Clight examples.