#
# ChangeLog for driver/tests
#
# Generated by Trac 1.2
# Mar 9, 2021, 2:32:26 AM

Tue, 02 Apr 2013 16:44:34 GMT sacerdot [3073]
	* driver/tests/PROBLEMI (modified)
	* extracted/eRTLToLTL.ml (modified)

	New extraction, all tests pass.


Tue, 02 Apr 2013 14:49:54 GMT sacerdot [3071]
	* driver/tests/PROBLEMI (modified)
	* driver/tests/bubble_sort.c (added)

	...


Tue, 02 Apr 2013 11:49:53 GMT sacerdot [3067]
	* driver/tests/PROBLEMI (modified)
	* driver/tests/test7.c (modified)

	New test that fails too.


Tue, 02 Apr 2013 09:59:02 GMT sacerdot [3062]
	* driver/tests/PROBLEMI (modified)
	* extracted/interpret.ml (modified)
	* src/ASM/Interpret.ma (modified)

	Bug fixed in the semantics of Mov: the offset was ignored.
	Now all ...


Mon, 01 Apr 2013 19:14:36 GMT tranquil [3058]
	* driver/tests/PROBLEMI (modified)

	...


Mon, 01 Apr 2013 16:31:15 GMT tranquil [3052]
	* driver/tests/PROBLEMI (modified)

	...


Fri, 29 Mar 2013 21:15:54 GMT tranquil [3045]
	* driver/tests/PROBLEMI (modified)
	* src/ASM/Status.ma (modified)
	* src/LIN/LINToASM.ma (modified)

	fixed what made test3 fail. However it involves a different notion of ...


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 11:12:26 GMT sacerdot [2998]
	* driver/tests/test8.c (added)

	Test on conditional execution. Fails atm.


Wed, 27 Mar 2013 17:45:49 GMT sacerdot [2988]
	* driver/tests (added)
	* driver/tests/test.c (added)
	* driver/tests/test2.c (added)
	* driver/tests/test3.c (added)
	* driver/tests/test4.c (added)
	* driver/tests/test5.c (added)
	* driver/tests/test6.c (added)
	* driver/tests/test7.c (added)

	Some easy tests.