#
# ChangeLog for src/Clight/test/sum.test.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 9:08:10 AM

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


Wed, 14 Dec 2011 17:17:53 GMT campbell [1618]
	* src/Clight/addRuntime.ma (modified)
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/test/sum.test.ma (modified)

	Minor updates due to recent changes.


Tue, 13 Dec 2011 00:34:37 GMT sacerdot [1599]
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/JMCoercions.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/String.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/casts.ma (modified)
	* src/Clight/test/search.c.ma (modified)
	* src/Clight/test/sum.test.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/common/AssocList.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/Floats.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/SmallstepExec.ma (modified)
	* src/joint/BEGlobalenvs.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/utilities/Coqlib.ma (modified)
	* src/utilities/adt/priority_set_adt.ma (modified)
	* src/utilities/adt/set_adt.ma (modified)
	* src/utilities/adt/table_adt.ma (modified)
	* src/utilities/binary/division.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/pair.ma (deleted)

	Start of merging of stuff into the standard library of Matita.


Mon, 10 Oct 2011 10:41:50 GMT campbell [1332]
	* src/Clight/test/sum.test.ma (modified)

	Summation example updated (needs computational K).


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.