#
# ChangeLog for src/RTLabs/test
#
# Generated by Trac 1.2
# Mar 9, 2021, 3:36:01 AM

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:57 GMT campbell [967]
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/test/search.RTLabs.ma (modified)
	* src/RTLabs/test/sum.RTLabs.ma (modified)

	Update RTLabs pretty printer and examples.


Wed, 08 Jun 2011 11:14:55 GMT campbell [898]
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/test/null-op.Cminor.ma (added)
	* src/Cminor/test/null-op.ma (deleted)
	* src/Cminor/test/search.Cminor.ma (added)
	* src/Cminor/test/search.ma (deleted)
	* src/Cminor/test/sum.ma (deleted)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/test/search.RTLabs.ma (added)
	* src/RTLabs/test/sum.RTLabs.ma (added)

	Update pretty printers and examples.


Fri, 03 Jun 2011 15:35:30 GMT campbell [879]
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/test/factorial.ma (modified)
	* src/Cminor/test/null-op.ma (modified)
	* src/Cminor/test/search.ma (modified)
	* src/Cminor/test/sum-bad.ma (modified)
	* src/Cminor/test/sum.ma (modified)
	* src/Cminor/test/switcher.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/RTLabs/test/search.ma (modified)
	* src/RTLabs/test/sum.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/IO.ma (modified)

	Refine "AST" types to include size/signedness information.


Thu, 19 May 2011 13:06:42 GMT campbell [816]
	* src/CHANGES (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/test/search.ma (modified)
	* src/Clight/toCminor.ma (added)
	* src/Cminor/cminorMatitaPrinter.ml (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/test/factorial.ma (modified)
	* src/Cminor/test/search.ma (modified)
	* src/Cminor/test/switcher.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/RTLabs/test/search.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/lists.ma (modified)

	Clight to Cminor compilation, modulo switch statements, temporary ...


Wed, 20 Apr 2011 15:39:00 GMT campbell [765]
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/RTLabs/test/search.ma (modified)
	* src/RTLabs/test/sum.ma (added)

	Remove superfluous register in RTLabs return statements.

	Also fix ...


Tue, 12 Apr 2011 10:32:33 GMT campbell [750]
	* src/CHANGES (modified)
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/test/search.ma (modified)

	Track some of the changes to the prototype in RTLabs.

	Just one ...


Mon, 04 Apr 2011 15:13:09 GMT campbell [737]
	* src/Clight/AST.ma (modified)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/test/search.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Identifiers.ma (modified)

	Use more abstract identifiers in Clight / RTLabs.


Fri, 01 Apr 2011 11:35:18 GMT campbell [731]
	* src/Clight/Cexec.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/RTLabs/RTLabs-sem.ma (modified)
	* src/RTLabs/test (added)
	* src/RTLabs/test/search.ma (added)
	* src/common/Animation.ma (moved)
	* src/common/IO.ma (added)
	* src/common/SmallstepExec.ma (modified)

	Common definition for animation semantics, and factor out IO
	definitions.