#
# ChangeLog for src/common/Mem.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 5:23:18 PM

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.


Wed, 23 Nov 2011 17:03:07 GMT campbell [1545]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Pointers.ma (modified)
	* src/common/Values.ma (modified)

	Use pointer record in front-end.


Mon, 21 Nov 2011 15:29:16 GMT campbell [1523]
	* src/common/Mem.ma (modified)
	* src/utilities/binary/Z.ma (modified)
	* src/utilities/binary/division.ma (added)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)

	Separate out positive and Z definitions from extralib.ma.
	Minor ...


Fri, 18 Nov 2011 23:38:20 GMT sacerdot [1516]
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorTrie.ma (modified)
	* src/ASM/BitVectorZ.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/casts.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/GenMem.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Pointers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/joint/BEValues.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/extranat.ma (modified)
	* src/utilities/lists.ma (modified)

	Ported to syntax of Matita 0.99.1.


Tue, 07 Jun 2011 14:53:53 GMT campbell [891]
	* src/ASM/BitVectorZ.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Smallstep.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/binary/Z.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)

	Revise proofs affected by recent matita change.


Tue, 10 May 2011 15:50:09 GMT campbell [790]
	* src/Cminor/toRTLabs.ma (modified)
	* src/common/Mem.ma (modified)

	A little tidying: get rid of requirement for jmeq in Mem.ma, remove ...


Thu, 07 Apr 2011 16:53:59 GMT campbell [744]
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/AST.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/Coqlib.ma (modified)
	* src/utilities/extranat.ma (added)

	Evict Coq-style integers from common/Integers.ma.

	Make more ...


Tue, 29 Mar 2011 15:54:37 GMT campbell [718]
	* src/Clight/AST.ma (modified)
	* src/Clight/Animation.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Values.ma (modified)

	Add an AST type (i.e., intermediate language type) for pointers.


Fri, 18 Mar 2011 15:28:26 GMT campbell [700]
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorZ.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/AST.ma (modified)
	* src/Clight/Animation.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/CostLabel.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/Floats.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Maps.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Smallstep.ma (modified)
	* src/common/SmallstepExec.ma (modified)
	* src/common/Values.ma (modified)

	Get Clight semantics going again (except for problems CexecEquiv that ...


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.