Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10258 QEMU4V Task Closed Normal migrate to QEMU 5.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
5413 Retrascope Task Closed High [model][basis] add HdlType field to VariableData class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4971 Retrascope Task Rejected Normal [model][basis] AssignAtomicStatement vs Binding Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5498 Retrascope Task Closed Normal [model][basis][memory] rename IMemory interface Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5416 Retrascope Task Closed Normal [model][basis] мета-информация Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4967 Retrascope Task Closed Normal [model][basis] Реализовать хранилище деклараций переменных Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4966 Retrascope Task Closed Normal [model][basis] Убрать поле isDefined класса MVariableData Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4998 Retrascope Task Closed Normal [model][cgaa] Data structure for guarded actions decision diagram Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4972 Retrascope Task Closed Normal [model][cgaa] странное расположение метода addVarNamePrefix Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9859 Verilog Translator Task New Normal modify "ERROR: [Internal] null" line at error log Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
6041 Retrascope Task Closed Normal move to gradle based build system Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
10059 Retrascope Task Rejected Normal mv all the project tests to JUnit 5 platform Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
9277 Retrascope Task Closed High mv clock-like variable detection to CFG-to-CGAA transformer Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
3755 С++TESK Development Environment Task New Normal namespace name for test system prototypes Sergey Smolov Actions
5985 Fortress Task Closed High Node ExprUtils.getEquation(Node target, Node value) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5802 Fortress Task Closed High NodeValue newZero(DataType dataType) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
7397 Fortress Task Closed Normal NodeVariable.new<type-of-variable>(final String name) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5967 MicroTESK Task Closed Low one directory for all components of distribution Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
7732 Trace Matcher Task Closed Normal oracle: record queue based comparison approach Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
7770 Retrascope Task Closed Normal 'others' attribute upon array/bitvector initialization Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5122 Retrascope Task Closed Normal [parser][backend] elaborate non-blocking assignments Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5116 Retrascope Task Closed Normal [parser][basis][backend] CfgBasicBlockBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5117 Retrascope Task Closed Normal [parser][basis][backend] CfgMergeBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
(501-525/677) Per page: 25, 50, 100

Also available in: Atom CSV PDF