Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 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
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 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
3957 Retrascope Task Closed High DFG to EFSM Sergey Smolov Sergey Smolov 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
3756 С++TESK Development Environment Task New Immediate Генерация C++ кода для модели сообщений 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
3654 С++TESK Development Environment Task Closed High source code refactoring Sergey Smolov 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
(651-688/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF