#
# ChangeLog for driver/printer.ml
#
# Generated by Trac 1.2
# Apr 23, 2021, 2:16:33 AM

Wed, 03 Apr 2013 15:03:39 GMT tranquil [3079]
	* driver/printer.ml (modified)

	added printing of ERTL, LTL and LIN's ext_seq's.


Tue, 02 Apr 2013 14:49:14 GMT sacerdot [3070]
	* driver/printer.ml (modified)

	Ext case of RTL implemented.


Fri, 29 Mar 2013 17:38:26 GMT sacerdot [3043]
	* driver/printer.ml (modified)
	* driver/tests/PROBLEMI (added)
	* extracted/aSM.ml (modified)
	* extracted/aSM.mli (modified)
	* extracted/aSMCosts.ml (modified)
	* extracted/aST.ml (modified)
	* extracted/arithmetic.ml (modified)
	* extracted/assembly.ml (modified)
	* extracted/backEndOps.ml (modified)
	* extracted/bind_new.ml (modified)
	* extracted/bitVectorTrie.ml (modified)
	* extracted/byteValues.ml (modified)
	* extracted/cexec.ml (modified)
	* extracted/classifyOp.ml (modified)
	* extracted/cminor_semantics.ml (modified)
	* extracted/cminor_syntax.ml (modified)
	* extracted/compiler.ml (modified)
	* extracted/compiler.mli (modified)
	* extracted/costCheck.ml (modified)
	* extracted/costCheck.mli (modified)
	* extracted/costInj.ml (modified)
	* extracted/costInj.mli (modified)
	* extracted/csem.ml (modified)
	* extracted/csyntax.ml (modified)
	* extracted/csyntax.mli (modified)
	* extracted/division.ml (modified)
	* extracted/eRTL.ml (modified)
	* extracted/eRTLToLTL.ml (modified)
	* extracted/eRTLToLTL.mli (modified)
	* extracted/eRTL_printer.ml (modified)
	* extracted/errors.ml (modified)
	* extracted/events.ml (modified)
	* extracted/fetch.ml (modified)
	* extracted/fixpoints.ml (modified)
	* extracted/fresh.ml (modified)
	* extracted/frontEndMem.ml (modified)
	* extracted/frontEndOps.ml (modified)
	* extracted/genMem.ml (modified)
	* extracted/globalenvs.ml (modified)
	* extracted/iO.ml (modified)
	* extracted/iOMonad.ml (modified)
	* extracted/identifiers.ml (modified)
	* extracted/interference.ml (modified)
	* extracted/interpret.ml (modified)
	* extracted/interpret.mli (modified)
	* extracted/interpret2.ml (modified)
	* extracted/interpret2.mli (modified)
	* extracted/joint.ml (modified)
	* extracted/joint.mli (modified)
	* extracted/joint_LTL_LIN.ml (modified)
	* extracted/joint_LTL_LIN_semantics.ml (modified)
	* extracted/joint_printer.ml (modified)
	* extracted/joint_printer.mli (modified)
	* extracted/joint_semantics.ml (modified)
	* extracted/joint_semantics.mli (modified)
	* extracted/lIN.ml (modified)
	* extracted/lINToASM.ml (modified)
	* extracted/lINToASM.mli (modified)
	* extracted/lIN_printer.ml (modified)
	* extracted/lTL.ml (modified)
	* extracted/lTL_printer.ml (modified)
	* extracted/label.ml (modified)
	* extracted/label.mli (modified)
	* extracted/linearise.ml (modified)
	* extracted/liveness.ml (modified)
	* extracted/measurable.ml (modified)
	* extracted/pointers.ml (modified)
	* extracted/policyFront.ml (modified)
	* extracted/policyStep.ml (modified)
	* extracted/positiveMap.ml (modified)
	* extracted/rTL.ml (modified)
	* extracted/rTLToERTL.ml (modified)
	* extracted/rTL_printer.ml (modified)
	* extracted/rTL_semantics.ml (modified)
	* extracted/rTLabsToRTL.ml (modified)
	* extracted/rTLabs_abstract.ml (modified)
	* extracted/rTLabs_abstract.mli (modified)
	* extracted/rTLabs_classified_system.ml (modified)
	* extracted/rTLabs_classified_system.mli (modified)
	* extracted/rTLabs_semantics.ml (modified)
	* extracted/rTLabs_syntax.ml (modified)
	* extracted/registerSet.ml (modified)
	* extracted/semantics.ml (modified)
	* extracted/semanticsUtils.ml (modified)
	* extracted/simplifyCasts.ml (modified)
	* extracted/smallstep.ml (modified)
	* extracted/smallstepExec.ml (modified)
	* extracted/stacksize.ml (modified)
	* extracted/structuredTraces.ml (modified)
	* extracted/switchRemoval.ml (modified)
	* extracted/toCminor.ml (modified)
	* extracted/toRTLabs.ml (modified)
	* extracted/traces.ml (modified)
	* extracted/traces.mli (modified)
	* extracted/translateUtils.ml (modified)
	* extracted/uses.ml (modified)
	* extracted/values.ml (modified)
	* extracted/z.ml (modified)

	New major extraction that should have solved all remaining issues. ...


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:05:20 GMT tranquil [3002]
	* driver/printer.ml (modified)
	* extracted/untrusted/glue.ml (modified)
	* extracted/untrusted/glue.mli (modified)

	fixed previous commit


Thu, 28 Mar 2013 12:01:10 GMT tranquil [3000]
	* driver/build (modified)
	* driver/printer.ml (modified)
	* driver/rTLabsPrinter.ml (added)
	* driver/rTLabsPrinter.mli (added)

	added RTLabs printer


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


Thu, 28 Mar 2013 08:56:26 GMT sacerdot [2993]
	* driver/cerco.ml (modified)
	* driver/printer.ml (modified)
	* driver/printer.mli (modified)
	* extracted/aSMCosts.ml (modified)
	* extracted/aSMCostsSplit.ml (modified)
	* extracted/interpret2.ml (modified)
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/Interpret2.ma (modified)

	1. performance improved: the type inference was inferring
	   ...


Wed, 27 Mar 2013 17:05:41 GMT sacerdot [2982]
	* driver/printer.ml (modified)
	* extracted/joint_printer.ml (modified)
	* extracted/joint_printer.mli (modified)
	* src/joint/joint_printer.ma (modified)

	Pretty priting of LIN implemented.


Tue, 19 Mar 2013 00:22:22 GMT sacerdot [2901]
	* driver/build (modified)
	* driver/cerco.ml (modified)
	* driver/printer.ml (moved)
	* driver/printer.mli (moved)

	1. backendPrinter renamed to printer
	2. Clight printing branched ...


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