#
# ChangeLog for src/semantics.ma
#
# Generated by Trac 1.2
# Jan 24, 2021, 1:45:35 AM

Fri, 29 Mar 2013 14:21:49 GMT mckinna [3035]
	* src/semantics.ma (modified)

	Tweak: tidied up ?/\ldots
	Conceptual: better monadic threading of ...


Thu, 28 Mar 2013 15:58:26 GMT tranquil [3014]
	* driver/acc.ml (modified)
	* driver/printer.ml (modified)
	* driver/rTLabsPrinter.ml (modified)
	* src/ERTL/ERTLToLTL.ma (moved)
	* src/ERTL/ERTLToLTLAxiom.ma (moved)
	* src/ERTL/Interference.ma (moved)
	* src/ERTL/liveness.ma (moved)
	* src/ERTL/uses.ma (moved)
	* src/ERTLptr/ERTLptr_printer.ma (deleted)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/joint_LTL_LIN.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/compiler.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/semantics.ma (modified)

	ERTL to ERTLptr pass suppressed (it introduced a bug in the later ...


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


Mon, 18 Mar 2013 23:33:13 GMT sacerdot [2899]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/AssemblyProofSplitSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/compiler.ma (modified)
	* src/semantics.ma (modified)

	1. some renaming ASM_xxx to OC_xxx
	2. ASM_pre_classified_system ...


Fri, 15 Mar 2013 00:32:50 GMT sacerdot [2875]
	* driver/backendPrinter.ml (modified)
	* driver/build (modified)
	* driver/cerco.ml (modified)
	* extracted/compiler.ml (modified)
	* extracted/compiler.mli (modified)
	* extracted/semantics.ml (modified)
	* extracted/semantics.mli (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/compiler.ma (modified)
	* src/correctness.ma (modified)
	* src/semantics.ma (modified)

	Pretty printing of object code integrated too.
	A couple of axioms ...


Mon, 11 Mar 2013 11:40:46 GMT sacerdot [2841]
	* src/compiler.ma (modified)
	* src/semantics.ma (modified)

	The compiler now computes also the stack cost for every intermediate ...


Fri, 08 Mar 2013 22:17:44 GMT sacerdot [2828]
	* src/compiler.ma (modified)
	* src/semantics.ma (added)

	1. New semantics.ma file that puts together all semantics.
	   It ...