Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9518 Klever Feature New Urgent Change the color scheme for coverage from red to green Ilja Zakharov Vladimir Gratinskiy Klever - 3.0
9507 Klever Feature New Urgent Update VerifierCloud scheduler to the recent API Ilja Zakharov Ilja Zakharov Klever - 3.0
9506 Klever Feature New Urgent Support VerifierCloud installations without authentication Ilja Zakharov Vladimir Gratinskiy Klever - 3.0
9413 Klever Feature Rejected Urgent Set total verdict and total similarity more precisely on base of automatic marks assotiation Ilja Zakharov Vladimir Gratinskiy Klever - 3.0
9412 Klever Feature New Urgent Support more advanced calculation of total verdicts and similarity Ilja Zakharov Vladimir Gratinskiy Klever - 3.0
9406 Klever Feature New Urgent Ignore an another one useless warning from BenchExec (flawed measurement) Ilja Zakharov Ilja Zakharov Klever - 3.0
9396 Klever Feature Feedback High Allow creating tags with the same names at different branches Ilja Zakharov Vladimir Gratinskiy
9382 Klever Bug New Urgent Button "Reports->Clear verification files" does nothing Ilja Zakharov Vladimir Gratinskiy Klever - 3.0
9356 Klever Feature New Urgent Do not deploy the same build bases Ilja Zakharov Evgeny Novikov Klever - 3.0
9354 Klever Bug Closed Urgent BusyBox verification is broken in Klever-2.0 Ilja Zakharov Ilja Zakharov Klever - 2.0
9353 Klever Bug Closed Urgent Production mode is broken in Klever-2.0 Ilja Zakharov Ilja Zakharov Klever - 2.0
9350 Klever Feature New High Update validation tasks that require function pointer analysis Ilja Zakharov
9319 Klever Feature Closed Urgent Remove from user unterface options related to building programs Ilja Zakharov Vladimir Gratinskiy Klever - 2.0
9318 Klever Feature Closed Urgent Bridge does not show data attributes at verification report pages Ilja Zakharov Vladimir Gratinskiy Klever - 2.0
9306 Klever Feature Closed Urgent Klever-2.0 does not work in OpenStack cloud Ilja Zakharov Evgeny Novikov Klever - 2.0
9305 Klever Feature New High Provide a list of undefined and modelled functions for a fragment under verification Ilja Zakharov Ilja Zakharov
9304 Klever Feature Closed Urgent Completely remove program compilation from Klever Ilja Zakharov Evgeny Novikov Klever - 2.0
9300 Klever Feature Closed Urgent Implement comfortable configuration of program decomposition for a user Ilja Zakharov Ilja Zakharov Klever - 2.0
9220 Klever Bug Closed Immediate Bridge fails if max disk limitation is 0 Ilja Zakharov Vladimir Gratinskiy Klever - 1.1
9219 Klever Bug Closed Immediate Start decision job page looks badly Ilja Zakharov Vladimir Gratinskiy Klever - 1.1
9218 Klever Bug Closed Immediate Admin cannot view jobs tree Ilja Zakharov Vladimir Gratinskiy Klever - 1.1
9162 Klever Feature Closed Urgent Implement strategy based on collected coverage to verify kernel subsystems Ilja Zakharov Ilja Zakharov Klever - 2.0
9161 Klever Feature Closed Urgent Load job function coverage in an intermediate representation as an extra file Ilja Zakharov Ilja Zakharov Klever - 2.0
9151 Klever Bug Closed Urgent Bridge starts job even if job.json or tasks.json is invalid Ilja Zakharov Vladimir Gratinskiy Klever - 2.0
9080 Klever Bug Closed Immediate Downloading and uploading all marks does not work Ilja Zakharov Evgeny Novikov Klever - 1.1
(1-25/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF