Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6507 Castle Task Closed Normal build.gradle: get ANTLR jar from server Sergey Smolov Sergey Smolov Actions
9998 Castle Task Closed Normal README -> README.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
9999 Castle Task Closed Normal ChangeLog -> ChangeLog.md Sergey Smolov Sergey Smolov Castle - 0.1 Actions
2494 CTESK Bug New Normal warning at build log Sergey Smolov Alexey Demakov 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
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
4005 C++TESK Testing ToolKit Bug Rejected Normal удалить пустой README Sergey Smolov asd ert C++TESK Testing ToolKit - 1.0 Actions
10002 Fortress Task New Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov 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
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
3734 Fortress Task Closed Normal Операции сравнения для LOGIC-типов Sergey Smolov Sergey Smolov Actions
3721 Fortress Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
6831 Fortress Task Closed Normal ESExprParser: improve error messages Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4673 Fortress Task Closed Normal [solver][constraint] Ограничения без имен Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
3973 Fortress Task Closed Normal Реализовать добавление Variable в Constraint Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
7402 Fortress Task Closed Normal ExprUtils: ignore repeated Node objects upon conjunction/disjunction construction Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
4133 Fortress Task Closed Normal ABS, MAX, MIN для Logic-типов Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
4554 Fortress Task Closed Normal [solver][xml] Метод преобразования ограничения в XML-based String Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
3895 Fortress Task Closed Normal Дополнительные операции Verilog Sergey Smolov Sergey Smolov Actions
3694 Fortress Task Closed Normal Операции сравнения битовых векторов Sergey Smolov Andrei Tatarnikov Actions
5985 Fortress Task Closed High Node ExprUtils.getEquation(Node target, Node value) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
3708 Fortress Task Closed Normal Методы makeNegation, makeConjunction, makeDisjunction класса Constraint Sergey Smolov Sergey Smolov Actions
4175 Fortress Task Closed Normal Добавить параметризованные операции Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
(1-25/675) Per page: 25, 50, 100

Also available in: Atom CSV PDF