#
# ChangeLog for src/joint/joint_fullexec.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 4:28:30 AM

Tue, 26 Mar 2013 18:07:51 GMT sacerdot [2968]
	* extracted/joint_fullexec.ml (modified)
	* extracted/traces.ml (modified)
	* extracted/traces.mli (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/joint_fullexec.ma (modified)

	The initial status memory was not really initialized. Now it is.


Tue, 26 Mar 2013 13:01:15 GMT tranquil [2952]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTLptr/ERTLptr.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/joint_fullexec.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/semanticsUtils.ma (modified)

	* corrected all back-end premains to not pass any arguments to the ...


Sun, 24 Mar 2013 10:29:01 GMT tranquil [2946]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToERTLptrAxiom.ma (added)
	* src/ERTL/ERTL_semantics.ma (modified)
	* src/ERTL/ERTLtoERTLptrUtils.ma (modified)
	* src/ERTLptr/ERTLptr.ma (modified)
	* src/ERTLptr/ERTLptrToLTLAxiom.ma (added)
	* src/ERTLptr/ERTLptr_semantics.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/LINToASMAxiom.ma (added)
	* src/LIN/LIN_semantics.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLINAxiom.ma (moved)
	* src/LTL/LTL_semantics.ma (modified)
	* src/RTL/RTL.ma (modified)
	* src/RTL/RTLToERTLAxiom.ma (moved)
	* src/RTL/RTL_overflow_to_unique.ma (added)
	* src/RTL/RTL_semantics.ma (modified)
	* src/RTL/RTL_separate_to_overflow.ma (added)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/RTLabsToRTLAxiom.ma (moved)
	* src/compiler.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/joint_fullexec.ma (modified)
	* src/joint/joint_semantics.ma (modified)
	* src/joint/linearise.ma (modified)
	* src/joint/semanticsUtils.ma (modified)

	main novelties:
	* there is an in-built stack_usage nat in joint ...


Fri, 08 Mar 2013 10:44:05 GMT tranquil [2821]
	* src/joint/Traces.ma (modified)
	* src/joint/joint_fullexec.ma (added)
	* src/joint/joint_semantics.ma (modified)

	* implemented preclassified system for joint (in
	joint/joint_fullexec.ma)