#
# ChangeLog for src/Clight/test/transform1.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 5:28:05 AM

Wed, 30 Mar 2011 14:16:08 GMT campbell [725]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/test/duff.ma (modified)
	* src/Clight/test/factorial.ma (modified)
	* src/Clight/test/insertsort.ma (modified)
	* src/Clight/test/io.ma (modified)
	* src/Clight/test/io2.ma (modified)
	* src/Clight/test/search.ma (modified)
	* src/Clight/test/transform1.ma (modified)

	Do some light manual disambiguation to make Clight examples go ...


Tue, 29 Mar 2011 15:54:36 GMT campbell [717]
	* src/Clight/Csem.ma (modified)
	* src/Clight/test/duff.ma (modified)
	* src/Clight/test/factorial.ma (modified)
	* src/Clight/test/funptr.ma (deleted)
	* src/Clight/test/insertsort.ma (added)
	* src/Clight/test/io.c.ma (deleted)
	* src/Clight/test/io.ma (added)
	* src/Clight/test/io2.c.ma (deleted)
	* src/Clight/test/io2.ma (added)
	* src/Clight/test/memorymodel.ma (modified)
	* src/Clight/test/search.c (added)
	* src/Clight/test/search.ma (added)
	* src/Clight/test/transform1.ma (modified)
	* src/Clight/test/trivial.ma (deleted)

	Clean up Clight examples; better temporary definition of multiply.


Fri, 18 Mar 2011 11:30:38 GMT campbell [694]
	* src/Clight (moved)

	Start moving Clight into common directory.


Mon, 13 Dec 2010 10:47:21 GMT campbell [405]
	* Deliverables/D3.1/C-semantics (moved)

	Move C semantics to the appropriate deliverable directory.