Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5259 Fortress Task Rejected Normal [build] удаление папки distr при выполнении команды ant clean Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Maxim Chudnov Retrascope IDE - 0.1 Actions
5247 Retrascope Task Closed Normal [basis] Набор идентификаторов Engine как опция командной строки Retrascope Sergey Smolov Alexander Kamkin Retrascope - 0.1 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
4946 Retrascope Task Closed Normal [basis][log] Ведение лога для нескольких логгеров Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
4945 Retrascope Task Closed Normal [basis][log] Опция логирования Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
4929 Retrascope Task Rejected Normal [cfg][model] Добавить структуру данных для представления задержек (delay) в присваиваниях Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
4927 Retrascope Task Rejected Normal [cfg][model] Убрать узел типа ASSERT Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4925 Retrascope Task Closed Normal [vhdl][translator] Обработка непрерывных присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4924 Retrascope Task Closed Normal [cfg][model] Представление непрерывных присваиваний Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4829 Retrascope Task Closed Normal [cfg][transformer][cgaa] CFG: Assertion building Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4807 Retrascope Task Closed Normal Action as interface for BasicBlock, Assertion, Situation Sergey Smolov Sergey Smolov Actions
4802 Fortress Task Closed Normal [solver][constraint] создание Constraint без указания variables Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4702 Fortress Task Closed Normal [expression] Реализовать операцию BVBIT Sergey Smolov Alexander Kamkin Fortress - 0.3 Actions
4699 Fortress Task Closed Normal [data][solver] поддержка массивов SMT-LIB Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
4673 Fortress Task Closed Normal [solver][constraint] Ограничения без имен Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
4671 Fortress Task Closed Normal [data] Метод построения битовых векторов из их строкового представления Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
4580 Retrascope Task Closed Normal Поместить проект MiniMIPS в share/vhdl Sergey Smolov Sergey Smolov Actions
4558 Retrascope Task Closed Normal [cfg][model] Реализовать обходчик для внутреннего представления описаний аппаратуры Sergey Smolov Sergey Smolov Retrascope - 0.1 Actions
4554 Fortress Task Closed Normal [solver][xml] Метод преобразования ограничения в XML-based String Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4466 Retrascope Task Closed Normal [vhdl][parser][cfg] преобразование IGSequentialWait Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
4465 Retrascope Task Closed Normal Объединение присваиваний в базовых блоках Sergey Smolov Sergey Smolov Actions
4359 Retrascope Task Rejected Normal [cfg] Реализовать метод toConstraint() Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
4337 Retrascope Task Closed Normal реализовать заглушки для методов преобразования в ограничения Sergey Smolov Sergey Smolov Actions
4175 Fortress Task Closed Normal Добавить параметризованные операции Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4133 Fortress Task Closed Normal ABS, MAX, MIN для Logic-типов Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
3973 Fortress Task Closed Normal Реализовать добавление Variable в Constraint Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
3950 Retrascope Task Closed Normal Переместить служебные файлы Eclipse Sergey Smolov Igor Melnichenko Actions
3934 Retrascope Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
3914 Fortress Task Rejected Normal function templates Sergey Smolov Andrei Tatarnikov Fortress - 0.1 Actions
3895 Fortress Task Closed Normal Дополнительные операции Verilog Sergey Smolov Sergey Smolov Actions
3759 С++TESK Development Environment Task Feedback Normal Разработать демонстрационный пример для структуры соответствия Sergey Smolov Actions
3755 С++TESK Development Environment Task New Normal namespace name for test system prototypes Sergey Smolov Actions
3754 С++TESK Development Environment Task Closed Normal флаг incomparable в полях сообщений Sergey Smolov Sergey Smolov Actions
3734 Fortress Task Closed Normal Операции сравнения для LOGIC-типов Sergey Smolov Sergey Smolov Actions
3721 Fortress Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
3716 С++TESK Development Environment Task Closed Normal Simple XML dumping\parsing test Sergey Smolov asd ert Actions
3708 Fortress Task Closed Normal Методы makeNegation, makeConjunction, makeDisjunction класса Constraint Sergey Smolov Sergey Smolov Actions
3694 Fortress Task Closed Normal Операции сравнения битовых векторов Sergey Smolov Andrei Tatarnikov Actions
3659 С++TESK Development Environment Task New Normal Соответствие полей классов сообщений и сигналов HDL-модели Sergey Smolov Actions
3637 Retrascope Task Closed Normal Пространство состояний Sergey Smolov Sergey Smolov Actions
3624 С++TESK Development Environment Task Closed Normal XML dumping\parsing Sergey Smolov Sergey Smolov Actions
3623 С++TESK Development Environment Task Closed Normal Внутреннее представление для прототипов тестовых систем Sergey Smolov Sergey Smolov Actions
3434 Retrascope Task Closed Normal Извлечение "протоопераций" из Data Flow Graph Sergey Smolov Sergey Smolov Actions
3406 Retrascope Task Closed Normal CFG extraction from guarded atomic actions (GAA) set. Sergey Smolov Sergey Smolov Actions
2224 С++TESK Development Environment Task Closed Normal Добавить пункт со сведениями о плагине Sergey Smolov Alexander Kamkin Actions
9901 Retrascope Test Suite Bug New Low initializationError in some tests after Jenkins update Sergey Smolov Mikhail Lebedev Actions
5684 Retrascope Bug Rejected Low computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN) Sergey Smolov Igor Melnichenko Retrascope - 0.2 Actions
10088 QEMU4V Feature New Low QEMU4V formatted traces for x86 programs Sergey Smolov Actions
8167 QEMU4V Task New Low Program flow tracing Sergey Smolov Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
6449 Retrascope Task New Low testbench generator taking test sequences and mappings as inputs Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6448 Retrascope Task New Low mapping description language + IR + parser Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
6423 Fortress Task Rejected Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6364 Fortress Task Rejected Low SolverResult: implement equals\hashcode methods Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5967 MicroTESK Task Closed Low one directory for all components of distribution Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
5861 Fortress Task Closed Low static boolean containsSingleObject(Collection<?> collection) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5755 Retrascope Task Closed Low use Zamia IG visitors & walkers Sergey Smolov Sergey Smolov Retrascope - 0.1 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
5548 Retrascope Task Closed Low elaborate minimips modules 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
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
(601-688/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF