#
# ChangeLog for driver/IntelHex.ml
#
# Generated by Trac 1.2
# Mar 7, 2021, 4:30:35 AM

Wed, 06 Mar 2013 01:59:22 GMT sacerdot [2780]
	* driver/IntelHex.ml (modified)
	* extracted/bitVector.ml (modified)
	* extracted/bitVector.mli (modified)

	Bug fixed: in BitVector.ma the functions bv_to_nat and nat_to_bv were ...


Tue, 05 Mar 2013 22:50:59 GMT sacerdot [2779]
	* driver/IntelHex.ml (modified)

	1. bug fixed in the use of vsplit
	2. major speed up (avoid detour ...


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