#
# ChangeLog for src/LTL/semantics.ma
#
# Generated by Trac 1.2
# Mar 1, 2021, 12:20:26 AM

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


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:29:54 GMT sacerdot [1381]
	* src/ERTL/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/RTL/semantics.ma (modified)

	Old commented out code removed.


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 22:16:22 GMT sacerdot [1303]
	* src/ERTL/semantics.ma (modified)
	* src/LTL/semantics.ma (added)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	1. LTL/semantics.ma added (work in progress)
	2. init_locals fixed to ...