#
# ChangeLog for src/CHANGES
#
# Generated by Trac 1.2
# Mar 3, 2021, 1:08:50 AM

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


Tue, 26 Apr 2011 14:51:44 GMT campbell [774]
	* src/CHANGES (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/FrontEndOps.ma (modified)

	Separate out the different forms of addition and subtraction in the ...


Tue, 26 Apr 2011 14:51:42 GMT campbell [773]
	* src/CHANGES (modified)

	Report a couple of minor changes from the prototype compiler.


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:16:03 GMT campbell [739]
	* src/CHANGES (modified)

	Note on identifiers in CHANGES.


Fri, 01 Apr 2011 10:03:31 GMT campbell [730]
	* src/CHANGES (modified)

	A few deviations from the prototype / CompCert that I can think of ...


Wed, 30 Mar 2011 10:34:25 GMT mulligan [723]
	* src/CHANGES (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)

	Added dependent type internalising the invariant that LIN function ...


Tue, 29 Mar 2011 16:22:19 GMT mulligan [721]
	* src/CHANGES (added)

	Added diary of changes to project files.