https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-10-27T15:41:10ZOpen-Source ProjectsKlever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319612017-10-27T15:41:10ZVladimir Gratinskiygratinskiy@ispras.ru
<ul><li><strong>Due date</strong> set to <i>10/27/2017</i></li><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Implemented in feature_8489.</p> Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319632017-10-28T15:11:11ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul>First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than <em>useful-progress</em>. Also I have minor notes:
<ul>
<li>When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.</li>
<li>If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:<br /><pre>
| Verifiers |
+-----------+-----+
| CPU time | RAM |
</pre></li>
<li>Rename "cpu" to "CPU" and "memory" to "RAM".</li>
</ul> Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319642017-10-28T19:24:11ZVladimir Gratinskiygratinskiy@ispras.ru
<ul></ul><p>Evgeny Novikov wrote:</p>
<blockquote>
First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than <em>useful-progress</em>. Also I have minor notes:
<ul>
<li>When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.</li>
</ul>
</blockquote>
<p>The same is for already existing order by attribute - reports without attribute are not shown. I'm not going to fix it in this branch now.</p>
<blockquote>
<ul>
<li>If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:<br />[...]</li>
<li>Rename "cpu" to "CPU" and "memory" to "RAM".</li>
</ul>
</blockquote>
<p>Ok.</p> Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319672017-10-30T07:39:17ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>Vladimir Gratinskiy wrote:</p>
<blockquote>
<p>Evgeny Novikov wrote:</p>
<blockquote>
First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than <em>useful-progress</em>. Also I have minor notes:
<ul>
<li>When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.</li>
</ul>
</blockquote>
<p>The same is for already existing order by attribute - reports without attribute are not shown. I'm not going to fix it in this branch now.</p>
</blockquote>
<p>I opened a separate issue, <a class="issue tracker-1 status-5 priority-6 priority-high2 closed behind-schedule" title="Bug: Do not filter out rows in tables that have not attribute values when ordering by those attributes (Closed)" href="https://forge.ispras.ru/issues/8532">#8532</a>.</p>
<blockquote>
<blockquote>
<ul>
<li>If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:<br />[...]</li>
<li>Rename "cpu" to "CPU" and "memory" to "RAM".</li>
</ul>
</blockquote>
<p>Ok.</p>
</blockquote>
<p>Let's also show all verifier resources by default in all report tables. I am not sure that it is very necessary to allow to hide just some of them, say, to show just verifiers CPU time and RAM. But if this won't be hard, this will be welcome.</p> Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319822017-10-30T14:57:09ZVladimir Gratinskiygratinskiy@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li></ul><p>Titles fixed.</p> Klever - Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknownshttps://forge.ispras.ru/issues/8489?journal_id=319842017-10-31T08:03:10ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Looks great. I merged the branch to master in <a class="changeset" title="Show all verifiers resources on leaves list pages. Change style of resources columns titles. Rena..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/35aeb4efc887857c948872a65bf0165904732049">35aeb4ef</a>.</p>