#
# ChangeLog for src/LTL/semantics.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 3:39:21 AM

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