Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5357 Linux Kernel Safety RuleDB Feature New Normal 203: All allocated IO-memory should be freed Pavel Andrianov Actions
5356 Linux Kernel Safety RuleDB Feature New Normal 207: IRQ registration and deregistration Pavel Andrianov Actions
5355 Linux Kernel Safety RuleDB Feature New Normal 205: All allocated socket buffers should be freed Pavel Andrianov Actions
5354 Linux Kernel Safety RuleDB Feature New Normal 200: DMA maps for SCSI commands Pavel Andrianov Actions
5353 Linux Driver Verification Task Resolved Normal доступ к git репозиторию Alexey Demakov Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5349 Linux Kernel Safety RuleDB Feature Open Normal 039: Usage of spin lock and unlock functions Vadim Mutilin Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5347 Linux Driver Verification Bug New Low Cannot upload pax archive with results obtained with deg-2 Ilja Zakharov Ilja Zakharov Actions
5328 C Instrumentation Framework Bug Open High Missing extern for inline functions Vadim Mutilin Evgeny Novikov Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5314 C Instrumentation Framework Bug Open High Invalid type encountered (hidden by variable name) Vadim Mutilin Evgeny Novikov Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
5307 Linux Driver Verification Feature New Normal Current problem recalculation is too slow Ilja Zakharov Vitaly Mordan Actions
5306 Linux Driver Verification Bug New Normal LDV Uploader does not fail properly if there is not a pax archieve specified Evgeny Novikov Vitaly Mordan Actions
5298 Linux Driver Verification Feature New High Develop a new tool that can suggest module renaming Evgeny Novikov Actions
5297 Linux Driver Verification Feature New Normal Develop a new tool that lists C files for Linux kernel modules and the kernel Evgeny Novikov Actions
5295 Linux Driver Verification Feature New Normal Use "word-wrap: break-word" rather than "white-space: pre" in the comment field of the KB interface Evgeny Novikov Actions
5294 Linux Driver Verification Feature New Normal Add lang="en" to the comment field the KB interface Evgeny Novikov Actions
5291 Linux Driver Verification Feature New Normal KB interface should simplify and restrict using of tags Evgeny Novikov Actions
5287 C Instrumentation Framework Feature New Low Experiment with sound implementation of rerouter Evgeny Novikov Actions
5284 Linux Driver Verification Feature New Normal Visualize list of tasks Evgeny Novikov Evgeny Novikov Actions
5282 C Instrumentation Framework Bug Open High Incompatible types when assigning to type ‘struct <anonymous>’ from type ‘struct <anonymous>’ Vadim Mutilin Evgeny Novikov Actions
5281 Linux Driver Verification Feature New Normal ldv-upload-2 should upload all pax archives passed as parameters into a single task Vadim Mutilin Vitaly Mordan Actions
5276 Retrascope IDE Task New Normal [cfg][visualizator][zest] Отладить размещение графа с циклами Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5273 Retrascope IDE Task New Normal [cfg][visualizator][zest] Получение принтера выражений из конфигурации Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5272 Retrascope IDE Task New Normal [cfg][visualizator][zest] Установка прогресса при построении графа Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5271 Retrascope IDE Task New Normal [task][configurator] Деактивация кнопки OK Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5266 Requality Task New Low Часть static методов вынести из RequalityCLI Denis Kildishev Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Retrascope IDE - 0.1 Actions
5223 Linux Driver Verification Feature New Normal KB Recalc shouldn't require update-delete access to the KB-results cache Evgeny Novikov Evgeny Novikov Actions
5215 Linux Driver Verification Feature New Normal MySQL should terminate request if a caller has gone Evgeny Novikov Evgeny Novikov Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
5202 Requality Bug New Normal Несовпадение границ узла в UniEditor Viktoria Kopach Actions
5201 Requality Bug New Normal Непонятно, как в UniEditor выделить узел, чтобы его скопировать. Viktoria Kopach Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
5159 Requality Bug New Normal При наличии ошибок в шаблоне не сразу перегенерирует Denis Kildishev Actions
5153 Requality Feature New Normal Подсвечивать все фрагменты требования Anastasia Tugaenko Actions
5150 Retrascope Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov Retrascope - 1.2 Actions
5128 Requality Feature New Normal Полуавтоматическое формирование имени длинного требования Anastasia Tugaenko Actions
5102 Linux Driver Verification Bug New Normal sd_start handler not extracted for gspca_benq.ko, gspca_konica.ko Vadim Mutilin Ilja Zakharov Actions
5093 Retrascope IDE Task New High [cfg][visualizator][zest] Следует открывать граф в области редактора Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5080 Requality Task New Normal Описать принципы работы с новыми точками расширения Denis Kildishev Denis Kildishev Actions
5071 Requality Feature New Normal При удалении документа предлагаются к удалению не все требования Viktoria Kopach Actions
5063 Requality Feature New Normal Добавить в Properties view отчета краткое описание выбранного шаблона Viktoria Kopach Actions
5057 Retrascope IDE Bug New Normal [tool][configurator] Для низкоуровнего конфигуратора Arguments не нужно выдавать --arguments Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5053 Requality Task New Normal Нужно добавить механизмы исправления ошибок(в том числе - с проблемными Location) Denis Kildishev Actions
5051 Requality Feature New Normal Сделать механизм для объединения документов в один Denis Kildishev Actions
5027 Retrascope Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
(1501-1550/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF