Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
10089 MicroTESK Bug Resolved Normal [x86] Некорректные трассы для тестов "bubble_sort" и "euclid" Alexander Protsenko Sergey Smolov MicroTESK - 2.5 Actions
10280 MicroTESK Bug Resolved Normal Can't find QEMU trace file Alexander Protsenko Sergey Smolov MicroTESK - 2.5 Actions
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10474 QEMU4V Task Resolved Normal migrate to QEMU 5.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
5150 Retrascope Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov Retrascope - 1.2 Actions
5027 Retrascope Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4881 Retrascope Task New Low Реализация алгоритма построения блок-схем по внутреннему представлению Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4880 Retrascope Task New Low Проектирование внутреннего представления для блок-схем Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4888 Retrascope Task New Low Генератор заготовки тестовой системы по ее описанию Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4889 Retrascope Task New Low Генерация заготовки эталонной модели по набору блок-схем (flowchart) Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4887 Retrascope Task New Low Разработка внутреннего представления тестовой системы Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
10462 Retrascope Bug Resolved Normal Разработка VCD printer. Тип переменной "NULL" Maxim Chudnov Sergey Smolov Retrascope - 1.1 Actions
10230 Retrascope Task Verified Normal Java version in README.md Mikhail Lebedev Sergey Smolov Retrascope - 1.1 Actions
10336 Retrascope Bug Verified Normal Incorrect ranges in vhdl/plasma/reg_bank.vhd Mikhail Lebedev Sergey Smolov Retrascope - 1.1 Actions
10104 Retrascope Bug Open Normal Wiki documentation errata Nikita Chertok Sergey Smolov Retrascope - 1.1 Actions
10060 Retrascope Feature Resolved High Support SVA properties in CFG model Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
10174 Retrascope Bug Verified High nondeterminism at EFSM transitions generation Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10081 Retrascope Bug Resolved High tool hangs right after final "Duration: " msg Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10191 Retrascope Bug Resolved Normal java.lang.IllegalArgumentException: Specified target vertex 0 is not part of graph Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
9488 Retrascope Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
10116 Retrascope Feature Resolved Normal command line option to check if solvers\model checkers that are used are installed properly Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
10166 Retrascope Task Resolved Normal rename some class fields & related methods Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
(1-25/53) Per page: 25, 50, 100

Also available in: Atom CSV PDF