Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
6072 MicroTESK Task New Low Processing inline situations Alexander Kamkin Artem Kotsynyak MicroTESK - 2.3 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
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
5451 Fortress Feature New Normal Support external rules in TransformerRule interface Artem Kotsynyak Artem Kotsynyak Fortress - 0.4 Actions
9364 MicroTESK Bug Open Urgent Некорректная генерация smt-lib формул Pavel Putro Artem Kotsynyak Actions
9787 MicroTESK Bug New Normal Symexecute - некорректное восстановление 64-х битных чисел из памяти. Pavel Putro Artem Kotsynyak Actions
9720 MicroTESK Task New Normal Определение влияния параметров на инструкцию Alexander Protsenko Artem Kotsynyak Actions
    (1-13/13)

    Also available in: Atom CSV PDF