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

Also available in: Atom CSV PDF