#
# ChangeLog for src/ERTL/semantics.ma
#
# Generated by Trac 1.2
# Mar 8, 2021, 10:39:38 PM

Fri, 16 Sep 2011 08:53:53 GMT sacerdot [1221]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/semantics.ma (modified)

	Cleanup.


Thu, 01 Sep 2011 14:23:42 GMT mulligan [1163]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)

	even more streamlining and fixes to get things type checking


Thu, 01 Sep 2011 09:32:25 GMT mulligan [1162]
	* src/ERTL/semantics.ma (modified)

	changes committed to ertl semantics based on our new combined syntax ...


Wed, 31 Aug 2011 16:24:03 GMT mulligan [1161]
	* src/ASM/Util.ma (modified)
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/ERTL/semantics.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LTL/LTL.ma (modified)

	changes from today: merged ertl, ltl and lin into one datatype to ...


Wed, 31 Aug 2011 09:41:21 GMT sacerdot [1156]
	* src/ERTL/semantics.ma (modified)

	ERTL semantics completed up to initialization and memory model.


Tue, 30 Aug 2011 14:56:43 GMT sacerdot [1151]
	* src/ERTL/semantics.ma (modified)

	Only new_/del_frame and framesize left.


Tue, 30 Aug 2011 14:23:37 GMT sacerdot [1150]
	* src/ERTL/semantics.ma (modified)

	Push/pop implemented.


Tue, 30 Aug 2011 14:14:50 GMT sacerdot [1148]
	* src/ERTL/semantics.ma (modified)

	Function call/return finished (up to retrieving parameters from the ...


Tue, 30 Aug 2011 14:07:39 GMT sacerdot [1146]
	* src/ERTL/semantics.ma (modified)

	More progress: function call/return almost completed.


Tue, 30 Aug 2011 13:33:36 GMT sacerdot [1142]
	* src/ERTL/semantics.ma (modified)

	More progress.


Tue, 30 Aug 2011 12:23:37 GMT sacerdot [1140]
	* src/ERTL/semantics.ma (modified)

	More instructions implemented.


Mon, 29 Aug 2011 16:27:16 GMT sacerdot [1137]
	* src/ERTL/semantics.ma (modified)

	More progress.


Mon, 29 Aug 2011 15:11:52 GMT sacerdot [1130]
	* src/ERTL/semantics.ma (added)

	File in progress (copied from RTL).
	All instructions considered up ...