Revisions of Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/log/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch?rev=2584
Trac Log - Revisions of Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchen-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?rev=2584
tranquilThu, 16 Feb 2012 10:05:05 GMTRevision 1698: minor modifications
http://cerco.cs.unibo.it/changeset/1698/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/changeset/1698/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchminor modificationsLogtranquilWed, 15 Feb 2012 08:30:08 GMTRevision 1694: indexed labels branch
http://cerco.cs.unibo.it/changeset/1694/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/changeset/1694/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchindexed labels branchLogtranquilMon, 13 Feb 2012 14:58:20 GMTRevision 1690: nested loops are not supported yet, the only test had one
http://cerco.cs.unibo.it/changeset/1690/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/changeset/1690/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchnested loops are not supported yet, the only test had oneLogtranquilMon, 13 Feb 2012 14:54:58 GMTRevision 1689: kept out the wrapper (which I did not touch, so not sure it works)
http://cerco.cs.unibo.it/changeset/1689/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/changeset/1689/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchkept out the wrapper (which I did not touch, so not sure it works)LogamadioThu, 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
http://cerco.cs.unibo.it/changeset/1662/Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branchrevLogtranquilFri, 25 Nov 2011 18:43:39 GMTRevision 1568: * Immediates introduced (but not fully used yet in RTLabs to RTL pass) ...
http://cerco.cs.unibo.it/changeset/1568/Deliverables/D5.1/cost-plug-in-indexed-labels-branch
http://cerco.cs.unibo.it/changeset/1568/Deliverables/D5.1/cost-plug-in-indexed-labels-branch* Immediates introduced (but not fully used yet in RTLabs to RTL pass)
* translation streamlined
* BUGGY: interpretation fails in LTL, trying to fetch a function with incorrect addressLog