#
# ChangeLog for src/common/Errors.ma
#
# Generated by Trac 1.2
# Mar 2, 2021, 7:20:19 PM

Thu, 15 Sep 2011 12:27:50 GMT sacerdot [1214]
	* src/common/Errors.ma (modified)
	* src/joint/semantics.ma (modified)

	res_to_opt function added to common/Errors and used in ...


Mon, 29 Aug 2011 13:07:15 GMT sacerdot [1125]
	* src/common/Errors.ma (modified)

	Monadic mfold_left2 added.


Fri, 13 May 2011 11:10:23 GMT campbell [797]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/test/insertsort.ma (modified)
	* src/Clight/test/io.ma (modified)
	* src/Clight/test/io2.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/test/sum-bad.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/debug.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IO.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PreIdentifiers.ma (added)
	* src/common/SmallstepExec.ma (modified)
	* src/common/Values.ma (modified)

	Add error messages wherever the error monad is used.
	Sticks to ...


Wed, 20 Apr 2011 15:38:58 GMT campbell [764]
	* src/ASM/Util.ma (modified)
	* src/Cminor/toRTLabs.ma (added)
	* src/RTLabs/syntax.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Errors.ma (modified)

	Start Cminor to RTLabs phase.

	Includes some syntax for matching ...


Fri, 18 Mar 2011 11:59:56 GMT campbell [695]
	* src/Clight/depends (deleted)
	* src/Clight/root (deleted)
	* src/RTLabs (moved)
	* src/common/Errors.ma (moved)
	* src/common/Events.ma (moved)
	* src/common/Floats.ma (moved)
	* src/common/FrontEndOps.ma (moved)
	* src/common/Globalenvs.ma (moved)
	* src/common/Graphs.ma (moved)
	* src/common/IOMonad.ma (moved)
	* src/common/Integers.ma (moved)
	* src/common/Maps.ma (moved)
	* src/common/Mem.ma (moved)
	* src/common/Registers.ma (moved)
	* src/common/Smallstep.ma (moved)
	* src/common/SmallstepExec.ma (moved)
	* src/common/Values.ma (moved)
	* src/utilities/Coqlib.ma (moved)
	* src/utilities/binary (moved)
	* src/utilities/extralib.ma (moved)

	Rearrange Clight files a bit - will try to make them work again
	soon...


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

	Start moving Clight into common directory.