Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10382 Verilog Translator Bug Resolved Normal java.lang.IllegalArgumentException: expression=(BVREPEAT test.uut._saxi_maskwidth 1) Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
10336 Retrascope Bug Verified Normal Incorrect ranges in vhdl/plasma/reg_bank.vhd Mikhail Lebedev Sergey Smolov Retrascope - 1.1 Actions
10299 Fortress Bug Resolved Normal Probably, a bug in BitVector.isAll{Set,Reset} Alexander Kamkin Sergey Smolov Fortress - 0.4 Actions
10287 Retrascope Feature Verified Normal TestModel: keep top level module name & variables Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10280 MicroTESK Bug Resolved Normal Can't find QEMU trace file Alexander Protsenko Sergey Smolov MicroTESK - 2.5 Actions
10238 Retrascope Feature Resolved Normal VerilogParser: '--library-file' cmdline option Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10230 Retrascope Task Verified Normal Java version in README.md Mikhail Lebedev Sergey Smolov Retrascope - 1.1 Actions
10229 Retrascope Test Suite Task Resolved Normal Handle $ND functions Mikhail Lebedev Sergey Smolov Actions
10197 Verilog Translator Bug Resolved Normal Test const.v has an error. Alexey Danilov Sergey Smolov Verilog Translator - 0.1 Actions
10196 Verilog Translator Bug Resolved Normal Test mpeg1.v has an error. Alexey Danilov Sergey Smolov Verilog Translator - 0.1 Actions
10195 Verilog Translator Bug Resolved Normal Test test_12_04_02_4.v has an error. Alexey Danilov Sergey Smolov Verilog Translator - 0.1 Actions
10194 Verilog Translator Bug Resolved Normal Test test_07_14_02_2_1.v has an error Alexey Danilov Sergey Smolov Verilog Translator - 0.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
10174 Retrascope Bug Verified High nondeterminism at EFSM transitions generation Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10166 Retrascope Task Resolved Normal rename some class fields & related methods Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10125 Retrascope Feature Resolved Normal '--detailed' option for efsm-graphml-printer engine Sergey Smolov Sergey Smolov Retrascope - 1.1 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
10115 Retrascope Feature Verified Normal '--version' command line option Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10112 Retrascope Feature Resolved Normal '--no-phase' command line option for 'cfg-gadd-transformer' engine Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
10104 Retrascope Bug Open Normal Wiki documentation errata Nikita Chertok Sergey Smolov Retrascope - 1.1 Actions
10100 Trace Matcher Feature Resolved Normal "--boot-size <num>" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
10099 Trace Matcher Feature Resolved Normal "--start-addr <hex value>" command line option Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
10089 MicroTESK Bug Resolved Normal [x86] Некорректные трассы для тестов "bubble_sort" и "euclid" Alexander Protsenko Sergey Smolov MicroTESK - 2.5 Actions
10082 Retrascope Bug New Normal WARNING: Illegal reflective access by org.python.core.PySystemState 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
(1-25/53) Per page: 25, 50, 100

Also available in: Atom CSV PDF