#
# ChangeLog for Deliverables/D4.1/Makefile
#
# Generated by Trac 1.2
# Jan 18, 2021, 3:25:41 AM

Fri, 18 Feb 2011 12:30:39 GMT ricciott [573]
	* Deliverables/D4.1/ASMInterpret.mli (modified)
	* Deliverables/D4.1/Makefile (modified)
	* Deliverables/D4.1/Test2.ml (added)

	Added round-trip tests.


Wed, 15 Dec 2010 16:00:01 GMT mulligan [426]
	* Deliverables/D4.1/Makefile (modified)
	* Deliverables/D4.1/Test.ml (moved)
	* Deliverables/D4.1/ToMatita.ml (moved)

	Changes to ocaml code and makefile.


Wed, 29 Sep 2010 10:25:28 GMT sacerdot [138]
	* Deliverables/D4.1/.ocamlinit (added)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/ASMInterpret.mli (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/IntelHex.ml (modified)
	* Deliverables/D4.1/IntelHex.mli (modified)
	* Deliverables/D4.1/Makefile (modified)
	* Deliverables/D4.1/Parser.ml (modified)
	* Deliverables/D4.1/Parser.mli (modified)
	* Deliverables/D4.1/Pretty.ml (modified)
	* Deliverables/D4.1/Pretty.mli (modified)
	* Deliverables/D4.1/test.ml (added)

	Several bug fixes and code clean-up.
	New main file: test.ml to parse ...


Thu, 02 Sep 2010 16:30:29 GMT sacerdot [28]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (added)
	* Deliverables/D4.1/Makefile (added)
	* Deliverables/D4.1/physical.ml (added)
	* Deliverables/D4.1/physical.mli (modified)

	1) all the opcodes are there in ASM syntax
	   (but no labels, ...