#
# ChangeLog for driver/extracted
#
# Generated by Trac 1.2
# Mar 3, 2021, 8:23:38 PM

Sat, 06 Apr 2013 17:35:25 GMT sacerdot [3106]
	* driver/extracted/aSMCosts.ml (modified)
	* driver/extracted/abstractStatus.ml (modified)
	* driver/extracted/abstractStatus.mli (modified)
	* driver/extracted/compiler.ml (modified)
	* driver/extracted/compiler.mli (modified)
	* driver/extracted/fetch.ml (modified)
	* driver/extracted/fetch.mli (modified)
	* driver/extracted/globalenvs.ml (modified)
	* driver/extracted/interpret2.ml (modified)
	* driver/extracted/interpret2.mli (modified)
	* driver/extracted/joint_printer.ml (modified)
	* driver/extracted/lINToASM.ml (modified)
	* driver/extracted/policy.mli (modified)
	* driver/extracted/policyFront.ml (modified)
	* driver/extracted/policyFront.mli (modified)
	* driver/extracted/policyStep.ml (modified)
	* driver/extracted/policyStep.mli (modified)
	* driver/extracted/semantics.ml (modified)
	* driver/extracted/semantics.mli (modified)
	* driver/extracted/simplifyCasts.ml (modified)
	* driver/extracted/status.ml (modified)
	* driver/extracted/switchRemoval.ml (modified)
	* driver/extracted/toCminor.ml (modified)
	* driver/extracted/toRTLabs.ml (modified)

	New extraction.


Sat, 06 Apr 2013 16:38:22 GMT sacerdot [3105]
	* driver/extracted/policy.ml (modified)

	Pretty printing changed.
	There is still an inefficiency left: ...


Sat, 06 Apr 2013 16:37:17 GMT sacerdot [3104]
	* driver/extracted/aSM.ml (modified)
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)

	Performance improvement.


Sat, 06 Apr 2013 09:44:00 GMT sacerdot [3098]
	* driver/extracted/policyFront.ml (modified)
	* src/ASM/PolicyFront.ma (modified)

	Performance improvement.


Fri, 05 Apr 2013 19:53:44 GMT sacerdot [3097]
	* driver/extracted/policyStep.ml (modified)
	* src/ASM/PolicyStep.ma (modified)

	Performance improvement in policy computation.


Thu, 04 Apr 2013 19:53:30 GMT sacerdot [3095]
	* driver/extracted/policyStep.ml (modified)
	* src/ASM/PolicyStep.ma (modified)

	Some performance improvement: an heavy computation was done again and ...


Thu, 04 Apr 2013 09:52:14 GMT sacerdot [3093]
	* driver/extracted/Makefile (added)
	* driver/extracted/build (deleted)

	Makefile replaces build, targets: byte, opt, clean


Thu, 04 Apr 2013 09:16:49 GMT sacerdot [3088]
	* driver/extracted/build (modified)

	We now also generate the package for native code.


Thu, 04 Apr 2013 08:46:25 GMT sacerdot [3085]
	* driver/extracted (moved)

	extracted directory moved into driver to make debian packages more ...


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