Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10072 Klever Feature New High Support navigation for unsafes Evgeny Novikov Vladimir Gratinskiy Actions
6950 Klever Feature New High Download and upload archives with several jobs and marks at once 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
8580 Klever Feature Feedback High Redundant data is stored in job archives for progress 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
9396 Klever Feature Feedback High Allow creating tags with the same names at different branches Ilja Zakharov 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
8122 Klever Feature New High Warn users if job was changed after it was solved 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
8732 Klever Feature New High Allow to edit verification job meta information during their solution 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
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
8440 Klever Bug New High Error traces comparison function remove does not trigger cache updates Evgeny Novikov Vladimir Gratinskiy Actions
8424 Klever Feature New High Show spinning indicator when associating unknown marks Evgeny Novikov Vladimir Gratinskiy Actions
8115 Klever Feature New High Introduce verification job refinements Evgeny Novikov Vladimir Gratinskiy Actions
8378 Klever Feature New High Convert time shown in requests log to user specific time zone Evgeny Novikov Vladimir Gratinskiy Actions
8344 Klever Feature New High Show help messages to distinguish confirmed bugs, false alarms, etc. Evgeny Novikov Vladimir Gratinskiy Actions
8343 Klever Feature New High Make link for comparing reports Evgeny Novikov Vladimir Gratinskiy Actions
8339 Klever Feature New High Add user setting to select default error trace convertion function, comparison criterion and similarity threshold Evgeny Novikov Vladimir Gratinskiy Actions
8298 Klever Feature New High Highlight tag rights Evgeny Novikov Vladimir Gratinskiy Actions
8274 Klever Feature New High Support advanced attributes comparison Evgeny Novikov Vladimir Gratinskiy Actions
8178 Klever Feature New High Get rid of some buttons Evgeny Novikov 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
8143 Klever Feature New High Add support for logging reports Evgeny Novikov Vladimir Gratinskiy Actions
8104 Klever Feature New High When marked reports are compared it is unclear whether marks and their similarities are the same Evgeny Novikov Vladimir Gratinskiy Actions
7975 Klever Bug New High For experts incorrect accesses are shown at the jobs tree page Evgeny Novikov Vladimir Gratinskiy Actions
7468 Klever Bug New High Bridge can't upload job archives with UTF8 characters in directory names on systems with default encoding ASCII Evgeny Novikov Vladimir Gratinskiy Actions
7307 Klever Feature New High Support help pages Evgeny Novikov Vladimir Gratinskiy Actions
7183 Klever Feature Open High Keep new lines for visualized problem descriptions Evgeny Novikov Vladimir Gratinskiy Actions
7172 Klever Feature New High Develop tests for Bridge GUI Evgeny Novikov Vladimir Gratinskiy Actions
6677 Klever Feature New High Dynamically update component pages Evgeny Novikov Vladimir Gratinskiy Actions
6798 Klever Feature New High Generilize entities representation Evgeny Novikov Vladimir Gratinskiy Actions
8138 Klever Feature New Normal Do not place closing rectangles on the separate lines Evgeny Novikov Vladimir Gratinskiy Actions
8130 Klever Feature New Normal Allow to additionally highlight actions with the same entities and allow to hide their highlights at all Evgeny Novikov Vladimir Gratinskiy Actions
7482 Klever Feature New Normal Enable MySQL strict mode Evgeny Novikov Vladimir Gratinskiy Actions
6720 Klever Feature New Normal Database/table character set and collation Evgeny Novikov Vladimir Gratinskiy Actions
8017 Klever Feature New Normal Add an option for users to see tag sets rather than tag maps Evgeny Novikov Vladimir Gratinskiy Actions
7988 Klever Feature New Normal Automatic editing of mark patterns Ilja Zakharov Vladimir Gratinskiy Actions
7866 Klever Feature New Normal Support any combination of edges from various threads Evgeny Novikov Vladimir Gratinskiy Actions
7884 Klever Bug Open Normal Empty page is shown when redirecting to jobs/create/ after signing in Evgeny Novikov Vladimir Gratinskiy Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
7784 Klever Bug New Normal Can provide negative number of CPU cores Ilja Zakharov Vladimir Gratinskiy Actions
6765 Klever Feature New Normal Statistics sorting Evgeny Novikov Vladimir Gratinskiy Actions
6668 Klever Bug Open Normal CSS issues Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools Evgeny Novikov Vladimir Gratinskiy Actions
7189 Klever Feature New Normal Do not show wall time for more than one instance Evgeny Novikov Vladimir Gratinskiy Actions
7109 Klever Bug New Normal Problems in error trace visualizer Alexey Khoroshilov Vladimir Gratinskiy Actions
7105 Klever Feature New Normal Users need to know what fields are required for registration Evgeny Novikov Vladimir Gratinskiy Actions
6821 Klever Feature New Normal E-mail notifications Evgeny Novikov Vladimir Gratinskiy Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov Vladimir Gratinskiy Actions
6586 Klever Feature New Normal Compress data sent to network Evgeny Novikov Vladimir Gratinskiy Actions
6768 Klever Feature New Normal Spell checkers support Evgeny Novikov Vladimir Gratinskiy Actions
6767 Klever Feature New Normal Interface should be media projectors safe Evgeny Novikov Vladimir Gratinskiy Actions
6745 Klever Feature New Normal Support source code cross references Evgeny Novikov Vladimir Gratinskiy Actions
6744 Klever Feature New Normal Keep and visualize source files related with safes and unsafes Evgeny Novikov Vladimir Gratinskiy Actions
6728 Klever Bug New Normal Bridge doesn't respect file/folder rights Evgeny Novikov Vladimir Gratinskiy Actions
6724 Klever Feature New Normal Include deletion of jobs and marks into users last activity Evgeny Novikov Vladimir Gratinskiy Actions
6722 Klever Feature New Normal Jobs/marks last activity Evgeny Novikov Vladimir Gratinskiy Actions
6713 Klever Feature New Normal Provide better description why job can not be solved Evgeny Novikov Vladimir Gratinskiy Actions
6708 Klever Feature New Normal Add howto for regular expressions used as patterns and problems for unknowns Evgeny Novikov Vladimir Gratinskiy Actions
6706 Klever Feature New Normal Make problem names as links Evgeny Novikov Vladimir Gratinskiy Actions
6705 Klever Feature New Normal Provide users with restrictions on field values Evgeny Novikov Vladimir Gratinskiy Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes Evgeny Novikov Vladimir Gratinskiy Actions
6673 Klever Feature New Normal Send requests by pressing Enter Evgeny Novikov Vladimir Gratinskiy Actions
6671 Klever Feature New Normal Show information on job tasks at job page Evgeny Novikov Vladimir Gratinskiy Actions
6666 Klever Feature New Normal User specific time and date format Evgeny Novikov Vladimir Gratinskiy Actions
2771 Linux Kernel Safety RuleDB Feature Open Normal 111: Check that integer underflow doesn't happen in call of copy_from_user(), copy_to_user() and others Evgeny Novikov Vladimir Gratinskiy Actions
3399 Linux Kernel Safety RuleDB Feature Open Normal 143: Usage of semaphores Vladimir Gratinskiy Vladimir Gratinskiy Actions
3317 Linux Kernel Safety RuleDB Feature Resolved Normal 010: Usage of a GFP_ATOMIC flag in functions of memory allocation in a context of interrupt. Vladimir Gratinskiy Vladimir Gratinskiy Actions
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use Vladimir Gratinskiy Vladimir Gratinskiy Actions
3831 Linux Kernel Safety RuleDB Feature Open Normal 146: Mixing operations of RCU nested read sections of different types Vadim Mutilin Vladimir Gratinskiy Actions
2606 Linux Kernel Safety RuleDB Feature Open Normal 119: probe functions should not return -EINTR Alexey Khoroshilov Vladimir Gratinskiy Actions
3340 Linux Kernel Safety RuleDB Feature Open Normal 142: Usage of mod_timer() Vladimir Gratinskiy Vladimir Gratinskiy Actions
9836 Klever Feature Open Urgent Collapse migrations Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10042 Klever Feature Open Urgent Simplify the job tree Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
    (1-87/87) Per page: 25, 50, 100

    Also available in: Atom CSV PDF