#
# ChangeLog for C-semantics/Coqlib.ma
#
# Generated by Trac 1.2
# Mar 4, 2021, 9:39:59 PM

Wed, 13 Oct 2010 10:12:53 GMT campbell [173]
	* C-semantics/Coqlib.ma (modified)
	* C-semantics/extralib.ma (modified)

	Minor changes for newer versions of matita.


Fri, 27 Aug 2010 11:21:50 GMT campbell [24]
	* C-semantics/AST.ma (modified)
	* C-semantics/CexecIO.ma (modified)
	* C-semantics/Coqlib.ma (modified)
	* C-semantics/Csyntax.ma (modified)
	* C-semantics/Globalenvs.ma (modified)
	* C-semantics/IOMonad.ma (added)
	* C-semantics/Mem.ma (modified)
	* C-semantics/SmallstepExec.ma (added)
	* C-semantics/test/transform1.ma (added)

	Separate out IOMonad from the rest of the executable semantics. ...


Tue, 06 Jul 2010 09:53:23 GMT campbell [10]
	* C-semantics/AST.ma (modified)
	* C-semantics/Cexec.ma (modified)
	* C-semantics/Coqlib.ma (modified)
	* C-semantics/Integers.ma (modified)
	* C-semantics/Maps.ma (modified)
	* C-semantics/Mem.ma (modified)
	* C-semantics/binary (added)
	* C-semantics/binary/Z.ma (added)
	* C-semantics/binary/positive.ma (added)
	* C-semantics/extralib.ma (modified)

	Add binary arithmetic libraries, use for integers and identifiers ...


Thu, 27 May 2010 09:47:32 GMT campbell [3]
	* C-semantics (added)
	* C-semantics/AST.ma (added)
	* C-semantics/Coqlib.ma (added)
	* C-semantics/Csem.ma (added)
	* C-semantics/Csyntax.ma (added)
	* C-semantics/Errors.ma (added)
	* C-semantics/Events.ma (added)
	* C-semantics/Floats.ma (added)
	* C-semantics/Globalenvs.ma (added)
	* C-semantics/Integers.ma (added)
	* C-semantics/Maps.ma (added)
	* C-semantics/Mem.ma (added)
	* C-semantics/README (added)
	* C-semantics/Smallstep.ma (added)
	* C-semantics/Values.ma (added)
	* C-semantics/extralib.ma (added)
	* C-semantics/root (added)
	* C-semantics/test (added)
	* C-semantics/test/memorymodel.ma (added)
	* C-semantics/test/trivial.ma (added)

	Import work-in-progress port of the CompCert C semantics to matita.