Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6706 Klever Feature New Normal Make problem names as links Evgeny Novikov Vladimir Gratinskiy Actions
8925 Klever Feature New High Process error traces with timeout Evgeny Novikov Vladimir Gratinskiy Actions
6713 Klever Feature New Normal Provide better description why job can not be solved Evgeny Novikov Vladimir Gratinskiy Actions
6705 Klever Feature New Normal Provide users with restrictions on field values Evgeny Novikov Vladimir Gratinskiy Actions
8589 Klever Feature New High Reduce the number of request for getting job data Evgeny Novikov Vladimir Gratinskiy Actions
8103 Klever Feature New High Remember open verification jobs at job tree page Evgeny Novikov Vladimir Gratinskiy Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
6673 Klever Feature New Normal Send requests by pressing Enter 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
6671 Klever Feature New Normal Show information on job tasks at job page 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
10496 Klever Feature Resolved Urgent Speed up loading of source files and related data Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
6768 Klever Feature New Normal Spell checkers support Evgeny Novikov Vladimir Gratinskiy Actions
6765 Klever Feature New Normal Statistics sorting Evgeny Novikov Vladimir Gratinskiy Actions
8274 Klever Feature New High Support advanced attributes comparison Evgeny Novikov Vladimir Gratinskiy Actions
7307 Klever Feature New High Support help pages Evgeny Novikov Vladimir Gratinskiy Actions
10072 Klever Feature New High Support navigation for unsafes 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
9830 Klever Feature New High Update page after changes in safes/unsafes/unknowns Evgeny Novikov Vladimir Gratinskiy Actions
8938 Klever Feature New High Use browser notifications for reporting job status changes Evgeny Novikov Vladimir Gratinskiy Actions
7105 Klever Feature New Normal Users need to know what fields are required for registration Evgeny Novikov Vladimir Gratinskiy Actions
6666 Klever Feature New Normal User specific time and date format Evgeny Novikov Vladimir Gratinskiy Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov 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
8111 Klever Feature New High Wrap model comments over several lines automatically Evgeny Novikov Vladimir Gratinskiy Actions
(51-75/75) Per page: 25, 50, 100

Also available in: Atom CSV PDF