#
# ChangeLog for Deliverables/D4.1
#
# Generated by Trac 1.2
# Apr 15, 2021, 3:16:36 AM

Fri, 03 Sep 2010 15:27:28 GMT mulligan [38]
	* Deliverables/D4.1/Presentation/Paris-September-2010.tex (modified)

	First draft Claudio's talk finished.


Fri, 03 Sep 2010 15:13:28 GMT mulligan [37]
	* Deliverables/D4.1/Presentation/Paris-September-2010.tex (modified)

	Slight change to presentation.


Fri, 03 Sep 2010 15:05:30 GMT mulligan [36]
	* Deliverables/D4.1/Presentation/Paris-September-2010.tex (modified)

	More on Claudio's presentation: upto interrupts and their handling.


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 12:56:55 GMT mulligan [34]
	* Deliverables/D4.1/Presentation/Paris-September-2010.tex (modified)

	Up to describing 8051 SFRs in presentation


Fri, 03 Sep 2010 12:32:15 GMT mulligan [33]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/Presentation (added)
	* Deliverables/D4.1/Presentation/Paris-September-2010.tex (added)

	Instructions M--O added to `fetch' function.  Presentation files for ...


Fri, 03 Sep 2010 11:36:32 GMT mulligan [32]
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	All MOV variations done.


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


Fri, 03 Sep 2010 09:51:26 GMT mulligan [29]
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	Commit while I check Siemen's data sheet.  Instructions C--J added to ...


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


Thu, 02 Sep 2010 08:11:35 GMT sacerdot [26]
	* Deliverables/D4.1 (added)

	Executable semantics of 8051 assembly (in OCaml for now).