#
# ChangeLog for src/joint
#
# Generated by Trac 1.2
# Jan 28, 2021, 12:32:45 AM

Wed, 21 Sep 2011 13:56:54 GMT sacerdot [1236]
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint/Joint.ma (modified)

	LTLToLin.ma completed (up to a couple of daemons used to provide dead ...


Wed, 21 Sep 2011 09:57:20 GMT sacerdot [1233]
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTL/semantics.ma (modified)
	* src/common/SmallstepExec.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	1) Ported to Brian's new dependent type for fullexec
	2) Universe ...


Mon, 19 Sep 2011 14:52:40 GMT mulligan [1228]
	* src/ERTL/build.ma (modified)
	* src/joint/Joint.ma (modified)

	some more changes


Thu, 15 Sep 2011 16:05:31 GMT sacerdot [1220]
	* src/ERTL/ERTL.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	ERTL ported to the new joint syntax.


Thu, 15 Sep 2011 14:42:58 GMT sacerdot [1217]
	* src/joint/semantics.ma (modified)

	Only one axiom left.


Thu, 15 Sep 2011 13:04:22 GMT sacerdot [1215]
	* src/common/Pointers.ma (modified)
	* src/joint/semantics.ma (modified)

	1) Added shifting directly on pointers
	2) More temporary axioms closed.


Thu, 15 Sep 2011 12:27:50 GMT sacerdot [1214]
	* src/common/Errors.ma (modified)
	* src/joint/semantics.ma (modified)

	res_to_opt function added to common/Errors and used in ...


Thu, 15 Sep 2011 12:01:56 GMT sacerdot [1213]
	* src/common/AST.ma (modified)
	* src/common/Animation.ma (modified)
	* src/common/GenMem.ma (added)
	* src/common/Pointers.ma (added)
	* src/common/SmallstepExec.ma (modified)
	* src/common/Values.ma (modified)
	* src/joint/BEMem.ma (added)
	* src/joint/BEValues.ma (added)
	* src/joint/semantics.ma (modified)

	1) New values (joint/BEValues.ma) and memory model for the back-ends ...


Mon, 05 Sep 2011 15:08:14 GMT sacerdot [1186]
	* src/joint/semantics.ma (modified)

	Spurious code removed.
	joint_fullexec implemented up to ...


Mon, 05 Sep 2011 11:23:20 GMT mulligan [1182]
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	changes to semantics: removing parameterised "next" element in joint ...


Sun, 04 Sep 2011 19:36:41 GMT sacerdot [1177]
	* src/joint/semantics.ma (modified)

	Almost finished. Some functions still to be implemented, but I ...


Sat, 03 Sep 2011 02:17:48 GMT sacerdot [1176]
	* src/joint/Joint.ma (modified)
	* src/joint/semantics.ma (modified)

	...


Fri, 02 Sep 2011 14:09:02 GMT sacerdot [1174]
	* src/joint/semantics.ma (modified)

	Semantics of most instructions completed.


Fri, 02 Sep 2011 13:33:55 GMT sacerdot [1173]
	* src/joint/semantics.ma (added)

	Unified semantics for ERTL/LTL/LIN (in progress).
	I hope to include ...


Fri, 02 Sep 2011 12:51:20 GMT mulligan [1171]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint/Joint.ma (modified)

	changes made on claudio's request: changed order of nesting in the ...


Fri, 02 Sep 2011 09:57:45 GMT sacerdot [1169]
	* src/joint/Joint.ma (modified)

	JointRTLtoLIN moved to Joint


Fri, 02 Sep 2011 08:35:54 GMT mulligan [1167]
	* src/LIN/LIN.ma (modified)
	* src/joint/Joint.ma (moved)

	...


Fri, 02 Sep 2011 08:35:24 GMT mulligan [1166]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/joint (added)
	* src/joint/JointLTLLIN.ma (moved)

	moved joint ltl lin files into their own directory.  more changes to ...