Project

General

Profile

Actions

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Author Assignee Target version
12809 Bug New Normal java.lang.ClassCastException: class ru.ispras.fortress.solver.constraint.Formulas cannot be cast to class ru.ispras.fortress.expression.Node Alexander Protsenko 2.6 Actions
12223 Bug New Normal Конфликт инструкций с разными модификаторами (op, internal op) и с одним телом Alexander Protsenko Artem Kotsynyak 2.6 Actions
12027 Task New Normal SMT Solvers: CVC4 -> CVC5 Alexander Protsenko Artem Kotsynyak 2.6 Actions
11695 Bug New Normal error: cannot find symbol (зависимость mode от op) Alexander Protsenko Artem Kotsynyak 2.6 Actions
11661 Developer Request New Normal Загрузка данных в память через mode Alexander Protsenko Artem Kotsynyak 2.6 Actions
11654 Bug New Normal Или правило для регистров может вызывать ошибку "error: incompatible types" Alexander Protsenko Artem Kotsynyak Actions
11653 Developer Request New Normal При формировании теста не учитывают внутреннее состояние, что критично при тестировании ВМ Alexander Protsenko Alexander Kamkin Actions
10867 Task New Normal Поддержка big-endian/little-endian для кодировки инструкции Alexander Protsenko Alexander Kamkin Actions
10832 Bug New Normal Parser allows bit vector extraction of array types Alexander Protsenko Artem Kotsynyak 2.6 Actions
10764 Task New Normal Поддержка алтернативного формата вывода SMT-LIB представления машинного кода Pavel Putro Artem Kotsynyak Actions
10747 Bug New Normal Переопределение define_section_text (в соответствии с microtesk-2.5-user-guide-ru) Alexander Protsenko Alexander Kamkin 2.6 Actions
10715 Task New Normal Подготовка данных для внутренних регистров Alexander Protsenko Alexander Kamkin 2.6 Actions
10698 Bug New Normal ArgumentError: wrong number of arguments calling `target` (2 for 0) Alexander Protsenko Alexander Kamkin 2.6 Actions
10696 Bug New Normal Error: Failed to load custom data generators for plasma. Alexander Protsenko Alexander Kamkin 2.6 Actions
10676 Task New Normal Реализовать метод для получения размера операции в nml спецификации Alexander Protsenko Alexander Kamkin 2.6 Actions
10657 Bug New Normal Некорректная диагностика: вывод имени файла при указании строк для ошибки Alexander Protsenko Alexander Kamkin 2.6 Actions
10653 Bug New Normal MicroTESK mode: IsaPrimitive cannot be converted Alexander Protsenko Alexander Kamkin 2.6 Actions
10566 Bug New Normal Отсутствует поддержка тернарного оператора в mir Pavel Putro Artem Kotsynyak Actions
10369 Bug New Normal BubbleSortTestCase: first ori instruction doesn't write null in a register Ivan Grigorov 2.6 Actions
10321 Bug New Normal Избавиться от компиляции моделей с помощью ant Ilya Gladyshev Actions
10304 Task New Normal deprecation warnings via compilation Sergey Smolov Alexander Kamkin 2.6 Actions
10193 Task New Normal Cache instances configuration Alexander Kamkin Artem Kotsynyak 2.6 Actions
10136 Bug New Normal Comment for self checks differs from the others Alexander Kamkin Alexander Kamkin 2.6 Actions
10124 Bug New High Double preparation of the same register Alexander Kamkin Alexander Kamkin 2.6 Actions
10122 Task New Normal Template libraries for standard features Alexander Kamkin Alexander Kamkin 2.6 Actions
10121 Bug Open Normal technical output printing at 'compile.sh' script running with '--help' option Sergey Smolov Alexander Kamkin 2.6 Actions
10107 Task New Normal Entry point specification in templates Alexander Kamkin Alexander Kamkin 2.6 Actions
10106 Task New Normal Support %b as format's specifier Alexander Kamkin Alexander Kamkin 2.6 Actions
10091 Bug New Normal [x86] ошибка при добавлении модели в src\main\etc\settings.xml Alexander Protsenko Alexander Kamkin 2.6 Actions
10074 Feature New Normal option that stores boot obj at the generated ld script Sergey Smolov Alexander Kamkin 2.6 Actions
10071 Feature New Normal Влияние секции section_text на расположение exception_handler Alexander Protsenko Alexander Kamkin 2.6 Actions
10070 Bug New Normal [minimips] Нужно больше информации об ошибке "NameError: undefined local ..." Alexander Protsenko Alexander Kamkin 2.6 Actions
10069 Bug New Normal cpu.nml Error: Internal error: context [/Isa] 1:8 attribute file isn't defined Sergey Smolov Alexander Kamkin 2.6 Actions
10064 Bug New Normal Support FP instructions in MIR Alexander Protsenko Artem Kotsynyak 2.6 Actions
10061 Bug New Normal Buffers are now shared among all processing elements Alexander Kamkin Artem Kotsynyak 2.6 Actions
10011 Bug New High Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak 2.6 Actions
9870 Developer Request New Normal Входной параметр в виде инструкции Alexander Protsenko Alexander Kamkin 2.6 Actions
9869 Bug New Normal Генерация граничных значений для регистров инструкций Alexander Protsenko Alexander Kamkin 2.6 Actions
9720 Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak 2.6 Actions
9476 Task New Normal Поддержка версии ревизий в настройках модели settings.xml Alexander Protsenko Alexander Kamkin 2.6 Actions
9473 Bug New Normal riscv.mmu 181:0 ERROR (SEMANTIC): "IF statements are not allowed in operations." Alexander Protsenko Alexander Kamkin 2.6 Actions
9472 Developer Request Open High Неочевидные преобразования типов при вычислении выражений Alexander Protsenko Artem Kotsynyak 2.6 Actions
9471 Bug New Normal ERROR (SEMANTIC): The given bitfield expressions cannot be reduced to constant value Alexander Protsenko Alexander Kamkin 2.6 Actions
9455 Feature New Normal Запись/Чтение в память в диапазоне <X..Y> (MEM[mem_index]<X..Y>) Alexander Protsenko Alexander Kamkin 2.6 Actions
9448 Task New Normal Вызов метода init() в методе init() другого объекта op в *.mmu Alexander Protsenko Alexander Kamkin 2.6 Actions
9447 Task New Normal Доступ к константам *.nml из модулей *.mmu Alexander Protsenko Alexander Kamkin 2.6 Actions
9441 Bug New Normal Unsupported operator BVADD Alexander Protsenko Alexander Kamkin 2.6 Actions
9440 Bug New Normal Bit field expressions must be statically calculated constants Alexander Protsenko Alexander Kamkin 2.6 Actions
9439 Bug New Normal Cannot perform OR with Condition [type=AND ...] and Condition [type=AND ...] Alexander Protsenko Alexander Kamkin 2.6 Actions
8696 Bug New Normal Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak 2.6 Actions
(1-50/76) Per page: 50, 100

Also available in: Atom CSV PDF