Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9999 Castle Task Closed Normal ChangeLog -> ChangeLog.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
9998 Castle Task Closed Normal README -> README.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
6507 Castle Task Closed Normal build.gradle: get ANTLR jar from server Sergey Smolov Sergey Smolov Actions
2494 CTESK Bug New Normal warning at build log Sergey Smolov Alexey Demakov Actions
3590 C++TESK Testing ToolKit Bug Closed Normal C++TesK installation fails on OpenSUSE 12.2 x64 Sergey Smolov Sergey Smolov C++TESK Testing ToolKit - 1.0 Actions
4004 C++TESK Testing ToolKit Bug Closed Normal Из build'а пропал скрипт install-eclipse-plugin.sh Sergey Smolov Sergey Smolov C++TESK Testing ToolKit - 1.0 Actions
3805 C++TESK Testing ToolKit Bug Closed Normal Ошибка в QuickReference Sergey Smolov Sergey Smolov Actions
4005 C++TESK Testing ToolKit Bug Rejected Normal удалить пустой README Sergey Smolov asd ert C++TESK Testing ToolKit - 1.0 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
3973 Fortress Task Closed Normal Реализовать добавление Variable в Constraint Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4133 Fortress Task Closed Normal ABS, MAX, MIN для Logic-типов Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4175 Fortress Task Closed Normal Добавить параметризованные операции Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4221 Fortress Bug Closed Normal performConstant: public -> private Sergey Smolov Sergey Smolov Fortress - 0.2 Actions
5399 Fortress Task Closed Normal silent & debug mode Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5319 Fortress Task Closed Low [expression] Реализовать метод получения коллекции NodeVariable по объекту Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5401 Fortress Bug Closed Normal error at ru/ispras/fortress/solver/constraint/ArrayTestCase.java Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4699 Fortress Task Closed Normal [data][solver] поддержка массивов SMT-LIB Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4673 Fortress Task Closed Normal [solver][constraint] Ограничения без имен Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
5318 Fortress Task Closed Low [solver][expression] Реализовать метод разрешения ограничений SolverResult solve(Constraint constraint) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5419 Fortress Task Closed High [transformer][ruleset] реализовать правило expr==false -> NOT(expr == true) Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5229 Fortress Task Closed High [transformer] Упрощение выражений с LOGIC_BOOLEAN Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5313 Fortress Task Closed Normal [expression] Сделать публичным метод ExprUtils.isSAT(Node assertion) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4813 Fortress Bug Closed High [solver][constraint] Невозможно создавать тривиальные ограничения Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5162 Fortress Bug Closed Normal [solver] ReductionCustomOperationsTestCase -> java.lang.AssertionError Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
(1-25/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF