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
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
3805 C++TESK Testing ToolKit Bug Closed Normal Ошибка в QuickReference Sergey Smolov Sergey Smolov 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
4005 C++TESK Testing ToolKit Bug Rejected Normal удалить пустой README Sergey Smolov asd ert C++TESK Testing ToolKit - 1.0 Actions
3694 Fortress Task Closed Normal Операции сравнения битовых векторов Sergey Smolov Andrei Tatarnikov Actions
3708 Fortress Task Closed Normal Методы makeNegation, makeConjunction, makeDisjunction класса Constraint Sergey Smolov Sergey Smolov Actions
3721 Fortress Task Closed Normal Дополнительные операции Sergey Smolov Sergey Smolov Actions
3734 Fortress Task Closed Normal Операции сравнения для LOGIC-типов Sergey Smolov Sergey Smolov Actions
3895 Fortress Task Closed Normal Дополнительные операции Verilog Sergey Smolov Sergey Smolov Actions
3914 Fortress Task Rejected Normal function templates Sergey Smolov Andrei Tatarnikov Fortress - 0.1 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
4554 Fortress Task Closed Normal [solver][xml] Метод преобразования ограничения в XML-based String Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4671 Fortress Task Closed Normal [data] Метод построения битовых векторов из их строкового представления Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
4673 Fortress Task Closed Normal [solver][constraint] Ограничения без имен Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
4699 Fortress Task Closed Normal [data][solver] поддержка массивов SMT-LIB Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4702 Fortress Task Closed Normal [expression] Реализовать операцию BVBIT Sergey Smolov Alexander Kamkin Fortress - 0.3 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4797 Fortress Bug Closed Normal [solver] NullPointerException when solver is not found Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
4802 Fortress Task Closed Normal [solver][constraint] создание Constraint без указания variables 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
5229 Fortress Task Closed High [transformer] Упрощение выражений с LOGIC_BOOLEAN Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5259 Fortress Task Rejected Normal [build] удаление папки distr при выполнении команды ant clean Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5313 Fortress Task Closed Normal [expression] Сделать публичным метод ExprUtils.isSAT(Node assertion) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5316 Fortress Task Closed Low [expression] Операции теории множеств над коллекциями объектов Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5317 Fortress Task Closed Low [expression] Реализовать метод построения Constraint по Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5318 Fortress Task Closed Low [solver][expression] Реализовать метод разрешения ограничений SolverResult solve(Constraint constraint) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5319 Fortress Task Closed Low [expression] Реализовать метод получения коллекции NodeVariable по объекту Node Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5399 Fortress Task Closed Normal silent & debug mode 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
5419 Fortress Task Closed High [transformer][ruleset] реализовать правило expr==false -> NOT(expr == true) Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5424 Fortress Task Closed High [transformer][ruleset] дополнительные правила стандартизации Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5425 Fortress Bug Closed High [expression] java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5433 Fortress Task Closed Normal [test] write executable SMT-LIB code at testcase comments Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5447 Fortress Task Closed High [transformer][ruleset] стандартизация константных выражений вида "x EQ y" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5453 Fortress Bug Closed High [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5461 Fortress Bug Closed High [arrays] Insufficient arrays support Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5462 Fortress Task Closed Normal [arrays] arrays initialization is inconvenient Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
5464 Fortress Task Closed High [solver] boolean expressions casting into bit vectors Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5465 Fortress Task Closed Normal [z3][solver] solver errors elaboration scheme Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5466 Fortress Task Closed High [solver] print the input constraint when solver returns ERROR/UNKNOWN verdict Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5478 Fortress Task Closed Normal Implement Transformer.reduce(Node expression) Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5563 Fortress Task Closed Normal [data] implement DataTypeId.isLogic(Enum<?> id) method Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
(1-50/688) Per page: 25, 50, 100

Also available in: Atom CSV PDF