Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4564 Linux Kernel Safety RuleDB Feature New Normal Automatic extraction of Linux kernel API usage rules on the basis of BUG*/WARN* macros Evgeny Novikov Actions
4560 Linux Kernel Safety RuleDB Feature Open Normal Count usage of Linux kernel API elements Evgeny Novikov Evgeny Novikov Actions
4556 Linux Driver Verification Feature Open High LDV Tools definitely needs configure Evgeny Novikov Evgeny Novikov Actions
4551 Requality Bug New Normal Эклипс аварийно завершается (падает) Николай Пакулин Actions
4548 Requality Bug New Normal Изображения из Description пропадают Denis Kildishev Denis Kildishev Actions
4545 Linux Driver Verification Feature New Normal Resource Manager system settings Evgeny Novikov Actions
4529 Requality Bug New Normal Добавление операций с Report и Document в транзакции Denis Kildishev Actions
4523 Fortress Task New Immediate Implementing a solver for simple constraints Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4520 Requality Bug Open Normal Имя требования отображается в Requality Explorer не полностью. Viktoria Kopach Denis Kildishev Actions
4519 Requality Bug New Normal В UniEditor проблема в работе панели инструментов в режиме редактирования узла Viktoria Kopach Actions
4518 Requality Bug New Normal Несоответствие размеров узла в UniEditor и Report размерам картинки Viktoria Kopach Actions
4492 Requality Bug New Normal Проблемы браузерного движка в UniEditor Viktoria Kopach Actions
4485 Linux Kernel Safety RuleDB Feature New Normal 154: incorrect usage of wwmutex interface Alexey Khoroshilov Actions
4475 Linux Driver Verification Bug New High LDV fails with gcc 4.7.3 Vadim Mutilin Ilja Zakharov Actions
4463 C Instrumentation Framework Bug Open High DEG2 inforequests failed after switching to the new CIF and aspectator versions. Ilja Zakharov Evgeny Novikov Actions
4450 Linux Driver Verification Bug New High DB provides too small size for tool problem descriptions Evgeny Novikov Vitaly Mordan Actions
4449 C Instrumentation Framework Bug Open High Prohibit usage of incorrect sets of type specifiers among declaration specifiers of one declaration in pointcuts Evgeny Novikov Evgeny Novikov Actions
4448 Linux Kernel Safety RuleDB Bug New Normal Support of __always_inline functions Ilya Shchepetkov Actions
4442 Linux Driver Verification Feature New High Environment model should provide "triggers" for rule models Evgeny Novikov Ilja Zakharov Actions
4437 Linux Driver Verification Bug New Normal Make clean in cvc3 Pavel Andrianov Vadim Mutilin Actions
4435 Linux Driver Verification Feature Open Normal Make LDV Analytics Center projector safe Evgeny Novikov Evgeny Novikov Actions
4434 Requality Task New Low Для операций с файлами и ресурсами добавить проверки Denis Kildishev Actions
4433 Requality Bug New Normal При обновлении из SVN не появляется импортированный документ Viktoria Kopach Actions
4432 Requality Bug New Normal Получается выделить кусок текста внутри выделенного фрагмента Viktoria Kopach Actions
4430 Requality Task New Normal Разработать средства кастомизации Test Procedure Denis Kildishev Actions
4414 C Instrumentation Framework Bug Open High Too many isany_params Ilya Shchepetkov Evgeny Novikov Actions
4413 Linux Driver Verification Bug New Normal Timeout script works incorrectly Evgeny Novikov Vitaly Mordan Actions
4398 C Instrumentation Framework Bug Open High Aspectator and C back-end should support GCC vector type Evgeny Novikov Evgeny Novikov Actions
4381 Linux Driver Verification Feature New High Add RCV interface for CBMC Evgeny Novikov Vitaly Mordan Actions
4380 Veritool Task New Normal Выделить reset из testbench.v в специальный метод Mikhail Chupilko Mikhail Chupilko Actions
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4360 Linux Kernel Safety RuleDB Feature Open Normal 150: Locking and unlocking SDIO bus Alexey Khoroshilov Actions
4174 C Instrumentation Framework Bug Open High Typedef irq_handler_t is't matched properly Ilja Zakharov Evgeny Novikov Actions
4171 Veritool Bug Resolved Normal Int128-512: Возможно ошибка Alexander Kamkin Alexander Kamkin Actions
4170 Veritool Bug Resolved Normal Int128-512: Замечания к коду Alexander Kamkin Alexander Kamkin Actions
4126 Verilog Translator Task New Normal Unification of AST_EDGE and AST_TABLE_EDGE Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4121 C++TESK Testing ToolKit Task New Normal [build] Стабилизация версии 1.0 Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4110 Verilog Translator Bug New Normal AST_DECLARATION: adding delay for net declarations Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4106 Verilog Translator Task New Low Support for library and config declaration Alexander Kamkin Alexander Kamkin Verilog Translator - 0.3 Actions
4097 Verilog Translator Task Open Normal Проверка зацикливания include-файлов Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4092 Requality Developer Request New Normal Пересмотр системы transaction для ожидаемой поддержки undo\redo Denis Kildishev Actions
4063 Requality Bug New Normal Errors running builder 'Requality Checkers' on project 'Project04'. Viktoria Kopach Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
4057 Retrascope Feature New Low Механизм поиска взаимных блокировок Igor Melnichenko Mikhail Lebedev Retrascope - 2.0 Actions
4019 C Instrumentation Framework Feature Open High Generate nonrerouting variants for rerouting aspect rule models Evgeny Novikov Evgeny Novikov Actions
3986 Linux Kernel Safety RuleDB Feature New Normal Common kernel core model for current and atomic_* Alexey Khoroshilov Vadim Mutilin Actions
3940 Requality Bug New Normal Не отображаются UniEditor, Review, редактор документа и отчеты. Viktoria Kopach Actions
3931 Linux Driver Verification Bug New Normal ETV doesn't render indirect function call properly Mikhail Mandrykin Evgeny Novikov Actions
3919 C Instrumentation Framework Feature Open High Lock master branch of Aspectator submodule Evgeny Novikov Evgeny Novikov Actions
(1601-1650/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF