#
# ChangeLog for src/joint/Traces.ma
#
# Generated by Trac 1.2
# Apr 10, 2021, 4:06:52 PM

Thu, 22 Nov 2012 17:40:31 GMT piccolo [2484]
	* src/joint/Traces.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)

	fixed Traces and semantics
	added commutation record (not yet ...


Tue, 20 Nov 2012 17:40:08 GMT piccolo [2481]
	* src/joint/Traces.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)

	corrected some inconsistencies
	fixed some of lineariseProof


Tue, 20 Nov 2012 12:41:58 GMT tranquil [2477]
	* src/common/StatusSimulation.ma (modified)
	* src/joint/Traces.ma (modified)

	status_simulation reformulated
	definition of joint_classify split up ...


Fri, 16 Nov 2012 17:59:24 GMT tranquil [2473]
	* src/common/extraGlobalenvs.ma (added)
	* src/joint/Traces.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semantics.ma (modified)

	put some generic stuff we need in the back end in extraGlobalenvs ...


Thu, 15 Nov 2012 18:06:45 GMT tranquil [2470]
	* src/common/ByteValues.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)

	completely separated program counters from code pointers in joint ...


Tue, 13 Nov 2012 10:30:23 GMT tranquil [2457]
	* src/common/StatusSimulation.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semanticsUtils.ma (moved)

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


Thu, 08 Nov 2012 13:27:54 GMT tranquil [2443]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/common/ByteValues.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/utilities/deqsets.ma (modified)
	* src/utilities/lists.ma (modified)

	changed joint's stack pointer and internal stack


Wed, 07 Nov 2012 17:12:20 GMT piccolo [2442]
	* src/joint/Traces.ma (modified)
	* src/joint/lineariseProof.ma (added)

	Traces repaired. (By Paolo)
	Statement of lineariseProof in place.


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


Thu, 02 Aug 2012 13:18:11 GMT tranquil [2286]
	* src/ASM/I8051.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/ERTLToLTL_paolo.ma (deleted)
	* src/ERTL/ERTL_paolo.ma (deleted)
	* src/ERTL/Interference.ma (modified)
	* src/ERTL/Interference_paolo.ma (deleted)
	* src/ERTL/liveness.ma (modified)
	* src/ERTL/liveness_paolo.ma (deleted)
	* src/ERTL/semantics.ma (modified)
	* src/ERTL/semantics_paolo.ma (deleted)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/LIN_paolo.ma (deleted)
	* src/LIN/joint_LTL_LIN.ma (modified)
	* src/LIN/joint_LTL_LIN_paolo.ma (deleted)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics_paolo.ma (deleted)
	* src/LIN/semantics.ma (modified)
	* src/LIN/semantics_paolo.ma (deleted)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/LTL/LTLToLIN_paolo.ma (deleted)
	* src/LTL/LTL_paolo.ma (deleted)
	* src/LTL/semantics.ma (modified)
	* src/LTL/semantics_paolo.ma (deleted)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLTailcall.ma (modified)
	* src/RTL/RTLTailcall_paolo.ma (deleted)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTL/RTLToERTL_paolo.ma (deleted)
	* src/RTL/RTL_paolo.ma (deleted)
	* src/RTL/semantics.ma (modified)
	* src/RTL/semantics_paolo.ma (deleted)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (deleted)
	* src/common/AST.ma (modified)
	* src/common/BackEndOps.ma (added)
	* src/common/ByteValues.ma (modified)
	* src/common/ByteValues_paolo.ma (deleted)
	* src/common/FrontEndVal.ma (modified)
	* src/common/Registers.ma (modified)
	* src/compiler.ma (modified)
	* src/joint/BEMem.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/Joint_paolo.ma (deleted)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (deleted)
	* src/joint/blocks.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/joint/semanticsUtils_paolo.ma (deleted)
	* src/joint/semantics_paolo.ma (deleted)
	* src/utilities/extranat.ma (modified)

	Big update!

	* merge of all _paolo variants
	* reorganised some ...


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


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