Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10496 Klever Feature Resolved Urgent Speed up loading of source files and related data 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
10493 Klever Feature Resolved Urgent Clean up directories when deploying new instances of Bridge Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
7988 Klever Feature New Normal Automatic editing of mark patterns Ilja Zakharov Vladimir Gratinskiy Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes 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
6671 Klever Feature New Normal Show information on job tasks at job page 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
6673 Klever Feature New Normal Send requests by pressing Enter Evgeny Novikov Vladimir Gratinskiy Actions
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
6720 Klever Feature New Normal Database/table character set and collation Evgeny Novikov Vladimir Gratinskiy Actions
6722 Klever Feature New Normal Jobs/marks last activity 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
6767 Klever Feature New Normal Interface should be media projectors safe Evgeny Novikov Vladimir Gratinskiy Actions
6765 Klever Feature New Normal Statistics sorting Evgeny Novikov Vladimir Gratinskiy Actions
6768 Klever Feature New Normal Spell checkers support Evgeny Novikov Vladimir Gratinskiy Actions
6706 Klever Feature New Normal Make problem names as links Evgeny Novikov Vladimir Gratinskiy Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov Vladimir Gratinskiy Actions
6821 Klever Feature New Normal E-mail notifications Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools 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
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
6586 Klever Feature New Normal Compress data sent to network Evgeny Novikov Vladimir Gratinskiy Actions
(1-25/75) Per page: 25, 50, 100

Also available in: Atom CSV PDF