Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
3759 С++TESK Development Environment Task Feedback Normal Разработать демонстрационный пример для структуры соответствия Sergey Smolov Actions
3756 С++TESK Development Environment Task New Immediate Генерация C++ кода для модели сообщений Sergey Smolov Actions
3755 С++TESK Development Environment Task New Normal namespace name for test system prototypes Sergey Smolov Actions
3733 Linux Driver Verification Feature New Normal Driver libraries: incomplete analysis coming from decomposition of driver modules Alexey Khoroshilov Actions
3702 Linux Driver Verification Bug New High CSD behaves nondeterministically with FS drivers and rules 32_7a, 118_1a Evgeny Novikov Ilja Zakharov Actions
3701 Linux Driver Verification Bug Open Normal CPAchecker degradation on drivers/staging/go7007/s2250.ko Vadim Mutilin Vadim Mutilin Actions
3692 C Instrumentation Framework Feature Open High Add ability to get information on structure variable initialization Evgeny Novikov Evgeny Novikov Actions
3689 C Instrumentation Framework Feature Open Low Add support of primitive pointcut that can refer both to macros and functions Evgeny Novikov Evgeny Novikov Actions
3674 C++TESK Testing ToolKit Bug New Normal [build] Немного warning`ов Alexander Protsenko Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
3667 C Instrumentation Framework Feature Open High ARG_SIGN for anonymous structures Alexey Khoroshilov Evgeny Novikov Actions
3665 Requality Bug New Normal Undo не работают при фокусе на окне Properties Viktoria Kopach Actions
3662 BLAST Support New Normal Blast documentation? Roopak Sinha Actions
3659 С++TESK Development Environment Task New Normal Соответствие полей классов сообщений и сигналов HDL-модели Sergey Smolov Actions
3628 С++TESK Development Environment Task Open Normal Описание XML-схемы для прототипирования тестовых систем Alexander Kamkin Alexander Protsenko Actions
3627 C Instrumentation Framework Feature Open High Add license, installation and usage instructions Evgeny Novikov Evgeny Novikov Actions
3608 Linux Kernel Safety RuleDB Feature Open Normal 145: Usage of clock functions Vladimir Gratinskiy Vadim Mutilin Actions
3582 C++TESK Testing ToolKit Task New Normal [core] C++TESK as Explicit-State Model Checker Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
3572 Local Support Project Bug Resolved Normal Ревизии svn иногда неправильно упорядочиваются Denis Buzdalov Actions
3563 BLAST Bug New Normal For flexible arrays CIL remembers the number of array elements after the first initialization and then when more elements are initialized it fails Evgeny Novikov Actions
(1701-1750/2124) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF