#
# ChangeLog for src/Clight/test/insertsort.c.ma
#
# Generated by Trac 1.2
# Feb 27, 2021, 6:19:26 PM

Thu, 17 Nov 2011 15:50:46 GMT campbell [1513]
	* src/Clight/test/castremoval.c.ma (modified)
	* src/Clight/test/castremoval.test.ma (added)
	* src/Clight/test/duff.c.ma (modified)
	* src/Clight/test/duff.test.ma (added)
	* src/Clight/test/factorial.c.ma (modified)
	* src/Clight/test/factorial.test.ma (added)
	* src/Clight/test/insertsort.c.ma (modified)
	* src/Clight/test/insertsort.test.ma (added)
	* src/Clight/test/null-op.c.ma (modified)
	* src/Clight/test/null-op.test.ma (added)
	* src/Clight/test/switcher.c.ma (modified)
	* src/Clight/test/switcher.test.ma (added)

	Fix up Clight examples.


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


Wed, 15 Jun 2011 14:15:56 GMT campbell [965]
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Clight/test/duff.c.ma (added)
	* src/Clight/test/insertsort.c (modified)
	* src/Clight/test/insertsort.c.ma (added)
	* src/Clight/test/insertsort.ma (deleted)
	* src/Clight/test/null-op.c.ma (moved)
	* src/Clight/test/search.ma (deleted)
	* src/Clight/test/sum.c.ma (moved)

	Update some Clight examples.