Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10648 Klever Bug New Normal Useless double assignment in EMG Pavel Andrianov Ilja Zakharov Actions
10640 Klever Feature New High Add an ability to show difference of coverage reports Pavel Andrianov Vladimir Gratinskiy Actions
10631 Klever Feature New High Compress the space for lightweight mark on the Unsafe page Pavel Andrianov Vladimir Gratinskiy Klever - 3.1 Actions
10630 Klever Feature Closed Urgent Improve auto-search of tags Pavel Andrianov Vladimir Gratinskiy Klever - 3.0 Actions
10629 Klever Feature New High Move "attributes" and "code coverage data" from the center of unsafe page Pavel Andrianov Vladimir Gratinskiy Klever - 3.1 Actions
10612 Klever Bug Open High View names are not shown for a user Pavel Andrianov Vladimir Gratinskiy Klever - 3.1 Actions
10504 Klever Bug New High EMG does not initialize device variable Pavel Andrianov Ilja Zakharov Actions
10481 Klever Feature Closed Urgent Update CPALockator to support rcu analysis Pavel Andrianov Pavel Andrianov Klever - 3.0 Actions
9820 Klever Bug Closed Urgent Nondeterministic environment model Pavel Andrianov Ilja Zakharov Klever - 3.0 Actions
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 High Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov 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 Rejected 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
(1-25/78) Per page: 25, 50, 100

Also available in: Atom CSV PDF