Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7397 Fortress Task Closed Normal NodeVariable.new<type-of-variable>(final String name) Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
8703 Fortress Feature Closed Normal 'public static boolean isType(final Node node, final DataType ... types)' convenience method Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
8667 Fortress Feature Closed Normal Nodes.EQ(Node ... nodes) convenience method Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5162 Fortress Bug Closed Normal [solver] ReductionCustomOperationsTestCase -> java.lang.AssertionError 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
5462 Fortress Task Closed Normal [arrays] arrays initialization is inconvenient Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
6831 Fortress Task Closed Normal ESExprParser: improve error messages Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5433 Fortress Task Closed Normal [test] write executable SMT-LIB code at testcase comments Sergey Smolov Artem Kotsynyak Fortress - 0.3 Actions
7555 Fortress Bug Closed Normal unable to create constraint-related jUnit tests including unused variables Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
3734 Fortress Task Closed Normal Операции сравнения для LOGIC-типов Sergey Smolov Sergey Smolov Actions
4673 Fortress Task Closed Normal [solver][constraint] Ограничения без имен Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
7527 Fortress Task Closed Normal constant casting while type conversion Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
8204 Fortress Feature Closed Normal solver-specific header for generated SMT2 files Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
3895 Fortress Task Closed Normal Дополнительные операции Verilog Sergey Smolov Sergey Smolov Actions
4221 Fortress Bug Closed Normal performConstant: public -> private Sergey Smolov Sergey Smolov Fortress - 0.2 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
10002 Fortress Task New Normal get Boolector solver from server as dependency Sergey Smolov Sergey Smolov Fortress - 0.4 Actions
4671 Fortress Task Closed Normal [data] Метод построения битовых векторов из их строкового представления Sergey Smolov Sergey Smolov Fortress - 0.3 Actions
8203 Fortress Feature Closed Normal bv2nat\int2bv operations Sergey Smolov Sergey Smolov Fortress - 0.4 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
3973 Fortress Task Closed Normal Реализовать добавление Variable в Constraint Sergey Smolov Sergey Smolov Fortress - 0.1 Actions
7846 Fortress Task New Normal 'Transformer.reduce(Transformer.substitute(expression, name, term))' convenience method Sergey Smolov Fortress - 0.4 Actions
10001 Fortress Task New Normal SMT-LIBv2 benchmarks Sergey Smolov Actions
5316 Fortress Task Closed Low [expression] Операции теории множеств над коллекциями объектов 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
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 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
5861 Fortress Task Closed Low static boolean containsSingleObject(Collection<?> collection) Sergey Smolov Andrei Tatarnikov Fortress - 0.3 Actions
7378 Fortress Task Closed Low NodeTransformer: multiple transform rules for a single enum id Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
5385 Java SoftFloat Bug Closed Normal Странная структура директорий проекта Sergey Smolov Alexander Kamkin Actions
5836 Local Support Project Bug Resolved High не собирается проект на сервере Jenkins Sergey Smolov Sergey Smolov Actions
6394 Local Support Project Bug New Normal Проект HDL Retrascope: на 17-дюймовом мониторе не масштабируется таблица Задачи Sergey Smolov Alexey Demakov Actions
3565 Local Support Project Bug Closed Normal Перестали приходить уведомления на почту об изменениях в проектах Sergey Smolov Alexey Demakov Actions
3528 Local Support Project Bug Closed Normal Не отображается полный адрес svn-репозиториев Sergey Smolov Alexey Demakov Actions
10102 MicroTESK Bug Verified High incorrect ld scripts for x86 test programs Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
7730 MicroTESK Bug Closed High [tarmac-logger] missing "<cpu>" tag Sergey Smolov Andrei Tatarnikov MicroTESK - 2.4 Actions
7564 MicroTESK Task Closed Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
10069 MicroTESK Bug New Normal cpu.nml Error: Internal error: context [/Isa] 1:8 attribute file isn't defined Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
9063 MicroTESK Bug Closed Normal microtesk/src/main/java/core/ru/ispras/microtesk/utils/PropertyMap.java uses unchecked or unsafe operations Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
9436 MicroTESK Bug Closed Normal ru.ispras.microtesk.mmu.translator.GeneralTestCase: java.lang.IllegalArgumentException Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
10094 MicroTESK Bug Verified Normal strange common code at LinkerScript.stg Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
10074 MicroTESK Feature New Normal option that stores boot obj at the generated ld script Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
10121 MicroTESK Bug Open Normal technical output printing at 'compile.sh' script running with '--help' option Sergey Smolov Alexander Kamkin MicroTESK - 2.5 Actions
6108 MicroTESK Task Closed Normal create environment variable(s) for SMT solver(s) Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
4464 MicroTESK Bug Closed Normal [project] ошибки сборки проекта в Eclipse Sergey Smolov Andrei Tatarnikov Actions
6241 MicroTESK Bug Closed Normal Generated assembler files contain tab-only lines Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
(51-100/660) Per page: 25, 50, 100

Also available in: Atom CSV PDF