#
# ChangeLog for extracted/interpret2.ml
#
# Generated by Trac 1.2
# Jan 23, 2021, 12:00:28 PM

Tue, 19 Mar 2013 22:19:32 GMT sacerdot [2910]
	* extracted/aSMCosts.ml (modified)
	* extracted/aSMCosts.mli (modified)
	* extracted/interpret2.ml (modified)
	* extracted/interpret2.mli (modified)
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/Interpret2.ma (modified)

	Abstract statuses for ASM and OC completed.
	A simple test program ...


Tue, 19 Mar 2013 21:21:08 GMT sacerdot [2909]
	* extracted/aSMCosts.ml (modified)
	* extracted/aSMCosts.mli (modified)
	* extracted/aSMCostsSplit.ml (modified)
	* extracted/aSMCostsSplit.mli (modified)
	* extracted/compiler.ml (modified)
	* extracted/compiler.mli (modified)
	* extracted/interpret.ml (modified)
	* extracted/interpret2.ml (modified)
	* extracted/interpret2.mli (modified)
	* extracted/semantics.ml (modified)

	New extraction.


Tue, 19 Mar 2013 07:42:43 GMT sacerdot [2905]
	* extracted/aSMCosts.ml (modified)
	* extracted/aSMCosts.mli (modified)
	* extracted/aSMCostsSplit.ml (modified)
	* extracted/abstractStatus.ml (modified)
	* extracted/abstractStatus.mli (modified)
	* extracted/assembly.ml (modified)
	* extracted/assembly.mli (modified)
	* extracted/compiler.ml (modified)
	* extracted/interpret2.ml (modified)
	* extracted/interpret2.mli (modified)
	* extracted/semantics.ml (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/semantics.ma (modified)

	Semantics of ASM in place (up to return values and function call ...


Fri, 15 Mar 2013 16:51:02 GMT sacerdot [2880]
	* extracted/interpret2.ml (added)
	* extracted/interpret2.mli (added)

	...