Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10064 MicroTESK Bug New Normal Support FP instructions in MIR Alexander Protsenko Artem Kotsynyak MicroTESK - 2.5 Actions
10044 MicroTESK Bug Resolved Normal Translator crashes with NPE if no instruction is defined Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10040 MicroTESK Bug Resolved Normal Disable checking redeclaration for arguments Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
10011 MicroTESK Bug New Normal Необходима возможность преобразования конструкции if-then-else в mir представление Alexander Protsenko Artem Kotsynyak MicroTESK - 2.5 Actions
9910 MicroTESK Bug Resolved Normal Symbolic executor fails to construct CFG Alexander Kamkin Artem Kotsynyak MicroTESK - 2.4 Actions
9720 MicroTESK Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak Actions
8696 MicroTESK Bug New Normal Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8695 MicroTESK Bug Resolved Normal Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8694 MicroTESK Bug Resolved Normal Parsing an empty *.mmu file causes NullPointerException Alexander Kamkin Artem Kotsynyak MicroTESK - 2.5 Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Artem Kotsynyak MicroTESK - 2.5 Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 Actions
6065 MicroTESK Task New Normal Handling marks with exported symbols in the coverage extractor Alexander Kamkin Artem Kotsynyak MicroTESK - 2.2 Actions
5725 TestBase Task New Normal Meta-information provider required Alexander Kamkin Artem Kotsynyak TestBase - 0.0 Actions
5451 Fortress Feature New Normal Support external rules in TransformerRule interface Artem Kotsynyak Artem Kotsynyak Fortress - 0.4 Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
4523 Fortress Task New Immediate Implementing a solver for simple constraints Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
    (1-20/20)

    Also available in: Atom CSV PDF