Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknowns - Klever - Open-Source Projects

Custom queries

Important bugs and features

Actions

Copy link

Feature #8489

closed

Show computational resources consumed by verifier in tables with safes/unsafes/verification unknowns

Added by Evgeny Novikov about 7 years ago. Updated about 7 years ago.

Status:

Closed

Priority:

Urgent

Assignee:

Vladimir Gratinskiy

Category:

Bridge

Target version:

1.0

Start date:

10/10/2017

Due date:

10/27/2017

% Done:

100%

Estimated time:

Published in build:

Description

#7793 requested to show just CPU time, but for some tasks, e.g. for evaluation of (speculative) scheduling algorithms, it is necessary to view wall time and RAM in addition. Moreover, at the moment for verification unknowns even CPU time isn't shown.

Related issues 3 (0 open — 3 closed)

Related to Klever - Bug #8532: Do not filter out rows in tables that have not attribute values when ordering by those attributes

Closed

Vladimir Gratinskiy

10/30/2017

12/19/2017

Actions

Related to Klever - Bug #8534: Strange exception during uploading verification unknown report

Closed

Vladimir Gratinskiy

10/31/2017

Actions

Blocks Klever - Feature #6614: Intellectual scheduling

Closed

Ilja Zakharov

01/29/2016

Actions

Issue # Delay: days Cancel

History
Notes
Property changes

Actions

Copy link

Updated by Vladimir Gratinskiy about 7 years ago

Due date set to 10/27/2017
Status changed from New to Resolved
% Done changed from 0 to 100

Implemented in feature_8489.

Actions

Copy link

Updated by Evgeny Novikov about 7 years ago

Status changed from Resolved to Open

First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:

When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.
If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
```
|    Verifiers    |
+-----------+-----+
|  CPU time | RAM |
```
Rename "cpu" to "CPU" and "memory" to "RAM".

Actions

Copy link

Updated by Vladimir Gratinskiy about 7 years ago

Evgeny Novikov wrote:

First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:

When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.

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.

If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
[...]

Rename "cpu" to "CPU" and "memory" to "RAM".

Ok.

Actions

Copy link

Updated by Evgeny Novikov about 7 years ago

Vladimir Gratinskiy wrote:

Evgeny Novikov wrote:

First of all I rebased this branch on top of master since most likely it will be merged there pretty sooner than useful-progress. Also I have minor notes:

When I ordered an unknowns table by verifiers CPU time unknowns without this time suddenly disappeared from that table.

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.

I opened a separate issue, #8532.

If this won't be hard I suggest to group two or three columns intended for verifier resources, e.g.:
[...]

Rename "cpu" to "CPU" and "memory" to "RAM".

Ok.

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.

Actions

Copy link