#
# ChangeLog for Deliverables/D4.2-4.3
#
# Generated by Trac 1.2
# Feb 25, 2021, 3:53:10 AM

Mon, 17 Oct 2011 14:50:44 GMT mulligan [1394]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)
	* Deliverables/D4.2-4.3/reports/D4-3.tex (modified)

	reconfiguring of tables, and recalculation of ratios


Mon, 17 Oct 2011 11:09:44 GMT mulligan [1391]
	* Deliverables/D4.2-4.3/reports/D4-3.tex (modified)

	more added


Fri, 14 Oct 2011 15:43:46 GMT mulligan [1375]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	changes, fixing typos etc


Fri, 14 Oct 2011 13:51:52 GMT mulligan [1374]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	added note about cfgs


Fri, 14 Oct 2011 13:51:09 GMT mulligan [1373]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)
	* Deliverables/D4.2-4.3/reports/D4-3.tex (modified)

	changes to file based on claudio's suggestions


Thu, 13 Oct 2011 09:33:55 GMT mulligan [1366]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)
	* Deliverables/D4.2-4.3/reports/D4-3.tex (modified)

	added connections with other languages to d4.3 report, also fixed ...


Thu, 13 Oct 2011 09:30:36 GMT mulligan [1365]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)
	* Deliverables/D4.2-4.3/reports/D4-3.tex (modified)

	changed description of task in 4.2 report.

	added outline and ...


Thu, 13 Oct 2011 09:11:03 GMT mulligan [1364]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	finished the report on d4.2.  starting d4.3 report


Wed, 12 Oct 2011 15:54:04 GMT mulligan [1362]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	d4-2 report almost complete


Wed, 12 Oct 2011 09:52:23 GMT mulligan [1361]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	more changes


Wed, 12 Oct 2011 09:47:21 GMT mulligan [1360]
	* Deliverables/D4.2-4.3/reports/D4-2.tex (modified)

	added more on use of dependent types, and also discussing the ...


Tue, 11 Oct 2011 15:33:11 GMT mulligan [1356]
	* Deliverables/D4.2-4.3/ASM (deleted)
	* Deliverables/D4.2-4.3/reports (added)
	* Deliverables/D4.2-4.3/reports/D4-2.tex (added)
	* Deliverables/D4.2-4.3/reports/D4-3.tex (added)
	* src/RTLabs/RTLabsToRTL.ma (modified)

	deleted redundant directory.  added outlines for both reports, and ...


Fri, 18 Mar 2011 10:36:47 GMT mulligan [692]
	* Deliverables/D4.2-4.3/LINToASM.ma (deleted)
	* Deliverables/D4.2-4.3/common (deleted)
	* Deliverables/D4.2-4.3/utilities (deleted)

	Deleted files.


Fri, 18 Mar 2011 10:31:32 GMT mulligan [688]
	* Deliverables/D4.1/Demo-March-2011 (deleted)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (deleted)
	* src (added)
	* src/ASM (moved)
	* src/LIN (moved)
	* src/LIN/LIN.ma (copied)

	Fixed local conflicts.  Restructured svn repository.


Fri, 18 Mar 2011 10:23:31 GMT mulligan [687]
	* Deliverables/D4.2-4.3/LINToASM.ma (moved)

	Renamed to enforce consistency of filenames


Fri, 18 Mar 2011 10:22:49 GMT mulligan [686]
	* Deliverables/D4.2-4.3/ASM/I8051.ma (modified)
	* Deliverables/D4.2-4.3/LIN/LIN.ma (modified)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (modified)

	Most of LIN completed.


Tue, 15 Mar 2011 13:47:34 GMT mulligan [683]
	* Deliverables/D4.2-4.3/ASM/I8051.ma (modified)
	* Deliverables/D4.2-4.3/LIN/LIN.ma (modified)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (modified)

	Changes from working on my PC.


Thu, 10 Feb 2011 14:28:59 GMT mulligan [491]
	* Deliverables/D4.2-4.3/ASM (added)
	* Deliverables/D4.2-4.3/ASM/I8051.ma (added)
	* Deliverables/D4.2-4.3/LIN (added)
	* Deliverables/D4.2-4.3/LIN/LIN.ma (added)
	* Deliverables/D4.2-4.3/LIN/LinToAsm.ma (added)
	* Deliverables/D4.2-4.3/common (added)
	* Deliverables/D4.2-4.3/common/AST.ma (added)
	* Deliverables/D4.2-4.3/common/CostLabel.ma (added)
	* Deliverables/D4.2-4.3/utilities (added)
	* Deliverables/D4.2-4.3/utilities/BitVectorTrieSet.ma (added)
	* Deliverables/D4.2-4.3/utilities/Compare.ma (added)
	* Deliverables/D4.2-4.3/utilities/StringTools.ma (added)

	Initial commit of (part)-formalisation of LIN intermediate language.


Mon, 24 Jan 2011 13:37:51 GMT mulligan [476]
	* Deliverables/D4.2-4.3 (added)

	Commiting directory for formalization of intermediate compiler
	languages.