#
# ChangeLog for Deliverables/D4.1/ASM.mli
#
# Generated by Trac 1.2
# Mar 1, 2021, 12:06:26 AM

Wed, 06 Oct 2010 14:36:08 GMT mulligan [158]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	Lots of bugs fixed.  SFR access implemented.


Thu, 23 Sep 2010 13:16:27 GMT mulligan [120]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	Fixed weird type errors in ASMInterpret.


Wed, 22 Sep 2010 09:49:45 GMT mulligan [101]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/ASMInterpret.mli (modified)
	* Deliverables/D4.1/physical.ml (modified)

	Fixing type errors in execute1.


Tue, 21 Sep 2010 14:43:33 GMT mulligan [100]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/ASMInterpret.mli (modified)

	More added to ASMInterpret.


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


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.


Wed, 08 Sep 2010 16:09:01 GMT mulligan [46]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/Pretty.ml (modified)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	MOV done.


Fri, 03 Sep 2010 13:44:27 GMT mulligan [35]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	`fetch' function complete.


Fri, 03 Sep 2010 10:08:16 GMT mulligan [31]
	* Deliverables/D4.1/ASM.mli (modified)
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	Instructions J--M complete.


Fri, 03 Sep 2010 09:54:27 GMT mulligan [30]
	* Deliverables/D4.1/ASM.mli (modified)

	Small bug fix in abstract syntax of ASM language (JB needs to carry a ...


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


Thu, 02 Sep 2010 10:17:44 GMT sacerdot [27]
	* Deliverables/D4.1/ASM.mli (added)
	* Deliverables/D4.1/physical.mli (added)

	The 8051 instruction set (syntax only).