Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6331 Retrascope Task Verified Normal look into unused classes Sergey Smolov Sergey Smolov Actions
6301 Retrascope Task Verified Normal unused code Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9060 Retrascope Bug Verified Normal Warnings and IllegalArgumentException in VcegarPjIcramCgaaGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
9228 Retrascope Bug Verified Normal Index ranges disappear in the new version of a variable Mikhail Lebedev Sergey Smolov Retrascope - 1.0 Actions
9291 Retrascope Task Verified Normal use nuXmv 1.1.1 Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9446 Retrascope Feature Resolved Normal Debug output file for engines and their backends Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9438 Retrascope Task Resolved Normal jUnit test cases for CFG-GAD transformer that check path number Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9427 Retrascope Task Resolved Normal reuse variables' versions upon CGAA model building Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9389 Retrascope Task Verified Normal Assertion -> Property Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9281 Retrascope Feature Verified Normal cmdline option that specifies clock variable for CGAA model Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5023 Retrascope Task Resolved Normal Провести сравнение методов генерации функциональных тестов Alexander Kamkin Sergey Smolov Actions
9310 Retrascope Task Verified Normal substitute SMT-LIB variables those names are equal to builtin commands Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9264 Retrascope Feature Verified Normal '--disable-backends' cmdline option for HDL parser engine Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9249 Retrascope Task Verified Normal separate jUnit test cases for EfsmGraphMlPrinter engine Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9196 Retrascope Task Resolved Normal CfgVarRangeBlockBackend: use array length for assignment elaboration Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9191 Retrascope Task Resolved Normal use StringTemplate facilities to generate HDL testbenches Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9039 Retrascope Feature Resolved Normal Support for designs that assign to variable more than once Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9149 Retrascope Feature Resolved Normal elaborate ranged assignments for bitvector target variables Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9075 Retrascope Bug Verified Normal java.lang.IllegalArgumentException: testNum 0 != 1 topModuleNum Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9066 Retrascope Bug Verified Normal ru.ispras.retrascope.engine.hldd.printer.smv.Texas97HlddSmvPrinterTestCase.runTest: java.lang.NullPointerException Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8991 Retrascope Bug Verified Normal CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditions Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8994 Retrascope Task Verified Normal "BVEXTRACT( ... BVEXTRACT (j i x))" expression transformation rule to the tool ruleset Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8976 Retrascope Task Verified Normal Range: old -> high, young -> low Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8975 Retrascope Task Verified Normal RetrascopeException.makeException -> RetrascopeException.exception Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
8615 Retrascope Feature Verified Normal "--no-backends" command line option Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
(26-50/70) Per page: 25, 50, 100

Also available in: Atom CSV PDF