#
# ChangeLog for src/Clight/clightPrintMatita.ml
#
# Generated by Trac 1.2
# Mar 2, 2021, 7:08:24 PM

Thu, 12 Jul 2012 11:28:28 GMT campbell [2176]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/ClassifyOp.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Clight/labelSimulation.ma (modified)
	* src/Clight/test/duff.c.ma (modified)
	* src/Clight/test/insertsort.c.ma (modified)
	* src/Clight/test/memorymodel.ma (modified)
	* src/Clight/test/null-op.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/RTL/semantics.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/ByteValues.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/FrontEndVal.ma (modified)
	* src/common/GenMem.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IO.ma (modified)
	* src/common/Pointers.ma (modified)
	* src/common/Values.ma (modified)
	* src/joint/BEMem.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	Remove memory spaces other than XData and Code; simplify pointers as ...


Wed, 04 Jan 2012 18:19:09 GMT campbell [1633]
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/test/factorial.Cminor.ma (added)
	* src/Cminor/test/factorial.ma (deleted)
	* src/Cminor/test/factorial.test.ma (added)
	* src/Cminor/test/null-op.Cminor.ma (modified)
	* src/Cminor/test/null-op.test.ma (added)
	* src/Cminor/test/search.Cminor.ma (modified)
	* src/Cminor/test/search.test.ma (modified)
	* src/Cminor/test/sum-bad.ma (deleted)
	* src/Cminor/test/switcher.ma (deleted)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/acc-matita-printers.patch (modified)

	Update Cminor pretty printer and examples.


Fri, 16 Sep 2011 17:16:44 GMT campbell [1226]
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Clight/test/sum.c.ma (modified)
	* src/Clight/test/sum.test.ma (added)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/test/search.Cminor.ma (modified)
	* src/Cminor/test/search.test.ma (added)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/test/search.RTLabs.ma (modified)
	* src/RTLabs/test/search.test.ma (added)

	Adjust pretty printers for change in program records, try a test of
	each.


Wed, 31 Aug 2011 10:15:39 GMT campbell [1157]
	* src/Clight/clightPrintMatita.ml (modified)
	* src/Clight/test/duff.c.ma (modified)
	* src/Clight/test/factorial.c.ma (modified)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/test/search.Cminor.ma (modified)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/test/search.RTLabs.ma (modified)

	Update pretty printers and examples.


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.


Thu, 05 May 2011 10:48:37 GMT campbell [786]
	* src/Clight/clightPrintMatita.ml (added)

	A version of the clight matita term printer for the current
	prototype.