Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9862 QEMU4V Task Closed Normal migrate to QEMU 4.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
9909 QEMU4V Task Closed Normal migrate to QEMU 4.2.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10258 QEMU4V Task Closed Normal migrate to QEMU 5.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
7593 Retrascope Bug Closed Normal mips16\data_mem.v: java.lang.IllegalArgumentException Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7720 Retrascope Bug Closed Normal mips16/data_mem.v: The expression to be computed (ram) contains unevaluated variables: [ram] Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7576 Retrascope Bug Closed Normal mips16/hazard_detection_unit.v: java.lang.IllegalArgumentException: Constraint contains errors Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
7474 Verilog Translator Bug Closed Normal missing empty branches for 'if' statements Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9365 QEMU4V Bug Closed Normal missing insn binary images in MIPS trace Sergey Smolov Sergey Smolov QEMU4V - 0.2 Actions
5873 Retrascope Bug Closed High missing transitions in b04 EFSM Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5413 Retrascope Task Closed High [model][basis] add HdlType field to VariableData class Sergey Smolov Sergey Smolov 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
6041 Retrascope Task Closed Normal move to gradle based build system Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9784 Verilog Translator Bug Closed Normal mul_fifo.v: wrong Fortress-based node representation of assignment left-hand side Sergey Smolov Sergey Smolov Verilog Translator - 0.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
8615 Retrascope Feature Closed Normal "--no-backends" command line option Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9457 Retrascope Feature Closed Normal one more auxiliary path in GADD model for terminal endings Sergey Smolov Sergey Smolov Retrascope - 1.0 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
(501-525/680) Per page: 25, 50, 100

Also available in: Atom CSV PDF