#
# ChangeLog for src/joint/semanticsUtils.ma
#
# Generated by Trac 1.2
# Apr 11, 2021, 4:58:25 PM

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