#
# ChangeLog for src/common/FrontEndOps.ma
#
# Generated by Trac 1.2
# Jan 27, 2021, 9:29:42 AM

Wed, 19 Oct 2011 09:54:13 GMT campbell [1410]
	* src/Clight/CexecSound.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/common/FrontEndOps.ma (modified)

	Remove a few old workarounds.


Fri, 14 Oct 2011 08:56:45 GMT campbell [1369]
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Values.ma (modified)

	Put type information into front-end unary ops.
	Slight change to ...


Wed, 15 Jun 2011 14:15:54 GMT campbell [962]
	* src/Clight/toCminor.ma (modified)
	* src/common/FrontEndOps.ma (modified)

	Casts should use source type's signedness, not the target's.


Wed, 15 Jun 2011 14:15:52 GMT campbell [961]
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/BitVector.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/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/Clight/casts.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/memorymodel.ma (modified)
	* src/Clight/test/search.ma (modified)
	* src/Clight/test/sum.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/Floats.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IO.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/extranat.ma (modified)

	Use precise bitvector sizes throughout the front end, rather than ...


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


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


Thu, 31 Mar 2011 15:20:00 GMT campbell [727]
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/common/FrontEndOps.ma (modified)

	Enough fixes to let an RTLabs program run.


Mon, 21 Mar 2011 17:27:22 GMT campbell [702]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Registers.ma (modified)
	* src/common/SmallstepExec.ma (modified)

	Refine small-step executable semantics abstraction a little.
	Some ...


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.