#
# ChangeLog for Deliverables
#
# Generated by Trac 1.2
# Jan 19, 2021, 9:58:02 AM

Thu, 09 Sep 2010 11:19:58 GMT mulligan [49]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/Pretty.ml (modified)

	Fixed bug in ASMInterpret functions: CPL functions were not ...


Thu, 09 Sep 2010 09:47:42 GMT mulligan [48]
	* Deliverables/D6.2/report.tex (modified)

	finished touching up report's English


Thu, 09 Sep 2010 09:04:15 GMT mulligan [47]
	* Deliverables/D6.2/report.tex (modified)

	Half of report's English fixed.


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.


Wed, 08 Sep 2010 10:39:25 GMT mulligan [45]
	* Deliverables/D4.1/Pretty.ml (modified)

	More pretty stuff added.


Wed, 08 Sep 2010 10:30:28 GMT mulligan [44]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/Pretty.ml (added)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	Added pretty printing functions for bits, bytes, words etc.


Wed, 08 Sep 2010 09:58:29 GMT mulligan [43]
	* Deliverables/D4.1/ASMInterpret.ml (modified)

	Address1 function completed.


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

	Address1 function completed for instructions A--M.


Wed, 08 Sep 2010 08:43:47 GMT mulligan [41]
	* Deliverables/D4.1/ASMInterpret.ml (modified)
	* Deliverables/D4.1/physical.ml (modified)
	* Deliverables/D4.1/physical.mli (modified)

	More added to address1 function.  Weird type error?


Mon, 06 Sep 2010 11:32:26 GMT amadio [40]
	* Deliverables/D2.1/report.log (modified)
	* Deliverables/D2.1/report.pdf (modified)
	* Deliverables/D2.1/report.tex (modified)

	er-cor


Sun, 05 Sep 2010 20:02:29 GMT amadio [39]
	* Deliverables/D2.1 (added)
	* Deliverables/D2.1/report.aux (added)
	* Deliverables/D2.1/report.log (added)
	* Deliverables/D2.1/report.out (added)
	* Deliverables/D2.1/report.pdf (added)
	* Deliverables/D2.1/report.tex (added)
	* Deliverables/D2.1/report.toc (added)
	* Deliverables/D2.1/text.tex (added)

	deliverable D2.1


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


Fri, 20 Aug 2010 18:05:50 GMT sacerdot [23]
	* Deliverables/D6.2/report.tex (modified)

	Spell checked.


Fri, 20 Aug 2010 18:03:28 GMT sacerdot [22]
	* Deliverables/D6.2/report.tex (modified)

	Proposed final version.


Thu, 19 Aug 2010 19:35:09 GMT sacerdot [21]
	* Deliverables/D6.2 (added)
	* Deliverables/D6.2/report.tex (added)

	First draft.


Thu, 12 Aug 2010 15:14:37 GMT sacerdot [19]
	* Deliverables/style/cerco_logo.png (added)

	...


Thu, 12 Aug 2010 15:14:17 GMT sacerdot [18]
	* Deliverables/D6.1/report.tex (modified)

	logo moved


Tue, 15 Jun 2010 21:27:04 GMT sacerdot [8]
	* Deliverables/D6.1/report.tex (modified)
	* Deliverables/style/cerco.sty (modified)

	Final version of D6.1.


Tue, 15 Jun 2010 20:58:48 GMT sacerdot [7]
	* Deliverables/D6.1/report.tex (modified)

	ispelled


Tue, 15 Jun 2010 20:56:00 GMT sacerdot [6]
	* Deliverables/D6.1 (added)
	* Deliverables/D6.1/report.tex (added)
	* Deliverables/style (added)
	* Deliverables/style/cerco.sty (added)

	First deliverable (D6.1).


Mon, 10 May 2010 14:36:55 GMT sacerdot [2]
	* Contract (added)
	* Deliverables (added)
	* TEST (deleted)

	First layout.