#
# ChangeLog for src/LIN/semantics.ma
#
# Generated by Trac 1.2
# Apr 17, 2021, 12:55:34 AM

Tue, 13 Dec 2011 13:49:52 GMT sacerdot [1601]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/Traces.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/BEValues.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	Files ported to new version of the standard library.


Sat, 22 Oct 2011 02:18:11 GMT sacerdot [1451]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/TODO (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/utilities/lists.ma (modified)

	1. All axioms in LIN/semantics.ma closed
	2. succ_pc and ...


Wed, 19 Oct 2011 09:30:24 GMT sacerdot [1408]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/joint/BEGlobalenvs.ma (added)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	1. Added joint/BEGlobalenvs that is a modification of ...


Fri, 14 Oct 2011 22:13:23 GMT sacerdot [1383]
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	Potential bug fixed and bug found: the way pointers and labels are ...


Fri, 14 Oct 2011 20:50:56 GMT sacerdot [1382]
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	- succ_pc generalized to return a res (necessary for LIN semantics) ...


Fri, 14 Oct 2011 20:25:03 GMT sacerdot [1380]
	* src/LIN/joint_LTL_LIN_semantics.ma (added)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/joint/Joint.ma (modified)

	LTL and LIN semantics factorized out in joint_LTL_LIN_semantics.ma. ...


Fri, 14 Oct 2011 17:32:21 GMT sacerdot [1378]
	* src/LIN/LIN.ma (modified)
	* src/LIN/joint_LTL_LIN.ma (added)
	* src/LIN/semantics.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/semantics.ma (modified)

	New file LIN/joint_LTL_LIN.ma to factorize out the syntactic ...


Fri, 14 Oct 2011 17:22:59 GMT sacerdot [1377]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	pop_frame now incorporates the fetch_result (that made sense only for ...


Fri, 14 Oct 2011 12:48:34 GMT sacerdot [1372]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	save_frame now takes the stacksize to allow RTL to allocate the stack ...


Fri, 14 Oct 2011 11:42:42 GMT sacerdot [1371]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	save_frame changed to accept also the formal/actual argument pairs, ...


Tue, 11 Oct 2011 16:00:03 GMT sacerdot [1359]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/BEValues.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	1. more work on the RTL semantics
	2. changes to joint/semantics to ...


Fri, 07 Oct 2011 13:32:07 GMT sacerdot [1324]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	The semantics of extended statements must also consider the label ...


Thu, 06 Oct 2011 20:35:29 GMT sacerdot [1312]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	Type of frame operations (pop_frame/save_frame) generalized to take ...


Wed, 05 Oct 2011 23:24:52 GMT sacerdot [1304]
	* src/LIN/semantics.ma (added)

	Work in progress.