Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
2606 Linux Kernel Safety RuleDB Feature Open Normal 119: probe functions should not return -EINTR Alexey Khoroshilov Vladimir Gratinskiy Actions
8172 Klever Bug New High Unsafe verdicts of multimodule verification aren't associated with marks for single module verification Alexey Polushkin Vladimir Gratinskiy Actions
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
10496 Klever Feature Resolved Urgent Speed up loading of source files and related data Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10493 Klever Feature Resolved Urgent Clean up directories when deploying new instances of Bridge Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10460 Klever Feature Resolved Urgent Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10151 Klever Feature New High Add shortcuts for most popular events Evgeny Novikov Vladimir Gratinskiy Actions
10148 Klever Feature New High Keep modification time for entities and sort them by it Evgeny Novikov Vladimir Gratinskiy Actions
10072 Klever Feature New High Support navigation for unsafes Evgeny Novikov Vladimir Gratinskiy Actions
8530 Klever Feature Open High Show the number of associated leaf reports everywhere where it has sense Evgeny Novikov Vladimir Gratinskiy Actions
9830 Klever Feature New High Update page after changes in safes/unsafes/unknowns Evgeny Novikov Vladimir Gratinskiy Actions
9795 Klever Feature New High Highlight all occurrences of pointed identifiers Evgeny Novikov Vladimir Gratinskiy Actions
9740 Klever Feature New High Do not lose changes in files at opening other files for editting Evgeny Novikov Vladimir Gratinskiy Actions
8103 Klever Feature New High Remember open verification jobs at job tree page Evgeny Novikov Vladimir Gratinskiy Actions
8102 Klever Feature New High Add an ability to specify or/and to change compared verification jobs order Evgeny Novikov Vladimir Gratinskiy Actions
8082 Klever Feature New High Forbid unknown verdicts and empty tags for false positives Evgeny Novikov Vladimir Gratinskiy Actions
8111 Klever Feature New High Wrap model comments over several lines automatically Evgeny Novikov Vladimir Gratinskiy Actions
8361 Klever Feature New High Keep and pretty visualize workers load Evgeny Novikov Vladimir Gratinskiy Actions
8925 Klever Feature New High Process error traces with timeout Evgeny Novikov Vladimir Gratinskiy Actions
8938 Klever Feature New High Use browser notifications for reporting job status changes Evgeny Novikov Vladimir Gratinskiy Actions
8965 Klever Bug New High Get unknown error when openning page after droping database Evgeny Novikov Vladimir Gratinskiy Actions
8345 Klever Bug New High Incorrect error message when canceling job decisions after page updates are switched off Evgeny Novikov Vladimir Gratinskiy Actions
8629 Klever Feature New High Allow to upload multiple files at once Evgeny Novikov Vladimir Gratinskiy Actions
7174 Klever Feature New High Develop security tests for Bridge Evgeny Novikov Vladimir Gratinskiy Actions
8589 Klever Feature New High Reduce the number of request for getting job data Evgeny Novikov Vladimir Gratinskiy Actions
(1-25/75) Per page: 25, 50, 100

Also available in: Atom CSV PDF