Revisions of Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml
http://cerco.cs.unibo.it/log/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml?rev=1662
Trac Log - Revisions of Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.mlen-USTrac 1.2CerCohttp://cerco.cs.unibo.it/chrome/site/cerco_logo.png
http://cerco.cs.unibo.it/log/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml?rev=1662
amadioThu, 26 Jan 2012 09:06:06 GMTRevision 1662: rev
http://cerco.cs.unibo.it/changeset/1662/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml
http://cerco.cs.unibo.it/changeset/1662/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.mlrevLogtranquilTue, 15 Nov 2011 16:12:58 GMTRevision 1508: branched a version of the plug-in that is compatible with the indexed ...
http://cerco.cs.unibo.it/changeset/1508/Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/compute.ml
http://cerco.cs.unibo.it/changeset/1508/Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/compute.mlbranched a version of the plug-in that is compatible with the indexed labels
branch of the compiler, taking into account dependent costs. It is not
backward compatible as it extracts loop indexes, and fails if it does not
find them.
Further modifications:
* Some more reductions of cost_value terms to further simplify expressionsLog