#
# ChangeLog for src/joint/semantics_blocks.ma
#
# Generated by Trac 1.2
# Jan 18, 2021, 10:42:29 PM

Thu, 21 Feb 2013 17:03:46 GMT tranquil [2688]
	* src/ASM/Arithmetic.ma (modified)
	* src/ERTLptr/ERTLtoERTLptr.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	* in Arithmeticcs.ma: commented include that breaks script in latest ...


Mon, 18 Feb 2013 16:48:19 GMT tranquil [2674]
	* src/ERTL/ERTL_semantics.ma (modified)
	* src/ERTLptr/ERTLptr.ma (modified)
	* src/ERTLptr/ERTLtoERTLptr.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/semanticsUtils.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	* another change in block definition
	* RTLabs -> RTL and ERTL -> ...


Mon, 11 Feb 2013 15:52:37 GMT tranquil [2655]
	* src/joint/Joint.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	new step in code semantic lemma


Thu, 31 Jan 2013 16:15:49 GMT tranquil [2599]
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	* map_opt and map on positive maps are now clean (erase empty ...


Wed, 30 Jan 2013 18:25:39 GMT tranquil [2595]
	* src/joint/Joint.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	* dropped locals and exit from definition of joint_if_function
	* new ...


Tue, 04 Dec 2012 17:16:25 GMT tranquil [2529]
	* src/joint/Traces.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)
	* src/joint/semantics_blocks.ma (modified)
	* src/utilities/monad.ma (modified)

	rewritten function handling in joint
	swapped call_rel with ret_rel ...


Tue, 30 Oct 2012 15:23:09 GMT tranquil [2422]
	* src/joint/Joint.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	adapted joint to cl_call f


Wed, 05 Sep 2012 15:17:49 GMT tranquil [2324]
	* src/joint/semantics_blocks.ma (modified)

	semantics of blocks: function to produce trace from execution of ...


Mon, 16 Jul 2012 14:59:09 GMT tranquil [2186]
	* src/RTL/RTL_paolo.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/Traces.ma (moved)
	* src/joint/blocks.ma (modified)
	* src/joint/semantics_blocks.ma (modified)
	* src/joint/semantics_paolo.ma (modified)

	updated joint semantics


Fri, 08 Jun 2012 21:41:58 GMT sacerdot [2043]
	* src/joint/semantics_blocks.ma (modified)

	Broken code commented out.


Fri, 25 May 2012 08:45:15 GMT campbell [1999]
	* src/RTL/semantics.ma (modified)
	* src/RTL/semantics_paolo.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/joint/BEGlobalenvs.ma (deleted)
	* src/joint/semantics.ma (modified)
	* src/joint/semantics_blocks.ma (modified)
	* src/joint/semantics_paolo.ma (modified)

	Make back-end use the main global envs.


Tue, 15 May 2012 15:51:25 GMT tranquil [1949]
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/semantics_blocks.ma (modified)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)

	* lemma trace rel to eq flatten trace
	* some more properties of ...


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