Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5756 Retrascope Task Closed Normal EFSM pre-initial state + initialization action Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5711 Retrascope Task Closed Normal Check generated *.smv files with external model checker Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
5704 Retrascope Task Closed Normal try to find a way to remove 'toplevel' option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5702 Retrascope IDE Task New Normal [tool] create Retrascope icon Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
5696 Retrascope Task Closed Normal exclude sandbox & test folder from distribution Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5695 Retrascope Task Closed Normal mark retrascope.sh as executable automatically Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5694 Retrascope Task Closed Normal collect the *.smt2 files and analyse constraints Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5689 Retrascope Task Closed High implement test-to-Verilog printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5688 Retrascope Task Closed Normal implement test-to-VHDL printer Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5683 Retrascope Task Closed Normal STD_LOGIC/STD_ULOGIC processing Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5651 Verilog Translator Task Closed Normal Translate logic operation results into Boolean expressions Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5609 Retrascope Task Rejected Normal make process-local variables be efsm-model-global Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5600 Fortress Task Closed High [transformer][ruleset] implement ITE rules Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5599 Fortress Task Closed Normal [expression] implement getDataTypeId() method Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5592 Retrascope Task Closed Normal [project] prepare tar.gz distribution for future release Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5591 Retrascope Task Closed Normal [project] run scripts for Unix/Windows Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5590 Retrascope Task Closed Normal [efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5589 Retrascope Task Closed Normal [efsm][extraction] state-like variables use/def statistics Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5588 Retrascope Task Closed Normal extend HDL test suite Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
5579 Retrascope Task Closed Normal [cfg] simplify the Assignment class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5578 Retrascope Task Closed Normal [verilog][parser][cfg] add support of multiple assignments Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
5576 Fortress Task Closed Normal Сalculate data type of expression with BVCONCAT Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5570 Retrascope Task Closed Low [build] build.xml: extract equal code parts from 'test'/'test.short' targets Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5569 Retrascope Task Closed Normal support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5568 Retrascope Task Closed Normal [cfg] support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5563 Fortress Task Closed Normal [data] implement DataTypeId.isLogic(Enum<?> id) method Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5561 Retrascope Task Closed Normal [project] use InvariantChecks if needed Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5549 Retrascope Task Closed Normal [vhdl][cfg][parser] add support of instantiation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5548 Retrascope Task Closed Low elaborate minimips modules Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5546 Retrascope IDE Task New Normal [log] print Retrascope log to Eclipse log Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
5541 Retrascope Task Closed High [engine][printer][smv] move engine.printer.smv package to sandbox Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5537 Retrascope Task Closed Normal [efsm][generator][test] make log shorter Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5526 Retrascope Task Rejected Normal Retrascope engines configuration Sergey Smolov Alexander Kamkin Actions
5507 Retrascope Task Rejected Normal [engine][basis] implement PrinterEngine Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5504 Retrascope Task New Normal add channels between EFSMs Sergey Smolov Mikhail Lebedev Retrascope - 1.2 Actions
5503 Retrascope Task Closed Normal [parser][basis][backend] implement "atomic hammock" backend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5501 Retrascope Task Closed Normal [efsm][generator][test] Class 'EfsmAtomicTestGenerator' is never used Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5498 Retrascope Task Closed Normal [model][basis][memory] rename IMemory interface Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5497 Retrascope Task Closed Normal [efsm][extractor][conflict][jaxb] rename jaxb-classes Sergey Smolov Mikhail Lebedev Retrascope - 0.1 Actions
5495 Retrascope Task Closed Normal [structure] move ru.ispras.retrascope.testbench.media package to ru.ispras.retrascope.result.testbench Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5494 Retrascope Task Closed Normal [structure] remove ru.ispras.retrascope.engine.efsm.testgen.heuristic empty package Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5482 Retrascope Task Closed Normal [wiki] documentation for 0.1-alpha Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5481 Retrascope Task Closed Normal [structure] remove raw packages from main build folder Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5478 Fortress Task Closed Normal Implement Transformer.reduce(Node expression) Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5471 Retrascope Task Closed Normal [structure] Rename *ing packages Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5466 Fortress Task Closed High [solver] print the input constraint when solver returns ERROR/UNKNOWN verdict Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5465 Fortress Task Closed Normal [z3][solver] solver errors elaboration scheme Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5464 Fortress Task Closed High [solver] boolean expressions casting into bit vectors Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5462 Fortress Task Closed Normal [arrays] arrays initialization is inconvenient Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5459 Retrascope Task Closed Normal implement EngineFrontend/EngineBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5456 Retrascope Task Closed Normal [structure] Замечания по структуре каталогов Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5455 Verilog Translator Task Closed Normal устранить зависимость от ANTLRWorks Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5447 Fortress Task Closed High [transformer][ruleset] стандартизация константных выражений вида "x EQ y" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5446 Retrascope Task Closed Normal [efsm][examples] Добавить мета-информацию в B04/B13 Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5433 Fortress Task Closed Normal [test] write executable SMT-LIB code at testcase comments Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5424 Fortress Task Closed High [transformer][ruleset] дополнительные правила стандартизации Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5420 Retrascope Task Closed Normal [util] метод fillNodeWithValues заменить на Transformer.substituteAllBindings Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5419 Fortress Task Closed High [transformer][ruleset] реализовать правило expr==false -> NOT(expr == true) Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5416 Retrascope Task Closed Normal [model][basis] мета-информация Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5413 Retrascope Task Closed High [model][basis] add HdlType field to VariableData class Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5399 Fortress Task Closed Normal silent & debug mode Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5398 Retrascope Task Closed Normal [verilog][parser][cfg] Преобразование констант в NodeValue Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
5395 Retrascope Task Closed Normal [cfg] getOnlyChild(), getOnlyParent() Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5394 Retrascope Task Closed High [cgaa][transformer][efsm] реализовать построение переходов EFSM Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5322 Retrascope Task Closed Normal [cgaa][transformer][efsm] Продумать и реализовать эвристику определения reset Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5320 Retrascope Task Rejected Normal [cfg] Методы копирования вершин CFG Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5319 Fortress Task Closed Low [expression] Реализовать метод получения коллекции NodeVariable по объекту Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5318 Fortress Task Closed Low [solver][expression] Реализовать метод разрешения ограничений SolverResult solve(Constraint constraint) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5317 Fortress Task Closed Low [expression] Реализовать метод построения Constraint по Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5316 Fortress Task Closed Low [expression] Операции теории множеств над коллекциями объектов Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5313 Fortress Task Closed Normal [expression] Сделать публичным метод ExprUtils.isSAT(Node assertion) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5259 Fortress Task Rejected Normal [build] удаление папки distr при выполнении команды ant clean Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5258 Retrascope Task Closed High [basis] Обработка циклических зависимостей разных Engine Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
5249 Retrascope Task Closed High [basis] Настройка Retrascope для работы с SMT-решателями Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5247 Retrascope Task Closed Normal [basis] Набор идентификаторов Engine как опция командной строки Retrascope Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5229 Fortress Task Closed High [transformer] Упрощение выражений с LOGIC_BOOLEAN Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5226 Retrascope Task Closed Normal [cfg][printer][graphml] Узлы SOURCE и BASIC_BLOCK имеют одинаковый цвет Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5175 Retrascope Task Closed Normal [vhdl][parser] IG array elaboration Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5161 Retrascope Task Closed Normal [parser][cfg] Обработка циклов Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5157 Retrascope Task Closed Normal [cfg] addNewVariable(DataType type) Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5145 Retrascope Task Closed Normal [testbench] Iface Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5143 Retrascope Task Closed Normal [cfg][extractor][iface] CfgIfaceExtractor Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5142 Retrascope Task Closed Normal [wiki] Классификация Engine Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5127 Retrascope IDE Task Rejected Normal [cfg][printer][graphml] Интегрировать плагин для yEd Sergey Smolov Alexander Protsenko Actions
5122 Retrascope Task Closed Normal [parser][backend] elaborate non-blocking assignments Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5117 Retrascope Task Closed Normal [parser][basis][backend] CfgMergeBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5116 Retrascope Task Closed Normal [parser][basis][backend] CfgBasicBlockBackend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5108 Retrascope Task Closed Normal [parser] Реализовать базовые классы Parser, Frontend, Backend Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5107 Retrascope Task Closed Normal [cfg] Реализовать VhdlExpressionPrinter Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5095 Retrascope Task Closed Normal [parser][cfg] Оптимизация представления ветвлений - многовариантные узлы switch Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5090 Retrascope Task Closed Normal [cfg] Оптимизация представления ветвлений Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4999 Retrascope Task Closed Normal [cfg][transformer][cgaa] CFG-to-GADD transformer Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4998 Retrascope Task Closed Normal [model][cgaa] Data structure for guarded actions decision diagram Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4984 Retrascope Task Closed Normal [vhdl][translator] Группировка неблокирующих присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4972 Retrascope Task Closed Normal [model][cgaa] странное расположение метода addVarNamePrefix Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4971 Retrascope Task Rejected Normal [model][basis] AssignAtomicStatement vs Binding Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4967 Retrascope Task Closed Normal [model][basis] Реализовать хранилище деклараций переменных Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4966 Retrascope Task Closed Normal [model][basis] Убрать поле isDefined класса MVariableData Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
(201-300/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF