Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10133 Retrascope Task New Normal use '-coi' model checker option Sergey Smolov Mikhail Lebedev Retrascope - 1.1 Actions
9658 Retrascope Task Closed Normal Check for duplicated data access conflict assertions Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
6509 Retrascope Task Rejected Normal merge embedded switch nodes with conditions depending exactly from the same variable(s) Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6331 Retrascope Task Closed Normal look into unused classes Sergey Smolov Sergey Smolov Actions
5569 Retrascope Task Closed Normal support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
8429 Retrascope Task Closed Normal backend that transforms "x[i] := y" assignments into constant-ranged Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10128 Retrascope Task Verified Normal rename multi-test classes: "*TestCase" -> "*TestSuite" Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
9889 MicroTESK for Plasma Task Resolved Normal rm deprecated 'findbugs' plugin from Gradle build script Sergey Smolov Actions
6431 Retrascope Task Closed Normal descriptor for (VHDL) variables & signals Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6410 Retrascope Task Closed Normal no-loop/no-recursion functions elaboration Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
8975 Retrascope Task Closed Normal RetrascopeException.makeException -> RetrascopeException.exception Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6301 Retrascope Task Closed Normal unused code Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10059 Retrascope Task Rejected Normal mv all the project tests to JUnit 5 platform Sergey Smolov Maxim Chudnov Retrascope - 1.1 Actions
3434 Retrascope Task Closed Normal Извлечение "протоопераций" из Data Flow Graph Sergey Smolov Sergey Smolov Actions
6447 Retrascope Task Closed Normal SMV-based counterexamples parser Sergey Smolov Mikhail Lebedev Retrascope - 0.2 Actions
9430 Retrascope Task Closed Normal CGAA -> GADD Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6454 Retrascope Task Closed Normal group sequential switches with boolean conditions of "x == a" form Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
3637 Retrascope Task Closed Normal Пространство состояний Sergey Smolov Sergey Smolov Actions
3934 Retrascope Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
9196 Retrascope Task Closed Normal CfgVarRangeBlockBackend: use array length for assignment elaboration Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9806 Retrascope Task Closed Normal rm dependency from commons-lang library Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9389 Retrascope Task Closed Normal Assertion -> Property Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10166 Retrascope Task Resolved Normal rename some class fields & related methods Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
7742 Retrascope Task Closed Normal enum support Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
9488 Retrascope Task New Normal CFG-GADD transformer backend that makes assignments index and range-free Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
(51-75/675) Per page: 25, 50, 100

Also available in: Atom CSV PDF