#
# ChangeLog for Deliverables/D5.1-5.3
#
# Generated by Trac 1.2
# Feb 28, 2021, 11:46:00 AM

Thu, 16 Feb 2012 15:54:38 GMT amadio [1704]
	* Deliverables/D5.1-5.3/report.tex (modified)

	typo


Thu, 16 Feb 2012 10:36:25 GMT tranquil [1703]
	* Deliverables/D5.1-5.3/report.tex (modified)

	minimal change


Thu, 16 Feb 2012 10:35:35 GMT tranquil [1702]
	* Deliverables/D5.1-5.3/indexed_labels_report (copied)
	* Deliverables/D5.1-5.3/indlabacc-20120216.tar.gz (moved)
	* Deliverables/D5.1-5.3/indlabcost-20120216.tar.gz (moved)
	* Deliverables/D5.1-5.3/report.tex (modified)
	* Deliverables/addenda/indexed_labels/report.pdf (deleted)

	updated the report and changed a bit the names


Thu, 16 Feb 2012 10:25:44 GMT tranquil [1701]
	* Deliverables/D5.1-5.3/indexed-labels-compiler-20120216.tar.gz (added)
	* Deliverables/D5.1-5.3/indexed-labels-cost-20120216.tar.gz (moved)

	added updated compiler tarball


Thu, 16 Feb 2012 10:22:46 GMT amadio [1699]
	* Deliverables/D5.1-5.3/report.tex (modified)

	5.1 up


Thu, 16 Feb 2012 10:05:05 GMT tranquil [1698]
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/cost_value.ml (modified)

	minor modifications


Wed, 15 Feb 2012 08:30:08 GMT tranquil [1694]
	* Deliverables/D2.1/report.log (modified)
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README (modified)
	* Deliverables/D5.1-5.3/indexed-labels-cost-20120213.tar.gz (added)

	indexed labels branch


Mon, 13 Feb 2012 14:58:20 GMT tranquil [1690]
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/tests (deleted)

	nested loops are not supported yet, the only test had one


Mon, 13 Feb 2012 14:54:58 GMT tranquil [1689]
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/Makefile (modified)
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/README (modified)
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/wrapper (deleted)

	kept out the wrapper (which I did not touch, so not sure it works)


Mon, 13 Feb 2012 08:08:40 GMT amadio [1688]
	* Deliverables/D5.1-5.3/cost-20120209.tgz (added)
	* Deliverables/D5.1-5.3/lamcost-20120209.tar.gz (added)
	* Deliverables/D5.1-5.3/plugin.pdf (modified)
	* Deliverables/D5.1-5.3/report.tex (modified)
	* Deliverables/D5.1-5.3/tranquilli.pdf (added)

	up d5.1-5.3


Tue, 07 Feb 2012 17:01:43 GMT ayache [1679]
	* Deliverables/D5.1-5.3/cost-plug-in/Makefile (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/README (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/distributed_files (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/plugin/Makefile (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/plugin/cerco.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/plugin/compute.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/plugin/cost.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/plugin/cost_value.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/wrapper/main.ml (modified)
	* Deliverables/D5.1-5.3/cost-plug-in/wrapper/options.ml (modified)
	* Deliverables/D5.1-5.3/plugin.pdf (modified)

	Frama-C plug-in (sources+documentation)


Thu, 26 Jan 2012 09:06:06 GMT amadio [1662]
	* Deliverables/D5.1-5.3 (copied)
	* Deliverables/D5.1-5.3/plugin.pdf (copied)

	rev


Thu, 26 Jan 2012 07:43:27 GMT amadio [1659]
	* Deliverables/D5.1/report.tex (modified)