Project

General

Profile

0.1

closed

Features: VHDL/Verilog support (in part), EFSM extraction and visualization, EFSM-based test generation, Eclipse plugin

100%

267 issues   (267 closed — 0 open)

Issues by
Bug

93/93
Feature

5/5
Developer Request

5/5
Task

164/164
Related issues
Bug #3605: [vhdl][parser][cfg] Zamia не обрабатывает пакеты функций Actions
Bug #4357: [cfg][transformer][cgaa] Внести исправления в методы извлечения clock-like variables Actions
Bug #4836: [cfg][transformer][cgaa] java heap space error at control.vhd\mlite2sram.vhd Actions
Bug #4922: [cfg][model] Ошибка в обходчике Actions
Bug #4926: [cfg][model] Путаница с наследниками CfgNode Actions
Bug #4928: [cfg] Range может состоять из нескольких участков Actions
Bug #4957: [efsm][simulator] Избыточный код для логирования Actions
Bug #4958: [efsm][simulator] Избыточное использование метода isLoggable Actions
Bug #4979: [vhdl][parser] Исключение при запуске VhdlParser Actions
Bug #4985: [basis] the 'test' target is unreachable Actions
Bug #4995: [basis] Ошибочный порядок применения инструментов Actions
Bug #5003: [util] XmlUtilTest.java: java.lang.RuntimeException: An error occured while trying to resolve a constraint. Actions
Bug #5004: [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest.java : java.lang.RuntimeException: An error occured while trying to resolve a constraint. Actions
Bug #5005: [util] XmlUtilTest: java.lang.AssertionError Actions
Bug #5018: [build] Compilation warnings: unchecked call Actions
Bug #5019: [efsm][testgen][test] runSolver -> NullPointerException Actions
Bug #5067: [build] Не нужно комитить некомпилируемое! Actions
Bug #5068: [comments] Комментарии к коду Actions
Bug #5073: [verilog][parser][cfg] Запуск парсера приводит IllegalStateException Actions
Bug #5075: [vhdl][parser][cfg] System variable PYTHONPATH is not specified, python will not work Actions
Bug #5078: [basis] Ошибка в CfgEngine.getOutput() Actions
Bug #5096: [basis] FileCreator: "Can't create file" error Actions
Bug #5101: [cfg] The exception has been encountered: java.lang.IllegalStateException: Incorrect variable data type Actions
Bug #5103: [efsm][simulator][execution] ReferenceEfsmTestGeneratorTest -> NullPointerException Actions
Bug #5105: [basis][progressbar] Engine.setProgress() Actions
Bug #5110: [cfg] CfgModelNode.getDescription() Actions
Bug #5112: [verilog][parser][cfg] Исключение при обработке описаний с несколькими модулями Actions
Bug #5126: [cfg][printer][graphml] Узлы BasicBlock и Merge имеют одинаковый цвет и форму Actions
Bug #5171: [efsm][testgen][test] ru.ispras.retrascope.util.XmlUtilTestCase -> NullPointerException Actions
Bug #5172: [cfg] Обход Cfg с циклами Actions
Bug #5248: [efsm][testgen]FateTestCase -> java.lang.NumberFormatException: For input string: "-2975976114" Actions
Bug #5256: [cfg][printer][graphml] Не отображать вершины типа Case Actions
Bug #5263: [efsm][generator][test] EfsmTestGeneratorTestCase -> java.lang.OutOfMemoryError: Java heap space Actions
Bug #5404: [verilog][parser][cfg] java.lang.IllegalArgumentException: Unsupported data type: UNKNOWN Actions
Bug #5414: [engine][xml]/[util]: TransducedAccessor.get -> NullPointerException Actions
Bug #5443: [test][engine][media] TestVhdlTestbenchPrinterTestCase -> java.lang.RuntimeException: The exception has occurred while printing test pattern file Actions
Bug #5457: [javadoc] Поправить комментарий в классе engine.efsm.testgen.ulisse.PercolationCoefficient Actions
Bug #5477: [cgaa][transformer][efsm] java.lang.UnsupportedOperationException: (BVAND (BVNOT rst) val_rd) Actions
Bug #5499: [efsm][extractor][conflict] move & rename EfsmConflicts class Actions
Bug #5500: [engine][testbench] possible bug in TestVhdlTestbenchPrinter engine id Actions
Bug #5502: [engine][testbench] 'engine' subpackages must not contain entities Actions
Bug #5505: [javadoc] warnings while ConflictModel processing Actions
Bug #5506: [javadoc] warning while EfsmAtomicFateTestGenerator processing Actions
Bug #5508: [cfg][printer][smv] java.io.IOException Actions
Bug #5509: [cfg][printer][smv] javadoc warnings Actions
Bug #5510: [efsm][generator][test] RandomFateSequenceIterator compilation error Actions
Bug #5513: [verilog][parser] Bad casting from NodeValue to NodeOperation Actions
Bug #5524: [engine][xml] wrong package for TestXmlPrinter Actions
Bug #5525: [engine][xml] wrong package for TestXmlPrinterTestCase Actions
Bug #5528: [engine][testbench] java.nio.file.FileAlreadyExistsException: decider_parser.vhd Actions
Bug #5536: [efsm][generator][test] EfsmTestGeneratorVhdlTestCase -> java.lang.RuntimeException: Unexpected simulation result Actions
Bug #5538: [efsm][generator][test] EfsmFateTestGeneratorVhdlTestCase -> java.lang.RuntimeException: Unexpected simulation result. Actions
Bug #5539: [efsm][extractor][test] unsat guard at b01 EFSM transition Actions
Bug #5540: [javadoc] EfsmSimulator.java:119: warning - @param argument "efsm" is not a parameter name. Actions
Bug #5552: [efsm] [extraction] Извлечение событий Actions
Bug #5572: [efsm][simulator] b10: Failed to resolve the assignment constraint Actions
Bug #5595: [efsm] [transition] Переход с несовместимостью между действием и конечным состоянием в b10 Actions
Bug #5597: [efsm] Processing of loops Actions
Bug #5598: [efsm] [reset] При извлечении EFSM из b03 не находится начальное состояние Actions
Bug #5605: [efsm] [transition] Из b10 извлекается состояние, "оторванное" от остальных Actions
Bug #5608: [efsm][generator][test][fate] FATE generator hangs at b03 description from ITC'99 Actions
Bug #5680: [efsm][generator][test][fate] DirectedFateGenerator.generateSequence -> NullPointerException Actions
Bug #5709: TestMinimiser.java:43: warning - @param argument "test" is not a parameter name. Actions
Bug #5715: EfsmTestGenerator.java:138: error: method put in interface Map<K,V> cannot be applied to given types -> traversedPaths.put(efsm, new HashSet<>()); Actions
Bug #5719: EFSM Test Generator hangs on b11 Actions
Bug #5736: EfsmSimulator.substituteVariables(EfsmSimulator.java:736) -> NullPointerException Actions
Bug #5778: ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinterTestCase -> java.util.NoSuchElementException Actions
Bug #5812: Замена методов toString() на getLabel() (refactoring) Actions
Bug #5827: TestVhdlTestbenchPrinterDummyTestCase -> NoSuchFileException Actions
Bug #5828: TestVhdlTestbenchPrinterVhdlTestCase -> IllegalArgumentException: Unexpected event value: true Actions
Bug #5831: EfsmSimulator.java -> Tag @see: can't find getResetGuardedAction() in ru.ispras.retrascope.model.efsm.Efsm Actions
Bug #5866: Incomplete HDL_TYPE_STR meta information for integers Actions
Bug #5871: ru.ispras.retrascope.test.printer.testbench -> ru.ispras.retrascope.engine.test.printer.testbench Actions
Bug #5873: missing transitions in b04 EFSM Actions
Bug #5894: HDL_TYPE_STR for bit_vector Actions
Bug #6279: TestXmlPrinterTestCase: IllegalArgumentException: Output file name isn't specified Actions
Bug #6280: TestVhdlTestbenchPrinterVhdlTestCase: The exception has occurred while printing test pattern file Actions
Bug #6281: EfsmTestGeneratorVhdlTestCase: Efsm.UNINITIALISED_STATE isn't supported yet Actions
Bug #6292: NPE in CfgInterfaceExtractorTestCase Actions
Bug #6293: XmlTestParserTestCase: NoSuchMethodException Actions
Bug #6335: fifo.v: non-constant number of extracted EFSMs' transitions Actions
Bug #6353: Case children of one Switch node can have equal NodeValue Actions
Bug #6362: src/test/verilog/adder/adder4_testbench.v: wrong CFG model Actions
Bug #6365: src/test/vhdl/example/example.vhd: IllegalArgumentException Actions
Bug #6375: missing javadoc Actions
Bug #6413: b03.vhd: different EFSM extraction stats Actions
Bug #6424: b05.vhd: line 64: at token "d32_-10": syntax error Actions
Bug #6425: b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException Actions
Bug #6426: example.vhd: HlddXmvVisitor.onProcessEnd(HlddXmvVisitor.java:381) -> NullPointerException Actions
Bug #6443: print error message when "--toplevel" value is wrong Actions
Bug #6504: fifo/fifo.v: nuSMV model checker returns ERROR Actions
Bug #6510: fix javadoc Actions
Bug #6730: fix javadoc Actions
Feature #4953: [basis] Кэш EntityType Actions
Feature #4990: [basis][log] Формат логов Actions
Feature #5573: [efsm] Включение инвариантов на переменные в EFSM Actions
Feature #5586: [guarded-action] [extraction] Представление переходов в начальное состояние, выполняемых по сбросу Actions
Feature #5587: [efsm] Исключение инвариантов из состояний и GA Actions
Developer Request #5144: [cfg] Получение последнего подмодуля данного модуля Actions
Developer Request #5146: [cfg] Нахождение вершины в cfg с заданным id или с id+CfgNodeType Actions
Developer Request #5580: [efsm][conflict][extractor][jaxb] can GuardedAction() call at the JaxbGuardedActionAdapter be substituted by something else Actions
Developer Request #5632: Избыточные переходы в b11 Actions
Developer Request #6537: Efsm: collection of resetting guarded actions Actions
Task #3982: [code] Рекомендации по коду Actions
Task #3983: [efsm][docs] Описание алгоритма построения автоматов Actions
Task #3985: [efsm][model] EFSM walker and visitor Actions
Task #4059: [efsm][simulator][trace] Доработка класса Simulator для использования с несколькими EFSM Actions
Task #4359: [cfg] Реализовать метод toConstraint() Actions
Task #4558: [cfg][model] Реализовать обходчик для внутреннего представления описаний аппаратуры Actions
Task #4565: [cgaa][transformer][efsm] Derive models for ICT-99 and analyze results Actions
Task #4661: [cgaa][transformer][efsm] Изменить алгоритм извлечения состояний Actions
Task #4829: [cfg][transformer][cgaa] CFG: Assertion building Actions
Task #4872: [verilog][translator] Проработать интерфейс backend'а транслятора с Verilog Actions
Task #4873: [verilog][parser][cfg] Построение внутреннего представления по AST Actions
Task #4876: [basis][testgen] Разработка представления тестовой последовательности Actions
Task #4878: [basis][testgen] Разработка парсера внешнего представления тестовой последовательности Actions
Task #4879: [efsm][printer] Разработка принтеров EFSM-моделей в графические форматы Actions
Task #4885: [eclipse][verilog] Редактор описаний на языке Verilog Actions
Task #4893: [build] Скрипт сборки проекта Actions
Task #4905: [cfg][printer][graphml] Вывод CFG-моделей в формате GraphML Actions
Task #4906: [basis] Интерфейсы базовых сущностей Retrascope Actions
Task #4907: [verilog][translator] Добавить в проект Verilog-транслятор Actions
Task #4908: [exec] Система запуска инструментов Actions
Task #4915: [vhdl][translator] Разработка обертки вокруг zamiaCAD-транслятора Actions
Task #4916: [cfg][model] Добавить класс верхнего уровня CfgModel Actions
Task #4919: [cfg][engine] Базовый инструмент для CfgModel Actions
Task #4920: [efsm][engine] Базовый инструмент для работы с EfsmModel Actions
Task #4923: [basis][log] Подсистема логирования Actions
Task #4924: [cfg][model] Представление непрерывных присваиваний Actions
Task #4925: [vhdl][translator] Обработка непрерывных присваиваний Actions
Task #4927: [cfg][model] Убрать узел типа ASSERT Actions
Task #4945: [basis][log] Опция логирования Actions
Task #4946: [basis][log] Ведение лога для нескольких логгеров Actions
Task #4947: [basis][engine] Описатель параметров командной строки Actions
Task #4959: [cfg][transformer][efsm] Разработка fake-версии CfgEfsmTransformer Actions
Task #4966: [model][basis] Убрать поле isDefined класса MVariableData Actions
Task #4967: [model][basis] Реализовать хранилище деклараций переменных Actions
Task #4971: [model][basis] AssignAtomicStatement vs Binding Actions
Task #4972: [model][cgaa] странное расположение метода addVarNamePrefix Actions
Task #4981: [efsm][conflicts] Изменение Efsm для представления конфликтов в XML Actions
Task #4984: [vhdl][translator] Группировка неблокирующих присваиваний Actions
Task #4986: [efsm][testgen] Параметры генератора тестов Actions
Task #4998: [model][cgaa] Data structure for guarded actions decision diagram Actions
Task #4999: [cfg][transformer][cgaa] CFG-to-GADD transformer Actions
Task #5022: [basis][testgen] Разработка конвертера тестовой последовательности в формат DECIDER Actions
Task #5024: [verilog][printer][smv] Небрежно оформлен код Actions
Task #5025: [verilog][printer][smv] В проект должны быть добавлены Verilog-описания, на которых проводилось тестирование Actions
Task #5026: [cfg][transformer][efsm] Создание примеров EFSM-моделей Actions
Task #5039: [verilog][parser][cfg] Неправильное оформление кода Actions
Task #5040: [verilog][parser][cfg] Отсутствуют тесты для Verilog-парсера Actions
Task #5050: [efsm][testgen][test] Организация генераторов тестовой последовательности на основе EFSM Actions
Task #5060: [verilog][parser][cfg] Обработка конструкций case Actions
Task #5061: [verilog][parser][cfg] Обработка конструкции непрерывного присваивания assign Actions
Task #5062: [verilog][parser][cfg] Проверка того, что выражение в списке чувствительности является переменной Actions
Task #5072: [cfg] Поддержка initial-процессов Actions
Task #5088: [basis] Поддержка параметров командной строки с предопределенным набором значений Actions
Task #5089: [efsm][detector][cfg] Добавить параметр для задания глубины перебора Actions
Task #5090: [cfg] Оптимизация представления ветвлений Actions
Task #5091: [cfg] Дуги из ASSERT в SINK Actions
Task #5095: [parser][cfg] Оптимизация представления ветвлений - многовариантные узлы switch Actions
Task #5107: [cfg] Реализовать VhdlExpressionPrinter Actions
Task #5108: [parser] Реализовать базовые классы Parser, Frontend, Backend Actions
Task #5115: [cfg] CfgProcessNode.getDescription: posedge/negedge Actions
Task #5116: [parser][basis][backend] CfgBasicBlockBackend Actions
Task #5117: [parser][basis][backend] CfgMergeBackend Actions
Task #5142: [wiki] Классификация Engine Actions
Task #5143: [cfg][extractor][iface] CfgIfaceExtractor Actions
Task #5145: [testbench] Iface Actions
Task #5149: [parser][cfg] Слияние процессов непрерывного присваивания Actions
Task #5157: [cfg] addNewVariable(DataType type) Actions
Task #5204: [efsm] Синхронная параллельная композиция Actions
Task #5207: [verilog][parser][cfg] Дублирование кода и другие замечания к коду Actions
Task #5226: [cfg][printer][graphml] Узлы SOURCE и BASIC_BLOCK имеют одинаковый цвет Actions
Task #5247: [basis] Набор идентификаторов Engine как опция командной строки Retrascope Actions
Task #5249: [basis] Настройка Retrascope для работы с SMT-решателями Actions
Task #5258: [basis] Обработка циклических зависимостей разных Engine Actions
Task #5268: [cfg][backend][cfg] Объединение простейших процессов Actions
Task #5274: [cfg][printer][graphml] Получение принтера выражений из конфигурации Actions
Task #5275: [build] Добавить проект в Hudson Actions
Task #5394: [cgaa][transformer][efsm] реализовать построение переходов EFSM Actions
Task #5398: [verilog][parser][cfg] Преобразование констант в NodeValue Actions
Task #5413: [model][basis] add HdlType field to VariableData class Actions
Task #5416: [model][basis] мета-информация Actions
Task #5420: [util] метод fillNodeWithValues заменить на Transformer.substituteAllBindings Actions
Task #5445: [cgaa][transformer][efsm] Реализовать Static Single Assignment для Action. Actions
Task #5446: [efsm][examples] Добавить мета-информацию в B04/B13 Actions
Task #5456: [structure] Замечания по структуре каталогов Actions
Task #5459: implement EngineFrontend/EngineBackend Actions
Task #5471: [structure] Rename *ing packages Actions
Task #5481: [structure] remove raw packages from main build folder Actions
Task #5482: [wiki] documentation for 0.1-alpha Actions
Task #5483: [vhdl][parser][cfg] Обработка условий на события при построении CFG Actions
Task #5494: [structure] remove ru.ispras.retrascope.engine.efsm.testgen.heuristic empty package Actions
Task #5495: [structure] move ru.ispras.retrascope.testbench.media package to ru.ispras.retrascope.result.testbench Actions
Task #5497: [efsm][extractor][conflict][jaxb] rename jaxb-classes Actions
Task #5498: [model][basis][memory] rename IMemory interface Actions
Task #5501: [efsm][generator][test] Class 'EfsmAtomicTestGenerator' is never used Actions
Task #5503: [parser][basis][backend] implement "atomic hammock" backend Actions
Task #5507: [engine][basis] implement PrinterEngine Actions
Task #5537: [efsm][generator][test] make log shorter Actions
Task #5541: [engine][printer][smv] move engine.printer.smv package to sandbox Actions
Task #5551: [efsm] [extraction] Избыточные условия в состояниях Actions
Task #5561: [project] use InvariantChecks if needed Actions
Task #5568: [cfg] support process variable declarations Actions
Task #5569: support process variable declarations Actions
Task #5570: [build] build.xml: extract equal code parts from 'test'/'test.short' targets Actions
Task #5571: [efsm] [extraction] Извлечение ограничений на значения всех переменных из их объявлений Actions
Task #5578: [verilog][parser][cfg] add support of multiple assignments Actions
Task #5579: [cfg] simplify the Assignment class Actions
Task #5589: [efsm][extraction] state-like variables use/def statistics Actions
Task #5590: [efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics Actions
Task #5591: [project] run scripts for Unix/Windows Actions
Task #5592: [project] prepare tar.gz distribution for future release Actions
Task #5609: make process-local variables be efsm-model-global Actions
Task #5683: STD_LOGIC/STD_ULOGIC processing Actions
Task #5688: implement test-to-VHDL printer Actions
Task #5694: collect the *.smt2 files and analyse constraints Actions
Task #5695: mark retrascope.sh as executable automatically Actions
Task #5696: exclude sandbox & test folder from distribution Actions
Task #5704: try to find a way to remove 'toplevel' option Actions
Task #5755: use Zamia IG visitors & walkers Actions
Task #5756: EFSM pre-initial state + initialization action Actions
Task #5832: print some info about failed tests Actions
Task #5859: Названия модулей, извлекаемых из VHDL-описания Actions
Task #5860: Разделение сигналов в VariableContainer Actions
Task #5865: Remove empty lines from log Actions
Task #5867: Implement hashCode() and equals(...) for VariableContainer/MetaInfo and it's children Actions
Task #5868: Migrate to Fortress 0.4 Actions
Task #5870: Retrascope exceptions Actions
Task #5872: HDL file meta info Actions
Task #5875: Check state/transition count for extracted EFSM models Actions
Task #5886: Remove redundant invariant conditions on variables Actions
Task #5887: rename 'decider_parser.vhd' Actions
Task #5889: New EFSM structure support in EfsmConflictExtractor Actions
Task #5890: New EFSM structure support in EfsmGraphMlVisitor Actions
Task #5891: New EFSM structure support in CgaaEfsmTransformer Actions
Task #5895: Remove in/out/inout modifiers from HDL_TYPE_STR Actions
Task #5896: remove parameterized collections from public method interfaces Actions
Task #5897: fix javadoc for methods using InvariantChecks.checkNotNull Actions
Task #5904: save jUnit test results in build/test-results Actions
Task #6041: move to gradle based build system Actions
Task #6049: VHDL test printer: write documentation to project wiki Actions
Task #6050: Path to testbench directory as command-line parameter Actions
Task #6051: state-like variable names option Actions
Task #6059: Simple solver for "x && !x" constraints Actions
Task #6282: finish AstSmvVisitor & CfgAstVisitor merge Actions
Task #6327: log messages class Actions
Task #6336: jUnit tests for EfsmConflictExtractor Actions
Task #6350: EfsmConflictExtractor wiki documentation Actions
Task #6354: Collapsing group node for Module Actions
Task #6367: Fortress expressions printing in an SMV format Actions
Task #6368: Ranged assignment merge Actions
Task #6389: Wiki documentation about testbench simulation Actions
Task #6410: no-loop/no-recursion functions elaboration Actions
Task #6412: engine combining HLDD & assertion model Actions
Task #6431: descriptor for (VHDL) variables & signals Actions
Task #6445: compare nuXmv and NuSMV Actions
Task #6453: Statement class for grouping CFG nodes Actions
Task #6454: group sequential switches with boolean conditions of "x == a" form Actions
Task #6456: CFG model as hirerarchical list of statements Actions
Task #6483: keep related clock-like variables for top-level containers of EFSM assertions Actions
Task #6490: Gradle task & cmdline scripts for running the tool from terminal Actions
Task #6509: merge embedded switch nodes with conditions depending exactly from the same variable(s) Actions
Task #6511: keep expressions at case statements Actions
Task #6528: random test generator Actions
Task #6534: pass reset-like signals to EFSM-based assertions Actions
Task #6864: Remove crypto-cores from test suite Actions