#
# ChangeLog for src/LIN/joint_LTL_LIN_semantics.ma
#
# Generated by Trac 1.2
# Apr 12, 2021, 9:52:54 PM

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 14:22:52 GMT sacerdot [1415]
	* src/ASM/I8051.ma (modified)
	* src/ASM/I8051bis.ma (added)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	1. hwreg_store/retrieve no longer returns a res (but it is still ...


Wed, 19 Oct 2011 11:39:54 GMT sacerdot [1411]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	1. sem_params2 splitted into sem_params1 + sem_params2 to take out ...


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


Mon, 17 Oct 2011 09:43:52 GMT sacerdot [1390]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	All fetch_result implementations have been factorized out, leaving ...


Sun, 16 Oct 2011 23:58:47 GMT sacerdot [1386]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/semantics.ma (modified)

	Structure of semantic parameters simplified.


Sun, 16 Oct 2011 23:40:13 GMT sacerdot [1385]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	1. fetch_result and pop_frame now takes the genv in input
	2. ...


Sun, 16 Oct 2011 17:42:25 GMT sacerdot [1384]
	* src/ERTL/semantics.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/semantics.ma (modified)

	* fetch_ra taken out of pop_frame again since it is used uniformly ...


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