Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8862 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_12_08_02_1: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8863 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_17_02_04_4_1: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8864 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_17_10_02_1_i: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8865 Verilog Translator Bug Closed Normal VerilogIeeeTestCase.runTest_19_11_00_1: java.lang.IllegalArgumentException: Declaration=DECLARATION(), parent=MODULE(m2) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
8832 Verilog Translator Bug Closed Normal verilog/opencores/mips16/IF_stage.v: java.lang.IllegalStateException: Parameter is not a value: (BVSUB 8 1) Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
5578 Retrascope Task Closed Normal [verilog][parser][cfg] add support of multiple assignments Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
5404 Retrascope Bug Closed Normal [verilog][parser][cfg] java.lang.IllegalArgumentException: Unsupported data type: UNKNOWN Sergey Smolov Alexander Kamkin Retrascope - 0.1 Actions
5398 Retrascope Task Closed Normal [verilog][parser][cfg] Преобразование констант в NodeValue Sergey Smolov Mikhail Chupilko Retrascope - 0.1 Actions
10238 Retrascope Feature Resolved Normal VerilogParser: '--library-file' cmdline option Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
9726 Retrascope Test Suite Task Closed Normal VerilogPrinter test cases Sergey Smolov Sergey Smolov Actions
9899 Verilog Translator Task Verified Normal VerilogPrinter test cases for QUIP benchmarks Sergey Smolov Maxim Chudnov Verilog Translator - 0.1 Actions
5567 Verilog Translator Bug Closed High VerilogStaticChecker.ExpressionVisitor is not abstract and does not override abstract method getOperandOrder() in ExprTreeVisitor Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10115 Retrascope Feature Verified Normal '--version' command line option Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
5549 Retrascope Task Closed Normal [vhdl][cfg][parser] add support of instantiation Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
3605 Retrascope Bug Rejected Normal [vhdl][parser][cfg] Zamia не обрабатывает пакеты функций Sergey Smolov Sergey Smolov Retrascope - 0.1 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
8260 Retrascope Feature Closed Normal VHDL record support (non-aggregate case) Sergey Smolov Maxim Chudnov Retrascope - 1.0 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
9012 Retrascope Test Suite Bug Closed Normal VisBufferAllocVerilogPrinterTestCase: java.lang.IllegalArgumentException Sergey Smolov Actions
10031 MicroTESK for PowerPC Bug New Normal WARNING: An illegal reflective access operation has occurred Sergey Smolov Alexander Protsenko MicroTESK for PowerPC - 0.0 Actions
9892 MicroTESK for RISC-V Bug Closed Normal WARNING: An illegal reflective access operation has occurred Sergey Smolov Alexander Protsenko MicroTESK for RISC-V - 0.1 Actions
2494 CTESK Bug New Normal warning at build log Sergey Smolov Alexey Demakov Actions
9376 MicroTESK for MIPS Bug New Normal Warning: Group MIPS64FpuOp contains two items add_fmt and mfc1 with the same opcode 01000100000000000000000000000000 Sergey Smolov Alexander Kamkin Actions
10082 Retrascope Bug New Normal WARNING: Illegal reflective access by org.python.core.PySystemState Sergey Smolov Sergey Smolov Retrascope - 1.1 Actions
9503 Retrascope Feature Closed Normal when debug option is enabled, pass it to the model checker as well Sergey Smolov Mikhail Lebedev Retrascope - 1.0 Actions
9041 Retrascope Feature Closed Normal when model checker returns an error, print it's log to the Retrascope output Sergey Smolov Mikhail Lebedev Retrascope - 1.0 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
8957 Verilog Translator Bug Closed High wrong datatype for arrays Sergey Smolov Alexander Kamkin Verilog Translator - 0.1 Actions
10041 QEMU4V Bug Closed Normal wrong names for PowerPC registers in trace Sergey Smolov Sergey Smolov QEMU4V - 0.3 Actions
3624 С++TESK Development Environment Task Closed Normal XML dumping\parsing Sergey Smolov Sergey Smolov Actions
6293 Retrascope Bug Closed Normal XmlTestParserTestCase: NoSuchMethodException Sergey Smolov Igor Melnichenko Retrascope - 0.1 Actions
7081 Retrascope Task Rejected Normal xor-composition-printer Sergey Smolov Sergey Smolov Retrascope - 0.2 Actions
8283 Retrascope Bug Closed Normal "X <= (others => '0')" should be translated properly when X is bit vector 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
6106 MicroTESK Bug Closed Normal zero opcodes for instructions in Tarmac log Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
4358 Retrascope Bug Closed Normal Внести исправления в представление CGA и методы их извлечения Sergey Smolov Sergey Smolov 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
3757 С++TESK Development Environment Bug Closed Normal Добавить jar-ник SWT в проект com.unitesk.cpptesk.ide.mapper Sergey Smolov 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
4004 C++TESK Testing ToolKit Bug Closed Normal Из build'а пропал скрипт install-eclipse-plugin.sh Sergey Smolov Sergey Smolov C++TESK Testing ToolKit - 1.0 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
3528 Local Support Project Bug Closed Normal Не отображается полный адрес svn-репозиториев Sergey Smolov Alexey Demakov Actions
4991 Retrascope IDE Bug Closed Normal Не передается путь к HDL-описанию Sergey Smolov Alexander Kamkin Actions
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins 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
3805 C++TESK Testing ToolKit Bug Closed Normal Ошибка в QuickReference Sergey Smolov Sergey Smolov Actions
3717 С++TESK Development Environment Bug Closed Normal Переименовать com.unitesk.cpptesk.ide.prototype.presentations в com.unitesk.cpptesk.ide.prototype.ir Sergey Smolov Sergey Smolov Actions
3950 Retrascope Task Closed Normal Переместить служебные файлы Eclipse Sergey Smolov Igor Melnichenko Actions
3565 Local Support Project Bug Closed Normal Перестали приходить уведомления на почту об изменениях в проектах Sergey Smolov Alexey Demakov Actions
4580 Retrascope Task Closed Normal Поместить проект MiniMIPS в share/vhdl Sergey Smolov Sergey Smolov Actions
6394 Local Support Project Bug New Normal Проект HDL Retrascope: на 17-дюймовом мониторе не масштабируется таблица Задачи Sergey Smolov Alexey Demakov 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
3979 Retrascope Developer Request 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
5385 Java SoftFloat Bug Closed Normal Странная структура директорий проекта Sergey Smolov Alexander Kamkin Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
4005 C++TESK Testing ToolKit Bug Rejected Normal удалить пустой README Sergey Smolov asd ert C++TESK Testing ToolKit - 1.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-680/680) Per page: 25, 50, 100

Also available in: Atom CSV PDF