#
# ChangeLog for Deliverables/D4.1/BitVectors.ml
#
# Generated by Trac 1.2
# Feb 28, 2021, 2:49:37 PM

Thu, 07 Oct 2010 14:30:49 GMT mulligan [163]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/Pretty.mli (modified)

	Fixed bug with JNB not jumping correctly.


Thu, 07 Oct 2010 12:49:53 GMT mulligan [162]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)

	Timers implemented (including demonic thirteen bit timer).


Thu, 30 Sep 2010 16:46:44 GMT mulligan [147]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/Pretty.ml (modified)
	* Deliverables/D4.1/test.ml (modified)

	Changes made today: we now have an emulator that is able to emulate ...


Wed, 29 Sep 2010 11:27:40 GMT sacerdot [142]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/test.ml (modified)

	Rough implementation of direct (i.e. no BIT) SFR access.
	Note: I/O ...


Wed, 29 Sep 2010 10:51:05 GMT sacerdot [140]
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/IntelHex.ml (modified)
	* Deliverables/D4.1/IntelHex.mli (modified)
	* Deliverables/D4.1/test.ml (modified)

	More cleanup.


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


Mon, 27 Sep 2010 14:19:28 GMT mulligan [137]
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/IntelHex.ml (modified)
	* Deliverables/D4.1/Util.ml (modified)

	Bug noticed in string conversion routine.  Note added.


Tue, 21 Sep 2010 12:21:25 GMT mulligan [98]
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/pretty.ml (added)
	* Deliverables/D4.1/pretty.mli (added)

	preliminary pretty-printing function (no usable output)


Tue, 21 Sep 2010 11:51:59 GMT mulligan [97]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/physical.ml (modified)

	Move to polymorphic variants everywhere (scary...)


Tue, 21 Sep 2010 11:22:37 GMT mulligan [95]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)

	fixed typing errors in ASMInterpret up to execute1.


Mon, 20 Sep 2010 15:40:16 GMT mulligan [92]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	Fixed physical interface file.  Refactoring ASMInterface.


Mon, 20 Sep 2010 11:45:10 GMT mulligan [90]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)
	* Deliverables/D4.1/physical.ml (modified)

	Ported physical.ml to be compatible with new bitvector code, started ...


Mon, 20 Sep 2010 09:48:03 GMT mulligan [89]
	* Deliverables/D4.1/BitVectors.ml (modified)
	* Deliverables/D4.1/BitVectors.mli (modified)

	Fixed a really annoying bug in vect_to_int and int_to_vect


Mon, 20 Sep 2010 08:35:53 GMT mulligan [88]
	* Deliverables/D4.1/BitVectors.ml (moved)
	* Deliverables/D4.1/BitVectors.mli (moved)
	* Deliverables/D4.1/Byte.ml (modified)
	* Deliverables/D4.1/Nibble.ml (modified)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	int_of_vect implemented.


Fri, 17 Sep 2010 15:14:18 GMT mulligan [87]
	* Deliverables/D4.1/bit_vectors.ml (moved)
	* Deliverables/D4.1/bit_vectors.mli (added)

	Moved tentative to bit_vectors.  Added .mli file.