Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6823 Requality Feature New Normal Добавить чекер для провеки полей со значениями вида "Будет определено позднее" Anastasia Tugaenko Actions
6821 Klever Feature New Normal E-mail notifications Evgeny Novikov Vladimir Gratinskiy Actions
6817 Requality Bug New Low В настройках отчета Traceability "мигает" reference-name "elaborates" Viktoria Kopach Actions
6806 Klever Feature New Normal Visualize CPAchecker statistics within Bridge Ilja Zakharov Vladimir Gratinskiy Actions
6805 Klever Feature New Normal Compress data sent to network Evgeny Novikov Actions
6804 Klever Feature New Normal Upload CPAchecker statistics in the development mode Ilja Zakharov Actions
6803 Klever Feature New Normal Extract CPAchecker statistics from its log Ilja Zakharov Ilja Zakharov Actions
6802 Klever Bug New Normal Native scheduler does not add host information to task decision report Ilja Zakharov Actions
6801 Klever Feature New Normal Upload and show CPAchecker statistics in development mode Ilja Zakharov Actions
6798 Klever Feature New High Generilize entities representation Evgeny Novikov Vladimir Gratinskiy Actions
6795 Klever Feature New Normal Testing specification compatibility Evgeny Novikov 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
6765 Klever Feature New Normal Statistics sorting 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
6720 Klever Feature New Normal Database/table character set and collation Evgeny Novikov Vladimir Gratinskiy Actions
6713 Klever Feature New Normal Provide better description why job can not be solved Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools 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
6703 Klever Feature New Normal Generate several environment models per abstract verification task Ilja Zakharov Ilja Zakharov Actions
6702 Klever Feature New Low Generate restricted environment model Ilja Zakharov Ilja Zakharov Actions
6684 Requality Feature New Normal Запуск checker-ов Anastasia Tugaenko Actions
6683 Requality Feature New Normal Добавить еще два вида checker-ов Anastasia Tugaenko Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes Evgeny Novikov Vladimir Gratinskiy Actions
6677 Klever Feature New High Dynamically update component pages Evgeny Novikov Vladimir Gratinskiy Actions
6675 Requality Feature New Normal Объединить ВСЕ настройки узла Report Settings в один интерфейс Viktoria Kopach 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
6670 Requality Bug New Normal При работе с svn возникает сообщение об ошибке "process site delta" Viktoria Kopach Actions
6666 Klever Feature New Normal User specific time and date format Evgeny Novikov Vladimir Gratinskiy Actions
6653 Klever Feature New Normal Specify component names as corresponding process names Evgeny Novikov Evgeny Novikov Actions
6652 Klever Feature New Normal JSON with comments Evgeny Novikov Actions
6651 Klever Feature New Normal Proper and useful logs Evgeny Novikov Evgeny Novikov Actions
6650 Klever Feature New Normal Paths to files and directories Evgeny Novikov Evgeny Novikov Actions
6644 Klever Feature New Normal Debug CIF just when debugging Evgeny Novikov Actions
6642 Klever Feature New Normal JetBrains logo Evgeny Novikov Actions
6641 Klever Feature New Normal Ensure that current resource measurment is good enough Evgeny Novikov Actions
6638 Klever Feature New High Always use around advices Evgeny Novikov Evgeny Novikov Actions
6630 Klever Feature New High Implement Docker registry for verifiers and Core Evgeny Novikov Actions
6628 Klever Feature New High Fix model comments Evgeny Novikov Evgeny Novikov Actions
6627 Klever Feature New High Use common way to implement nondetermined behaviour Evgeny Novikov Evgeny Novikov Actions
6626 Klever Feature New High Use the same approach to specify model state and its changes Evgeny Novikov Evgeny Novikov Actions
6620 Klever Bug Open High Incorrect names of directories and files with schedulers and workers implementation Evgeny Novikov Ilja Zakharov Actions
6619 Klever Feature New High Time and memory size representation Evgeny Novikov Actions
6617 Klever Bug New Low Decision size is not checked Evgeny Novikov Actions
6605 Klever Feature New Normal Implement class Config Evgeny Novikov Actions
6603 Klever Bug New Normal Specify proper description of computer where tasks were solved Evgeny Novikov Actions
(1251-1300/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF