Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8675 MicroTESK for MIPS Bug Resolved Normal Executing tlbwi causes CU0 Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
8678 MicroTESK for MIPS Bug Resolved Normal Exception in exception handler Alexander Kamkin Alexander Kamkin MicroTESK for MIPS - 0.0 Actions
4962 Retrascope Task New Normal Реализация утилиты Veritool с помощью средств Retrascope Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4675 Fortress Task New Normal Манипуляция с функциями алгебры логики Alexander Kamkin Alexander Kamkin Fortress - 0.4 Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5811 TestBase Task New Normal Test data generators for basic arithmetic SIMD instructions Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
4961 Retrascope IDE Task New Normal [tool][configurator] Конструктор инструментальных цепочек Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5057 Retrascope IDE Bug New Normal [tool][configurator] Для низкоуровнего конфигуратора Arguments не нужно выдавать --arguments Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5271 Retrascope IDE Task New Normal [task][configurator] Деактивация кнопки OK Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5273 Retrascope IDE Task New Normal [cfg][visualizator][zest] Получение принтера выражений из конфигурации Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5272 Retrascope IDE Task New Normal [cfg][visualizator][zest] Установка прогресса при построении графа Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5276 Retrascope IDE Task New Normal [cfg][visualizator][zest] Отладить размещение графа с циклами Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
1828 C++TESK Testing ToolKit Task New Normal [lang][core] Implementation of temporal sequences Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1838 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать интерфейсы с ядром C++TESK Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
4955 C++TESK Testing ToolKit Task New Normal [lang][core] Способы работы с типами данных uint128_t, uint256_t и т.д. Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4932 C++TESK Testing ToolKit Task Resolved Normal [lang][log] Переопределение вывода полей сообщений Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
3582 C++TESK Testing ToolKit Task New Normal [core] C++TESK as Explicit-State Model Checker Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
2212 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать адаптеры по умолчанию Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2669 C++TESK Testing ToolKit Bug New Normal [docs] Add figures to the project description & whitepaper Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2213 C++TESK Testing ToolKit Task New Normal [docs] Английскую документацию делать в wiki Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4097 Verilog Translator Task Open Normal Проверка зацикливания include-файлов Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4110 Verilog Translator Bug New Normal AST_DECLARATION: adding delay for net declarations Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
(26-50/122) Per page: 25, 50, 100

Also available in: Atom CSV PDF