#
# ChangeLog for driver/clightPrinter.mli
#
# Generated by Trac 1.2
# Mar 4, 2021, 8:55:59 PM

Thu, 04 Apr 2013 09:31:56 GMT sacerdot [3091]
	* driver/clightPrinter.mli (modified)

	...


Wed, 06 Mar 2013 14:48:14 GMT campbell [2787]
	* driver/clightPrinter.ml (modified)
	* driver/clightPrinter.mli (modified)
	* driver/compiler.ml (modified)

	Output stack costs in driver.


Fri, 01 Mar 2013 18:56:34 GMT campbell [2759]
	* driver/clightPrinter.ml (modified)
	* driver/clightPrinter.mli (modified)
	* driver/compiler.ml (modified)
	* extracted/aSMCosts.ml (modified)

	Print out costs, with choice of style.
	Note small anti-assertion ...


Fri, 01 Mar 2013 18:55:27 GMT campbell [2758]
	* driver/build (modified)
	* driver/clightFromC.ml (modified)
	* driver/clightPrinter.ml (added)
	* driver/clightPrinter.mli (added)
	* driver/compiler.ml (modified)

	Adapt prototype's Clight printer.
	Doesn't use cost map yet.