Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9277 Retrascope Task Verified High mv clock-like variable detection to CFG-to-CGAA transformer Sergey Smolov Sergey Smolov Retrascope - 1.0
9248 Retrascope Task Verified High CFG model process should not have it's own internal variables Sergey Smolov Sergey Smolov Retrascope - 1.0
9247 Retrascope Feature Open High CFG-to-C printer Sergey Smolov Sergey Smolov Retrascope - 1.0
9227 Retrascope Feature Resolved High support for 'BVEXTRACT(x y (SELECT z w))' constructions in left hand sides of assigments Sergey Smolov Sergey Smolov Retrascope - 1.0
9242 Retrascope Task Verified High check BVEXTRACT operation's parameter order Sergey Smolov Sergey Smolov Retrascope - 1.0
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov
9415 QEMU4V Task New Normal migrate to QEMU 3.1.0 Sergey Smolov Sergey Smolov QEMU4V - 0.3
9389 Retrascope Task Verified Normal Assertion -> Property Sergey Smolov Sergey Smolov Retrascope - 1.0
9051 QEMU4V Feature Resolved Normal basic support for PowerPC emulation Sergey Smolov Sergey Smolov QEMU4V - 0.3
9281 Retrascope Feature Verified Normal cmdline option that specifies clock variable for CGAA model Sergey Smolov Sergey Smolov Retrascope - 1.0
5023 Retrascope Task Resolved Normal Провести сравнение методов генерации функциональных тестов Alexander Kamkin Sergey Smolov
9310 Retrascope Task Verified Normal substitute SMT-LIB variables those names are equal to builtin commands Sergey Smolov Sergey Smolov Retrascope - 1.0
9291 Retrascope Task Verified Normal use nuXmv 1.1.1 Sergey Smolov Sergey Smolov Retrascope - 1.0
9264 Retrascope Feature Verified Normal '--disable-backends' cmdline option for HDL parser engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9249 Retrascope Task Verified Normal separate jUnit test cases for EfsmGraphMlPrinter engine Sergey Smolov Sergey Smolov Retrascope - 1.0
9196 Retrascope Task Resolved Normal CfgVarRangeBlockBackend: use array length for assignment elaboration Sergey Smolov Sergey Smolov Retrascope - 1.0
8970 Retrascope Bug Verified Normal NullPointerException in VisBpbCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
8972 Retrascope Bug Verified Normal Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
8973 Retrascope Bug Verified Normal ClassCastException in VcegarPjIcuCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
8974 Retrascope Bug Verified Normal IllegalArgumentException in VcegarSdlxCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9025 Retrascope Bug Verified Normal IllegalArgumentException in VcegarPjIcramCfgGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9026 Retrascope Bug Verified Normal IllegalArgumentException in vcegar/cache_coherence designs Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9060 Retrascope Bug Verified Normal Warnings and IllegalArgumentException in VcegarPjIcramCgaaGraphMlTestCase Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9228 Retrascope Bug Verified Normal Index ranges disappear in the new version of a variable Mikhail Lebedev Sergey Smolov Retrascope - 1.0
9191 Retrascope Task Resolved Normal use StringTemplate facilities to generate HDL testbenches Sergey Smolov Sergey Smolov Retrascope - 1.0
(1-25/60) Per page: 25, 50, 100

Also available in: Atom CSV PDF