#
# ChangeLog for src/ERTL/semantics.ma
#
# Generated by Trac 1.2
# Jan 26, 2021, 10:36:02 AM

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