Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4523 Fortress Task New Immediate Implementing a solver for simple constraints Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Artem Kotsynyak MicroTESK - 2.5 Actions
10040 MicroTESK Bug New 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 Actions
9720 MicroTESK Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak Actions
5451 Fortress Feature New Normal Support external rules in TransformerRule interface Artem Kotsynyak Artem Kotsynyak Fortress - 0.4 Actions
6070 MicroTESK Task New Normal Processing of complex situations Alexander Kamkin Artem Kotsynyak MicroTESK - 2.2 Actions
6065 MicroTESK Task New Normal Handling marks with exported symbols in the coverage extractor Alexander Kamkin Artem Kotsynyak MicroTESK - 2.2 Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
5725 TestBase Task New Normal Meta-information provider required Alexander Kamkin Artem Kotsynyak TestBase - 0.0 Actions
6072 MicroTESK Task New Low Processing inline situations Alexander Kamkin Artem Kotsynyak MicroTESK - 2.3 Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
10044 MicroTESK Bug Resolved Normal Translator crashes with NPE if no instruction is defined Alexander Kamkin 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
    (1-15/15)

    Also available in: Atom CSV PDF