#
# ChangeLog for src/utilities/state.ma
#
# Generated by Trac 1.2
# Apr 12, 2021, 5:35:25 PM

Mon, 21 May 2012 17:04:21 GMT tranquil [1976]
	* src/ASM/CostsProof.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/as_semantics.ma (added)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/bind_new.ma (added)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/permutations.ma (added)
	* src/utilities/state.ma (modified)

	* monads: just changed some defs, which had to be propagated in some ...


Fri, 06 Apr 2012 18:02:10 GMT tranquil [1882]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/LabelledObjects.ma (added)
	* src/common/Pointers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/joint/BEMem.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (modified)
	* src/joint/blocks.ma (added)
	* src/joint/semanticsUtils_paolo.ma (modified)
	* src/joint/semantics_blocks.ma (added)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/bindLists.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/state.ma (modified)
	* src/utilities/trace.ma (modified)

	big update, alas incomplete:
	joint changed a bit, and all BE ...


Tue, 17 Jan 2012 12:13:08 GMT tranquil [1647]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/utilities/bindLists.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/state.ma (modified)

	* corrected some notation problems
	* adapted Cligth with slight ...


Fri, 06 Jan 2012 23:33:17 GMT tranquil [1635]
	* Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified)
	* src/ASM/BitVector.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/RTL/RTL_paolo.ma (added)
	* src/RTLabs/RTLabsToRTL_paolo.ma (added)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/joint/Joint_paolo.ma (added)
	* src/joint/TranslateUtils_paolo.ma (added)
	* src/utilities/bindLists.ma (added)
	* src/utilities/monad.ma (added)
	* src/utilities/option.ma (added)
	* src/utilities/proper.ma (added)
	* src/utilities/setoids.ma (added)
	* src/utilities/state.ma (added)
	* src/utilities/trace.ma (added)

	* lists with binders and monads
	* Joint.ma and other temprarily ...