Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
7988 Klever Feature New Normal Automatic editing of mark patterns Ilja Zakharov Vladimir Gratinskiy Actions
7986 Klever Bug New Normal Support "initialization" via OF_DECLARE Alexey Khoroshilov Actions
7981 1-Click Eclipse Text Editor Feature New Normal Игнорировать код и returns в грамматике Denis Buzdalov Actions
7980 1-Click Eclipse Text Editor Bug New Normal Если в грамматике есть alias, meragrammar генерируется неправильно Denis Buzdalov Actions
7979 Klever Feature New High Implement a EMG translator for simplified environment model with signal exchange Ilja Zakharov Ilja Zakharov Actions
7975 Klever Bug New High For experts incorrect accesses are shown at the jobs tree page Evgeny Novikov Vladimir Gratinskiy Actions
7964 Klever Feature New High Do not cause memory issues detection in generated environment models Evgeny Novikov Ilja Zakharov Actions
7959 Requality Bug New Normal В списке типов List есть ENUM_DEFINITION Denis Kildishev Actions
7958 Linux Kernel Safety RuleDB Task New Normal Never directly free @dev after calling device_add function Vadim Mutilin Actions
7951 Requality Bug New Normal Виртуальный узел в Requality Explorer помечается значком v как клон Viktoria Kopach Actions
7948 Klever Bug New High linux:alloc: misleading comment Vadim Mutilin Actions
7946 Klever Bug New High linux:kernel:sched:completion: Misleading comment Vadim Mutilin Actions
7945 Requality Bug New Normal Некорректное копирование клонов Viktoria Kopach Actions
7944 Requality Bug New Normal Некорректное перетаскивание клонов Viktoria Kopach Actions
7943 Klever Bug New High linux:usb:urb allocated memory with kzalloc Vadim Mutilin Actions
7942 Klever Feature New High Use models of atomic_dec_and_test and atomic_set for all rule specifications Vadim Mutilin Actions
7941 Requality Bug New Normal Некорректная работа при совпадающих идентификаторах при наличии скрытых виртуальных узлов Viktoria Kopach Actions
7940 Klever Bug New High linux:drivers:base:class should support several allocations of different chrdev Vadim Mutilin Actions
7937 Klever Feature New High Develop and use models for get_device/device_add/put_device for all rule specifications Vadim Mutilin Actions
7936 Klever Bug New High Kernel model for dev_set_drvdata is absent or impresize Vadim Mutilin Evgeny Novikov Actions
7933 Klever Feature New High Recheck presence of verifier directory Evgeny Novikov Actions
7930 Klever Feature Feedback High Propose to show all actions of scenarios if it contains at least one note in error trace Ilja Zakharov Actions
7928 Klever Bug New High Rule linux:block:genhd forbids double allocation Ilja Zakharov Actions
7922 Klever Bug New Normal Problem with kernel config in linux:bitops (old 129_1a) rule Vitaly Mordan Actions
7916 Requality Bug New Normal С помощью переиспользования у требования могут быть одновременно ребенок-требование и ребенок-тестовая ситуация. Viktoria Kopach Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
7913 Klever Feature New Normal Urb completion callbacks specification required Alexey Khoroshilov Actions
7911 Klever Feature New High Add test cases for linux:kernel:locking:* rule specifications when CONFIG_LOCKDEP is unset Evgeny Novikov Actions
7909 Klever Feature Open High Add model for macro IDR_INIT (rule specification linux:lib:idr) Evgeny Novikov Actions
7889 Requality Bug New Normal По клику на требовании в редакторе выделяется второй по порядку фрагмент Viktoria Kopach Actions
7888 Requality Bug New Normal После Undo удаления фрагмента этот фрагмент не отображается в Outline Viktoria Kopach Actions
(1051-1100/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF