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
9787 MicroTESK Bug New Normal Symexecute - некорректное восстановление 64-х битных чисел из памяти. Pavel Putro 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
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
9364 MicroTESK Bug Open Urgent Некорректная генерация smt-lib формул Pavel Putro Artem Kotsynyak Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
    (1-13/13)

    Also available in: Atom CSV PDF