Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5683 Retrascope Task Closed Normal STD_LOGIC/STD_ULOGIC processing Sergey Smolov Sergey Smolov 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
5481 Retrascope Task Closed Normal [structure] remove raw packages from main build folder Sergey Smolov Sergey Smolov 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
5471 Retrascope Task Closed Normal [structure] Rename *ing packages Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
5456 Retrascope Task Closed Normal [structure] Замечания по структуре каталогов Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
9310 Retrascope Task Closed Normal substitute SMT-LIB variables those names are equal to builtin commands Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7723 Retrascope Task Rejected Normal Support for module instances in Verilog descriptions Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
7524 Verilog Translator Task Closed Normal support for non-zero-starting bit vector variables & signals Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5569 Retrascope Task Closed Normal support process variable declarations Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
5145 Retrascope Task Closed Normal [testbench] Iface Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9564 Retrascope Test Suite Task Closed Normal tests for EBMC tool Sergey Smolov Sergey Smolov Actions
9565 Retrascope Test Suite Task Closed Normal tests for Verilog2SMV tool Sergey Smolov Sergey Smolov Actions
9566 Retrascope Test Suite Task Closed Normal tests for Yosys-SMTBMC tool Sergey Smolov Sergey Smolov Actions
5433 Fortress Task Closed Normal [test] write executable SMT-LIB code at testcase comments Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
5702 Retrascope IDE Task New Normal [tool] create Retrascope icon Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
6423 Fortress Task Rejected Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7846 Fortress Task Rejected Normal 'Transformer.reduce(Transformer.substitute(expression, name, term))' convenience method Sergey Smolov Fortress - 0.4 Actions
5600 Fortress Task Closed High [transformer][ruleset] implement ITE rules Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5424 Fortress Task Closed High [transformer][ruleset] дополнительные правила стандартизации Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5419 Fortress Task Closed High [transformer][ruleset] реализовать правило expr==false -> NOT(expr == true) Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5447 Fortress Task Closed High [transformer][ruleset] стандартизация константных выражений вида "x EQ y" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5229 Fortress Task Closed High [transformer] Упрощение выражений с LOGIC_BOOLEAN Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5651 Verilog Translator Task Closed Normal Translate logic operation results into Boolean expressions Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
5704 Retrascope Task Closed Normal try to find a way to remove 'toplevel' option Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9776 Retrascope IDE Task Verified Normal try to use SVEditor instead of veditor Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
9311 Verilog Translator Task Closed High type casting of expression operands Sergey Smolov Sergey Smolov Verilog Translator - 0.1 Actions
7772 Fortress Task Closed High TypeConversion.coerce: transform from MAP to BIT_VECTOR Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
9815 Retrascope IDE Task New Normal uninstaller for Retrascope IDE Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
6301 Retrascope Task Closed Normal unused code Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
9278 Retrascope Task Closed Normal use CGAA model instead of EFSM-based assertions to get clocks Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
10133 Retrascope Task New Normal use '-coi' model checker option Sergey Smolov Mikhail Lebedev Retrascope - 1.1 Actions
10492 Fortress Task Closed Normal use CVC4 1.8 in testing Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8288 Retrascope Task Closed Normal use DFS_NO_RPT walking where it is possible Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
9863 QEMU4V Task Closed Normal use Gradle 4.10.3 Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
10016 Trace Matcher Task Closed Normal Use Gradle 4.10.3 in build system Sergey Smolov Sergey Smolov Trace Matcher - 0.1 Actions
9291 Retrascope Task Closed Normal use nuXmv 1.1.1 Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
10058 Retrascope Task New Normal User documentation Sergey Smolov Sergey Smolov Retrascope - 1.2 Actions
9217 MicroTESK Task Closed Normal Use 'ru.ispras.castle.codegen' package classes from Castle Sergey Smolov Actions
9191 Retrascope Task Closed Normal use StringTemplate facilities to generate HDL testbenches Sergey Smolov Sergey Smolov Retrascope - 1.0 Actions
6990 Retrascope IDE Task Rejected Normal use veditor 1.2.1c Sergey Smolov Sergey Smolov Retrascope IDE - 0.1 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5420 Retrascope Task Closed Normal [util] метод fillNodeWithValues заменить на Transformer.substituteAllBindings Sergey Smolov Igor Melnichenko 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
5398 Retrascope Task Closed Normal [verilog][parser][cfg] Преобразование констант в NodeValue Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
9726 Retrascope Test Suite Task Closed Normal VerilogPrinter test cases Sergey Smolov Sergey Smolov Actions
9899 Verilog Translator Task Closed Normal VerilogPrinter test cases for QUIP benchmarks Sergey Smolov Maxim Chudnov Verilog Translator - 0.1 Actions
5549 Retrascope Task Closed Normal [vhdl][cfg][parser] add support of instantiation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
4466 Retrascope Task Closed Normal [vhdl][parser][cfg] преобразование IGSequentialWait Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5175 Retrascope Task Closed Normal [vhdl][parser] IG array elaboration Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
6049 Retrascope Task Closed Normal VHDL test printer: write documentation to project wiki Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
4984 Retrascope Task Closed Normal [vhdl][translator] Группировка неблокирующих присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4925 Retrascope Task Closed Normal [vhdl][translator] Обработка непрерывных присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6389 Retrascope Task Closed Normal Wiki documentation about testbench simulation Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
5482 Retrascope Task Closed Normal [wiki] documentation for 0.1-alpha Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
6976 Retrascope Task Closed Normal Wiki update Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5142 Retrascope Task Closed Normal [wiki] Классификация Engine Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
9373 QEMU4V Task Closed Normal write a PowerPC-related chapter to "Getting Started" Sergey Smolov Maxim Chudnov QEMU4V - 0.3 Actions
3624 С++TESK Development Environment Task Closed Normal XML dumping\parsing Sergey Smolov Sergey Smolov Actions
7081 Retrascope Task Rejected Normal xor-composition-printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
5465 Fortress Task Closed Normal [z3][solver] solver errors elaboration scheme Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
3623 С++TESK Development Environment Task Closed Normal Внутреннее представление для прототипов тестовых систем Sergey Smolov Sergey Smolov Actions
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
3756 С++TESK Development Environment Task New Immediate Генерация C++ кода для модели сообщений Sergey Smolov Actions
4175 Fortress Task Closed Normal Добавить параметризованные операции Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
2224 С++TESK Development Environment Task Closed Normal Добавить пункт со сведениями о плагине Sergey Smolov Alexander Kamkin Actions
3934 Retrascope Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
3721 Fortress Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
3895 Fortress Task Closed Normal Дополнительные операции Verilog Sergey Smolov Sergey Smolov Actions
3434 Retrascope Task Closed Normal Извлечение "протоопераций" из Data Flow Graph Sergey Smolov Sergey Smolov Actions
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
3708 Fortress Task Closed Normal Методы makeNegation, makeConjunction, makeDisjunction класса Constraint Sergey Smolov Sergey Smolov Actions
4465 Retrascope Task Closed Normal Объединение присваиваний в базовых блоках Sergey Smolov Sergey Smolov Actions
3694 Fortress Task Closed Normal Операции сравнения битовых векторов Sergey Smolov Andrei Tatarnikov Actions
3734 Fortress Task Closed Normal Операции сравнения для LOGIC-типов Sergey Smolov Sergey Smolov Actions
3950 Retrascope Task Closed Normal Переместить служебные файлы Eclipse Sergey Smolov Igor Melnichenko Actions
4580 Retrascope Task Closed Normal Поместить проект MiniMIPS в share/vhdl Sergey Smolov Sergey Smolov Actions
3637 Retrascope Task Closed Normal Пространство состояний Sergey Smolov Sergey Smolov Actions
3759 С++TESK Development Environment Task Feedback Normal Разработать демонстрационный пример для структуры соответствия Sergey Smolov Actions
3973 Fortress Task Closed Normal Реализовать добавление Variable в Constraint Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4337 Retrascope Task Closed Normal реализовать заглушки для методов преобразования в ограничения Sergey Smolov Sergey Smolov Actions
5576 Fortress Task Closed Normal Сalculate data type of expression with BVCONCAT Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
3659 С++TESK Development Environment Task New Normal Соответствие полей классов сообщений и сигналов HDL-модели Sergey Smolov Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
5455 Verilog Translator Task Closed Normal устранить зависимость от ANTLRWorks Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
3754 С++TESK Development Environment Task Closed Normal флаг incomparable в полях сообщений Sergey Smolov Sergey Smolov Actions
(601-688/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF