Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6061 Retrascope Task Closed Normal EFSM-based transition assertion generator Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5588 Retrascope Task Closed Normal extend HDL test suite Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10139 Retrascope Task Verified High fix coding issues at *BenchTest classes Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10128 Retrascope Task Verified Normal rename multi-test classes: "*TestCase" -> "*TestSuite" Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10073 Retrascope Task Verified High fix checkstyle warnings Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10059 Retrascope Task Rejected Normal mv all the project tests to JUnit 5 platform Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10023 Retrascope Bug Verified High ru.ispras.retrascope.parser.verilog.VerilogParserTestCase: java.lang.Exception: Method runTest should have no parameters Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
9911 Retrascope Task Verified Urgent merge "*/sample/*TestCase" Java test cases Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
10289 Retrascope Bug Verified Normal ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinterTestCase.runTest: java.lang.OutOfMemoryError: Java heap space Sergey Smolov Mikhail Lebedev Retrascope - 1.1 Actions
10266 Retrascope Bug Verified Normal ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinterTestCase.runTest: java.lang.NullPointerException Sergey Smolov Mikhail Lebedev Retrascope - 1.1 Actions
10133 Retrascope Task New Normal use '-coi' model checker option Sergey Smolov Mikhail Lebedev 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
10236 Retrascope Bug Rejected Normal efsm-test-generator hangs at opencores/mips16/data_mem.v 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
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
10085 Retrascope Bug Closed Normal EfsmTransitionPropertyExtractorTestCase: There is no declaration of variable neither in this EFSM nor in its ancestors: process_0.D Sergey Smolov Sergey Smolov Retrascope - 1.1 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
10075 Retrascope Bug Resolved Normal jython.jar: WARNING: An illegal reflective access operation has occurred at JDK 11 Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
(551-575/687) Per page: 25, 50, 100

Also available in: Atom CSV PDF