#
# ChangeLog for src/joint/semanticsUtils_paolo.ma
#
# Generated by Trac 1.2
# Apr 19, 2021, 9:21:55 AM

Thu, 19 Jul 2012 12:42:02 GMT tranquil [2214]
	* src/ERTL/ERTLToLTL_paolo.ma (modified)
	* src/ERTL/ERTL_paolo.ma (modified)
	* src/ERTL/liveness_paolo.ma (modified)
	* src/LIN/LIN_paolo.ma (modified)
	* src/LIN/joint_LTL_LIN_paolo.ma (modified)
	* src/LTL/LTL_paolo.ma (modified)
	* src/RTL/RTLTailcall_paolo.ma (modified)
	* src/RTL/RTLToERTL_paolo.ma (modified)
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semanticsUtils_paolo.ma (modified)
	* src/joint/semantics_paolo.ma (modified)

	* changed order of parameters of joint_internal_function and genv in ...


Wed, 18 Jul 2012 11:26:43 GMT tranquil [2208]
	* src/ERTL/ERTLToLTL_paolo.ma (modified)
	* src/ERTL/ERTL_paolo.ma (modified)
	* src/ERTL/liveness_paolo.ma (modified)
	* src/ERTL/semantics_paolo.ma (added)
	* src/LIN/joint_LTL_LIN_paolo.ma (modified)
	* src/LTL/LTL_paolo.ma (modified)
	* src/RTL/RTLToERTL_paolo.ma (modified)
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/semanticsUtils_paolo.ma (modified)

	* moving some code around
	* changed immediates to hold beval in ...


Tue, 17 Jul 2012 16:00:03 GMT tranquil [2200]
	* src/ASM/BitVectorZ.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semanticsUtils_paolo.ma (modified)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/hide.ma (added)

	* updated joint semantics: generation of linear and graph semantics ...


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


Wed, 11 Jan 2012 19:03:53 GMT tranquil [1641]
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTL/semantics_paolo.ma (added)
	* src/joint/semanticsUtils_paolo.ma (added)
	* src/joint/semantics_paolo.ma (modified)

	* semanticsUtils_paolo.ma contains code to generate both graph and ...