Revisions of Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/compute.ml
http://cerco.cs.unibo.it/log/Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/compute.ml?rev=1508
Trac Log - Revisions of Deliverables/D5.1/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/cost-plug-in-indexed-labels-branch/plugin/compute.ml?rev=1508
tranquilTue, 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 expressionsLogayacheTue, 25 Oct 2011 14:11:11 GMTRevision 1462: Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been ...
http://cerco.cs.unibo.it/changeset/1462/Deliverables/D5.1/cost-plug-in/plugin/compute.ml
http://cerco.cs.unibo.it/changeset/1462/Deliverables/D5.1/cost-plug-in/plugin/compute.mlAdded D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.Log