Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use Vladimir Gratinskiy Vladimir Gratinskiy Actions
3849 Requality Bug New Normal Page Down в UniEditor отматывает больше, чем Page Up Viktoria Kopach Actions
3840 Linux Driver Verification Feature New Normal Move reference launches database somewhere from the root partition Evgeny Novikov Vadim Mutilin Actions
3837 Requality Bug New Normal Ошибки Update-процессора Viktoria Kopach Actions
3834 Linux Driver Verification Bug New Normal SMT sovler answer is strange: Error: Invalid top level command. wenrui meng Actions
3833 Veritool Bug New Normal add lib64 to paths Mikhail Chupilko Mikhail Chupilko Actions
3832 Linux Kernel Safety RuleDB Feature Open Normal 147: RCU update operations should not be used inside RCU read sections Vadim Mutilin Actions
3831 Linux Kernel Safety RuleDB Feature Open Normal 146: Mixing operations of RCU nested read sections of different types Vadim Mutilin Vladimir Gratinskiy Actions
3813 Veritool Bug Resolved Normal В структуре inputs_t нет reset Alexander Kamkin Alexander Kamkin Actions
3803 Linux Driver Verification Feature Open Normal Take rerouter errors into account Evgeny Novikov Evgeny Novikov Actions
3781 Veritool Task Resolved Normal Нумерация тактов Alexander Kamkin Alexander Kamkin Actions
(1551-1600/1993) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF