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

Also available in: Atom CSV PDF