Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9580 Klever Feature Closed Urgent Develop detailed EMG specifications for Serial drivers Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9579 Klever Feature Closed Urgent Allow describing scenarios for environment models manually Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9578 Klever Feature Closed Urgent Add a new rule for BusyBox to check file descriptors correct usage Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9518 Klever Feature New Urgent Change the color scheme for coverage from red to green Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
9507 Klever Feature New Urgent Update VerifierCloud scheduler to the recent API Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9506 Klever Feature New Urgent Support VerifierCloud installations without authentication Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
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 Actions
9412 Klever Feature New Urgent Support more advanced calculation of total verdicts and similarity Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
9406 Klever Feature Closed Urgent Ignore an another one useless warning from BenchExec (flawed measurement) Ilja Zakharov Ilja Zakharov Klever - 3.0 Actions
9396 Klever Feature Feedback High Allow creating tags with the same names at different branches Ilja Zakharov Vladimir Gratinskiy Actions
9382 Klever Bug New Urgent Button "Reports->Clear verification files" does nothing Ilja Zakharov Vladimir Gratinskiy Klever - 3.0 Actions
9356 Klever Feature New Urgent Do not deploy the same build bases Ilja Zakharov Evgeny Novikov Klever - 3.0 Actions
9354 Klever Bug Closed Urgent BusyBox verification is broken in Klever-2.0 Ilja Zakharov Ilja Zakharov Klever - 2.0 Actions
9353 Klever Bug Closed Urgent Production mode is broken in Klever-2.0 Ilja Zakharov Ilja Zakharov Klever - 2.0 Actions
9350 Klever Feature New High Update validation tasks that require function pointer analysis Ilja Zakharov Actions
9319 Klever Feature Closed Urgent Remove from user unterface options related to building programs Ilja Zakharov Vladimir Gratinskiy Klever - 2.0 Actions
9318 Klever Feature Closed Urgent Bridge does not show data attributes at verification report pages Ilja Zakharov Vladimir Gratinskiy Klever - 2.0 Actions
9306 Klever Feature Closed Urgent Klever-2.0 does not work in OpenStack cloud Ilja Zakharov Evgeny Novikov Klever - 2.0 Actions
9305 Klever Feature New High Provide a list of undefined and modelled functions for a fragment under verification Ilja Zakharov Ilja Zakharov Actions
9304 Klever Feature Closed Urgent Completely remove program compilation from Klever Ilja Zakharov Evgeny Novikov Klever - 2.0 Actions
9300 Klever Feature Closed Urgent Implement comfortable configuration of program decomposition for a user Ilja Zakharov Ilja Zakharov Klever - 2.0 Actions
9220 Klever Bug Closed Immediate Bridge fails if max disk limitation is 0 Ilja Zakharov Vladimir Gratinskiy Klever - 1.1 Actions
9219 Klever Bug Closed Immediate Start decision job page looks badly Ilja Zakharov Vladimir Gratinskiy Klever - 1.1 Actions
9218 Klever Bug Closed Immediate Admin cannot view jobs tree Ilja Zakharov Vladimir Gratinskiy Klever - 1.1 Actions
9162 Klever Feature Closed Urgent Implement strategy based on collected coverage to verify kernel subsystems Ilja Zakharov Ilja Zakharov Klever - 2.0 Actions
(1-25/291) Per page: 25, 50, 100

Also available in: Atom CSV PDF