#
# ChangeLog for driver/ASMPrinter.mli
#
# Generated by Trac 1.2
# Feb 25, 2021, 6:32:34 PM

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


Tue, 05 Mar 2013 22:34:38 GMT sacerdot [2778]
	* driver/ASMPrinter.ml (added)
	* driver/ASMPrinter.mli (added)
	* driver/IntelHex.ml (added)
	* driver/IntelHex.mli (added)
	* driver/build (modified)
	* driver/compiler.ml (modified)

	Code to pretty-print the IntelHex output.
	At the moment the glue ...