#
# ChangeLog for driver/acc.ml
#
# Generated by Trac 1.2
# Mar 6, 2021, 4:18:27 AM

Thu, 04 Apr 2013 07:58:03 GMT sacerdot [3083]
	* driver/acc.ml (modified)
	* driver/clightPrinter.ml (modified)
	* extracted/compiler.ml (modified)
	* extracted/compiler.mli (modified)
	* src/compiler.ma (modified)

	The __cost and __stack* variables are now initialized with the cost ...


Thu, 28 Mar 2013 23:03:45 GMT sacerdot [3027]
	* driver/acc.ml (modified)

	Another output used by the plug-in.


Thu, 28 Mar 2013 22:58:34 GMT sacerdot [3026]
	* driver/acc.ml (modified)

	With -a we now produce also the .cerco file required by the plug-in.


Thu, 28 Mar 2013 22:21:44 GMT sacerdot [3025]
	* driver/acc.ml (modified)
	* driver/clightPrinter.ml (modified)

	1. two syntax errors in instrumented files fixed
	2. the compiler now ...


Thu, 28 Mar 2013 16:28:48 GMT sacerdot [3020]
	* driver/acc.ml (modified)
	* driver/options.ml (modified)
	* driver/options.mli (modified)

	- Options not used removed from the help/interface.
	- More ...


Thu, 28 Mar 2013 15:58:51 GMT sacerdot [3015]
	* driver/acc.ml (modified)

	Comment removed


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


Thu, 28 Mar 2013 12:49:21 GMT sacerdot [3005]
	* driver/acc.ml (moved)
	* driver/build (modified)
	* driver/options.ml (added)
	* driver/options.mli (added)
	* driver/optionsParsing.ml (added)

	Beginning of making it fully compatible with untrusted one.


Thu, 28 Mar 2013 11:47:55 GMT sacerdot [2999]
	* driver/ASMPrinter.ml (modified)
	* driver/ASMPrinter.mli (modified)
	* driver/cerco.ml (modified)
	* driver/printer.ml (modified)
	* extracted/aSM.ml (modified)
	* extracted/aSM.mli (modified)
	* extracted/aSMCosts.ml (modified)
	* extracted/assembly.ml (modified)
	* extracted/fetch.ml (modified)
	* extracted/fetch.mli (modified)
	* extracted/interpret2.ml (modified)
	* extracted/policy.ml (modified)
	* extracted/status.ml (modified)
	* src/ASM/ASM.ma (modified)
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/correctness.ma (modified)

	code_memory added to labelled_object_code to avoid recomputing it ...