Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
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
(1651-1700/2099) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF