Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8667 Fortress Feature Closed Normal Nodes.EQ(Node ... nodes) convenience method Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
4802 Fortress Task Closed Normal [solver][constraint] создание Constraint без указания variables Sergey Smolov Andrei Tatarnikov Fortress - 0.3 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
7383 Fortress Task Closed Normal boolean isOperation(final Node expr, final T... opId) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5401 Fortress Bug Closed Normal error at ru/ispras/fortress/solver/constraint/ArrayTestCase.java Sergey Smolov Andrei Tatarnikov Fortress - 0.3 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
4221 Fortress Bug Closed Normal performConstant: public -> private Sergey Smolov Sergey Smolov Fortress - 0.2 Actions
6831 Fortress Task Closed Normal ESExprParser: improve error messages Sergey Smolov Artem Kotsynyak Fortress - 0.4 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
7402 Fortress Task Closed Normal ExprUtils: ignore repeated Node objects upon conjunction/disjunction construction Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
8573 Fortress Bug Closed Normal missing javadoc Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
10002 Fortress Task New Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
10001 Fortress Task Rejected Normal SMT-LIBv2 benchmarks Sergey Smolov Actions
7555 Fortress Bug Closed Normal unable to create constraint-related jUnit tests including unused variables Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5162 Fortress Bug Closed Normal [solver] ReductionCustomOperationsTestCase -> java.lang.AssertionError Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5599 Fortress Task Closed Normal [expression] implement getDataTypeId() method Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5399 Fortress Task Closed Normal silent & debug mode Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5907 Fortress Task Closed Normal boolean areOfType(DataTypeId id, Node ... nodes) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
7397 Fortress Task Closed Normal NodeVariable.new<type-of-variable>(final String name) Sergey Smolov Andrei Tatarnikov 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
8204 Fortress Feature Closed Normal solver-specific header for generated SMT2 files Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8203 Fortress Feature Closed Normal bv2nat\int2bv operations Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
(51-75/675) Per page: 25, 50, 100

Also available in: Atom CSV PDF