Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6871 Retrascope Task New Normal Creation of a dummy acyclic EFSM constructor Igor Melnichenko
6870 Retrascope Task New Normal Handling simple counters and cycles Igor Melnichenko
6869 Retrascope Task New Normal Gathering statistics on counters and cycles Igor Melnichenko
6292 Retrascope Bug Closed Low NPE in CfgInterfaceExtractorTestCase Igor Melnichenko Sergey Smolov Retrascope - 0.1
5895 Retrascope Task Closed Normal Remove in/out/inout modifiers from HDL_TYPE_STR Igor Melnichenko Sergey Smolov Retrascope - 0.1
5894 Retrascope Bug Closed Normal HDL_TYPE_STR for bit_vector Igor Melnichenko Sergey Smolov Retrascope - 0.1
5891 Retrascope Task Closed Normal New EFSM structure support in CgaaEfsmTransformer Igor Melnichenko Sergey Smolov Retrascope - 0.1
5890 Retrascope Task Closed High New EFSM structure support in EfsmGraphMlVisitor Igor Melnichenko Alexander Protsenko Retrascope - 0.1
5889 Retrascope Task Closed High New EFSM structure support in EfsmConflictExtractor Igor Melnichenko Mikhail Lebedev Retrascope - 0.1
5886 Retrascope Task Closed Normal Remove redundant invariant conditions on variables Igor Melnichenko Sergey Smolov Retrascope - 0.1
5867 Retrascope Task Closed Normal Implement hashCode() and equals(...) for VariableContainer/MetaInfo and it's children Igor Melnichenko Sergey Smolov Retrascope - 0.1
5866 Retrascope Bug Closed Normal Incomplete HDL_TYPE_STR meta information for integers Igor Melnichenko Sergey Smolov Retrascope - 0.1
5865 Retrascope Task Closed Normal Remove empty lines from log Igor Melnichenko Sergey Smolov Retrascope - 0.1
5860 Retrascope Task Closed Normal Разделение сигналов в VariableContainer Igor Melnichenko Sergey Smolov Retrascope - 0.1
5859 Retrascope Task Closed Normal Названия модулей, извлекаемых из VHDL-описания Igor Melnichenko Sergey Smolov Retrascope - 0.1
5632 Retrascope Developer Request Closed Normal Избыточные переходы в b11 Igor Melnichenko Sergey Smolov Retrascope - 0.1
5605 Retrascope Bug Closed Normal [efsm] [transition] Из b10 извлекается состояние, "оторванное" от остальных Igor Melnichenko Sergey Smolov Retrascope - 0.1
5598 Retrascope Bug Closed Normal [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние Igor Melnichenko Sergey Smolov Retrascope - 0.1
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4
5595 Retrascope Bug Closed Normal [efsm] [transition] Переход с несовместимостью между действием и конечным состоянием в b10 Igor Melnichenko Sergey Smolov Retrascope - 0.1
5587 Retrascope Feature Closed Normal [efsm] Исключение инвариантов из состояний и GA Igor Melnichenko Sergey Smolov Retrascope - 0.1
5586 Retrascope Feature Closed Normal [guarded-action] [extraction] Представление переходов в начальное состояние, выполняемых по сбросу Igor Melnichenko Sergey Smolov Retrascope - 0.1
5573 Retrascope Feature Closed Normal [efsm] Включение инвариантов на переменные в EFSM Igor Melnichenko Sergey Smolov Retrascope - 0.1
5571 Retrascope Task Closed Normal [efsm] [extraction] Извлечение ограничений на значения всех переменных из их объявлений Igor Melnichenko Sergey Smolov Retrascope - 0.1
5553 Fortress Feature Closed Normal Реализовать правило (AND (NOT (EQ expr const1)) (EQ expr const2)) => (EQ expr const2), если const2 != const1 Igor Melnichenko Artem Kotsynyak Fortress - 0.3
(1-25/51) Per page: 25, 50, 100

Also available in: Atom CSV PDF