Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8158 Requality Feature New Normal Замечания по плагину libre Viktoria Kopach Иван Девицкий Actions
8143 Klever Feature New High Add support for logging reports Evgeny Novikov Vladimir Gratinskiy Actions
8142 Requality Bug New Normal Не обновляется UniEditor Viktoria Kopach Actions
8141 Requality Bug New Normal Нет возможности сделать Undo после обработки документа Update процессором. Viktoria Kopach Actions
8138 Klever Feature New Normal Do not place closing rectangles on the separate lines Evgeny Novikov Vladimir Gratinskiy Actions
8137 Klever Feature New High Properly place context switching model comments Evgeny Novikov Ilja Zakharov Actions
8135 Klever Feature New High Precise environment model can reveal bug in a driver that incorrectly uses registration or allocation functions Ilja Zakharov Ilja Zakharov Actions
8132 Klever Feature New High Create model headers Evgeny Novikov Evgeny Novikov 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
8129 Klever Feature New High Get rid of model function comments Evgeny Novikov Evgeny Novikov Actions
8128 Klever Feature New Normal Support model comments parametrization Evgeny Novikov Actions
8127 Klever Feature New High Clarify model comments a bit Evgeny Novikov Ilja Zakharov Actions
8121 Klever Feature New High Do not check final state if modules can't be unloaded Evgeny Novikov Evgeny Novikov Actions
8120 Klever Feature New High Execute intensive disk operations using RAM Evgeny Novikov Actions
8111 Klever Feature New High Wrap model comments over several lines automatically 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
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
8100 Klever Feature New High Add support for verification back-ends hot-plug Evgeny Novikov Actions
8092 Klever Feature New High Support lightweight verificaiton for rules checking API usage Evgeny Novikov Actions
8089 Klever Bug New High Canceling of tasks doesn't work with VerifierCloud Evgeny Novikov Actions
8088 Klever Bug New High Merge configurations properly Evgeny Novikov Ilja Zakharov Actions
8082 Klever Feature New High Forbid unknown verdicts and empty tags for false positives Evgeny Novikov Vladimir Gratinskiy Actions
8081 Klever Feature New High Report interfaces for which environment models were not generated Evgeny Novikov Ilja Zakharov Actions
8076 Klever Bug New Normal Improve model for ieee80211_alloc_hw Ilja Zakharov Ilja Zakharov Actions
8075 Klever Bug New Normal Improve file_operations specification Ilja Zakharov Ilja Zakharov Actions
8074 Klever Bug New Normal Improve model for alloc_netdev Ilja Zakharov Ilja Zakharov Actions
8073 Klever Bug New High Improve usb_serial_driver specification Ilja Zakharov Ilja Zakharov Actions
8072 Klever Feature New High Environment model should correctly use device identifiers Ilja Zakharov Ilja Zakharov Actions
8071 Klever Bug New High Develop specification for platform_driver_register Ilja Zakharov Ilja Zakharov Actions
8070 Klever Bug New High Develop model for usb_class_driver Ilja Zakharov Ilja Zakharov Actions
8069 Klever Bug New High Improve specification for i2c_driver Ilja Zakharov Ilja Zakharov Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.6 Actions
8059 Requality Bug New Normal Не сохраняется изменение типа сортировки узлов проекта Viktoria Kopach Actions
8058 Requality Bug New Normal Не сразу случается undo имени папки Viktoria Kopach Actions
8057 Requality Feature New Normal У папок отображается name или id? Viktoria Kopach Actions
8052 Klever Bug New Normal Missed return value of usb_serial_driver->open Pavel Andrianov Ilja Zakharov Actions
8049 Klever Bug New High Take into account that directories with external modules can be specified via absolute paths Evgeny Novikov Actions
8045 Klever Bug New High EMG should invoke post_probe() when probe callback is not called Evgeny Novikov Ilja Zakharov Actions
8032 Klever Feature New Normal New version of EMG does not call callbacks from arrays of structures Ilja Zakharov Ilja Zakharov Actions
8031 Deductive Verification Tools for Linux Kernel Bug New Normal Why3IDE не запускается из-за неверной темы Eugene Kornykhin Actions
8027 Requality Feature New Normal В Requality Explorer нужно меню для переименования папок отчетов Viktoria Kopach Actions
8026 Requality Bug New Normal У папок отчетов есть Properties view, соответствующее требованию Viktoria Kopach Actions
8025 Requality Bug New Normal Ошибка при запуске генерации отчета из командной строки - NoClassDefFoundError Viktoria Kopach Actions
8024 Requality Bug New Normal Генерируется с ошибкой отчет Test Purposes Coverage при наличии тестовых ситуаций Viktoria Kopach Actions
8019 Requality Bug New Normal Фрагменты становятся orphan при переименовании папки документов Viktoria Kopach Actions
8017 Klever Feature New Normal Add an option for users to see tag sets rather than tag maps Evgeny Novikov Vladimir Gratinskiy Actions
8012 Klever Bug New High Fix tty_driver allocation/deallocation kernel model Alexey Khoroshilov Actions
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov Actions
8004 Klever Bug New High Extension of linux:arch:io rule specification Alexey Khoroshilov Evgeny Novikov Actions
(1151-1200/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF