Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7137 Klever Bug New Normal Specify environment model specification for hc_driver Ilja Zakharov Ilja Zakharov Actions
7135 Klever Bug New Normal Specify environment model specification for hsi_client_driver Ilja Zakharov Ilja Zakharov Actions
7134 Klever Bug New Normal Specify environment model specification for virtio_driver Ilja Zakharov Ilja Zakharov Actions
7132 Requality Bug New Normal Неравномерное выделение ENUM-типа в выпадающем списке Type Viktoria Kopach Actions
7122 Klever Feature New High EMG should properly initialize callback parameters so that pm_runtime_suspended() returns proper values Evgeny Novikov Actions
7107 Requality Feature New Normal Выделить промежуточное хранилище для контроля изменений Denis Kildishev Actions
7105 Klever Feature New Normal Users need to know what fields are required for registration Evgeny Novikov Vladimir Gratinskiy Actions
7101 Summer Feature New Normal Добавить метод Contract.assertFalse( boolean ) Alexey Demakov Victor Kuliamin Actions
7084 Requality Bug New Normal У свойства Name в Properties view пропала рамочка Viktoria Kopach Actions
7080 Requality Feature New Normal Поддержка проверки консистентности требований с атрибутами ссылочного типа Anastasia Tugaenko Actions
7062 Requality Feature New Normal Отчет по статистике из еженедельных локальных отчетов Anastasia Tugaenko Actions
7047 Requality Feature New Normal Дополнения к тикету Редактирование атрибутов требования с клавиатуры Viktoria Kopach Actions
7017 Requality Bug New Normal Проблема с выделением виртуального узла в Requality Explorer Viktoria Kopach Actions
6996 Requality Feature New Low Дополнительны возможности представления ModuleEditor Anastasia Tugaenko Actions
6991 Requality Bug New Normal Сочетание клавиш ctrl+e занято Viktoria Kopach Actions
6988 Retrascope IDE Task New Normal [efsm][visualizator][zest] "organic" layout for EFSM models Sergey Smolov Retrascope IDE - 0.1 Actions
6977 Requality Feature New Normal В UniEditor размещать текст строго в границах элемента Viktoria Kopach Actions
6969 Requality Feature New Normal Запретить узлу REFERENCE на самого себя Viktoria Kopach Actions
6964 Requality Feature New Normal Пустое значение REFERENCE Viktoria Kopach Actions
6963 Requality Feature New Low Подсказка имени свойства для выборанного типа свойств Denis Kildishev Actions
6951 Klever Feature New Normal Developing a verification strategy to tackle verification tasks with independent process instances Vadim Mutilin Ilja Zakharov Actions
6945 Requality Feature New Normal Модифицировать интерфейс для настройки параметров отчетов Anastasia Tugaenko Actions
6911 MicroTESK Bug New Normal The "get_address_of" method must work with all label types. Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
6888 Klever Feature New Normal Implicitly specify target architecture for static verifiers Evgeny Novikov Actions
6866 Summer Bug New Normal битовое | между boolean значениями Alexey Demakov Victor Kuliamin Actions
6865 Summer Bug New Normal После реинициализации Guard ссылается на старые объекты Alexey Demakov Victor Kuliamin Actions
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov Actions
6827 C Instrumentation Framework Feature New High Merge weaving for different entities Evgeny Novikov Evgeny Novikov Actions
6826 C Instrumentation Framework Feature New High Make refactoring of advice body patterns Evgeny Novikov Evgeny Novikov Actions
6825 Klever Feature New Normal Support for containers represented as local variables Vadim Mutilin Actions
6824 Klever Feature New Normal Support for kthread_run in EMG Vadim Mutilin Actions
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
(1351-1400/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF