Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9285 Klever Bug Closed Urgent Problem with deployment Pavel Andrianov Evgeny Novikov Klever - 2.0 Actions
9273 Klever Feature New High New translation mode for EMG Pavel Andrianov Ilja Zakharov Actions
9272 Klever Feature New High Main generation without info-requests Pavel Andrianov Ilja Zakharov Actions
9271 Klever Feature New High Main generation with information about sharedness of parameters Pavel Andrianov Ilja Zakharov Actions
9237 Klever Bug Closed Immediate Link to unsafes on 'Job tree' page leads to page with safes Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9221 Klever Feature Open Urgent Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov Klever - 3.0 Actions
9201 Klever Bug Closed Immediate One more bug with incompatible marks Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9200 Klever Bug Closed Immediate Marks with zero similarity participate in 'incompatible' marks Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9199 Klever Bug Closed Immediate Pages are missed Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9068 Klever Bug New Normal Error trace simplification causes an exception Pavel Andrianov Actions
9067 Klever Bug Closed Immediate Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.1 Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
9056 Klever Bug Closed Immediate Exception when packages are not specified in configuration Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
9054 Klever Bug Closed Immediate Exception when ssh-key is not specified Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8956 Klever Bug Closed Urgent Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8704 Klever Feature Closed Urgent Support processing of multiple error traces per one unsafe report Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8555 Klever Bug New Normal Hide information about user access to a job for users with weak access Pavel Andrianov Actions
8553 Klever Bug Closed Urgent Jobs with no access are shown as child jobs Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8511 Klever Bug Closed Immediate Klever does not remove old jobs Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8460 Klever Bug Closed Urgent Klever stops solving tasks Pavel Andrianov Ilja Zakharov Klever - 0.2 Actions
8337 Klever Feature Closed Urgent Upload reports without job decision Pavel Andrianov Vladimir Gratinskiy Klever - 0.2 Actions
8336 Klever Feature Closed High Option to hide unconfirmed unsafes Pavel Andrianov Vladimir Gratinskiy Actions
8335 Klever Feature Resolved Urgent Similarity management Pavel Andrianov Vladimir Gratinskiy Klever - 3.0 Actions
8334 Klever Feature Closed High Clear log message in case of uploading marks Pavel Andrianov Vladimir Gratinskiy Actions
8306 Klever Bug New Normal EMG registers random interrupt handler Pavel Andrianov Ilja Zakharov Actions
(1-25/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF