#
# ChangeLog for src/Clight/test/switcher.test.ma
#
# Generated by Trac 1.2
# Mar 8, 2021, 3:44:48 PM

Wed, 04 Apr 2012 16:48:26 GMT campbell [1876]
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/test/castremoval.test.ma (modified)
	* src/Clight/test/duff.test.ma (modified)
	* src/Clight/test/factorial.test.ma (modified)
	* src/Clight/test/null-op.test.ma (modified)
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/test/sum.test.ma (modified)
	* src/Clight/test/switcher.test.ma (modified)
	* src/common/Animation.ma (modified)

	Update Cexec soundness proof.
	Change finishes_with predicate to ...


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.