Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9364 MicroTESK Bug Open Urgent Некорректная генерация smt-lib формул Pavel Putro Artem Kotsynyak Actions
9925 MicroTESK Bug New Normal java.lang.IllegalStateException: Boolean data is not convertible to BitVector. Alexander Protsenko Artem Kotsynyak Actions
9910 MicroTESK Bug New Normal Symbolic executor fails to construct CFG Alexander Kamkin Artem Kotsynyak MicroTESK - 2.4 Actions
9787 MicroTESK Bug Feedback Normal Некорректное восстановление 64-х битных чисел из памяти. Pavel Putro Artem Kotsynyak Actions
5451 Fortress Feature New Normal Support external rules in TransformerRule interface Artem Kotsynyak Artem Kotsynyak Fortress - 0.4 Actions
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
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
9720 MicroTESK Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak Actions
6073 MicroTESK Task New Normal Implicitly inserted marks Alexander Kamkin Artem Kotsynyak MicroTESK - 2.2 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
    (1-15/15)

    Also available in: Atom CSV PDF