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
9929 Verilog Translator Bug Resolved Normal TODO: QuipTestCase extraneous input 'someone' expecting 'someone' Maxim Chudnov Sergey Smolov Verilog Translator - 0.1 Actions
9822 Verilog Translator Bug Resolved Normal ru.ispras.verilog.parser.VerilogIeeeTestCase.runTest_10_04_04_1: Starting points limit has been exhausted: 513 Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
10197 Verilog Translator Bug Resolved Normal Test const.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
10196 Verilog Translator Bug Resolved Normal Test mpeg1.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
10009 Verilog Translator Task Verified Normal README\ChangeLog -> README.md\ChangeLog.md Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
9848 Verilog Translator Bug Verified Normal ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Pci_Bus_Verilog_Mv_files_PciNorm: Function declaration '$ND' has not been found Sergey Smolov Sergey Smolov Verilog Translator - 0.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
9986 QEMU4V Task New Normal check if QEMU4V features can be implemented as TCG plugin Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10002 Fortress Task Open Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
10299 Fortress Bug Resolved Normal Probably, a bug in BitVector.isAll{Set,Reset} Alexander Kamkin Sergey Smolov Fortress - 0.4 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
10336 Retrascope Bug Verified Normal Incorrect ranges in vhdl/plasma/reg_bank.vhd Mikhail Lebedev 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
10287 Retrascope Feature Verified Normal TestModel: keep top level module name & variables Sergey Smolov Sergey Smolov Retrascope - 1.1 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
10104 Retrascope Bug Open Normal Wiki documentation errata Nikita Chertok 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
(1-25/53) Per page: 25, 50, 100

Also available in: Atom CSV PDF