Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
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
4005 C++TESK Testing ToolKit Bug Rejected Normal удалить пустой README Sergey Smolov asd ert 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
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
5319 Fortress Task Closed Low [expression] Реализовать метод получения коллекции NodeVariable по объекту 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
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5861 Fortress Task Closed Low static boolean containsSingleObject(Collection<?> collection) 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
6364 Fortress Task Rejected Low SolverResult: implement equals\hashcode methods Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4702 Fortress Task Closed Normal [expression] Реализовать операцию BVBIT Sergey Smolov Alexander Kamkin Fortress - 0.3 Actions
8573 Fortress Bug Closed Normal missing javadoc 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
4797 Fortress Bug Closed Normal [solver] NullPointerException when solver is not found Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
5259 Fortress Task Rejected Normal [build] удаление папки distr при выполнении команды ant clean Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
8709 Fortress Feature Closed Normal 'public static boolean isOperation(final Node node, final T ... opTypes)' convenience method Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
4554 Fortress Task Closed Normal [solver][xml] Метод преобразования ограничения в XML-based String 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
8667 Fortress Feature Closed Normal Nodes.EQ(Node ... nodes) convenience method Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
(1-25/654) Per page: 25, 50, 100

Also available in: Atom CSV PDF