Project

General

Profile

0.3

closed

Features: refactoring and rebranding; transformators; printers; boolean logic

100%

80 issues   (80 closed — 0 open)

Issues by
Bug

17/17
Feature

3/3
Task

60/60
Related issues
Bug #4672: [expression] Исчезла поддержка некоторых операций Actions
Bug #4681: [expression] В обходчике не учитывается то обстоятельство, что выражение может быть значением или переменной Actions
Bug #4797: [solver] NullPointerException when solver is not found Actions
Bug #4813: [solver][constraint] Невозможно создавать тривиальные ограничения Actions
Bug #4839: Ошибка в Javadoc'е для StandardOperation.PLUS Actions
Bug #4840: [build] Предупреждения при генерировании javadoc-документации Actions
Bug #4858: [solver] Поддержка результатов типа true/false Actions
Bug #4992: [calculator] В StandardOperationsInt операции MOD и REM реализованы одинаково Actions
Bug #4993: [calculator] Для неассоциативных операций некорректно указывать BINARY_UNBOUND Actions
Bug #5162: [solver] ReductionCustomOperationsTestCase -> java.lang.AssertionError Actions
Bug #5217: [expression] NodeBinding: hashCode and equals must be implemented Actions
Bug #5401: error at ru/ispras/fortress/solver/constraint/ArrayTestCase.java Actions
Bug #5425: [expression] java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0) Actions
Bug #5453: [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" Actions
Bug #5460: [project] Get rid of warnings Actions
Bug #5461: [arrays] Insufficient arrays support Actions
Bug #5463: [S-expr] JavaDoc comments are needed Actions
Feature #4689: [expression] Отсечение поддеревьев выражения в обходчике Actions
Feature #5190: [solver] Поддержка целочисленного переполнения Actions
Feature #5553: Реализовать правило (AND (NOT (EQ expr const1)) (EQ expr const2)) => (EQ expr const2), если const2 != const1 Actions
Task #4522: [expression] Пользовательские принтеры выражений/ограничений Actions
Task #4554: [solver][xml] Метод преобразования ограничения в XML-based String Actions
Task #4578: [transformer] Оптимизация/преобразование дерева выражения Actions
Task #4671: [data] Метод построения битовых векторов из их строкового представления Actions
Task #4673: [solver][constraint] Ограничения без имен Actions
Task #4676: [transform] Реализация однократных подстановок Actions
Task #4677: [transform] Канонизация элементарных логических формул Actions
Task #4682: [project] Отделить тесты от исходников Actions
Task #4692: [expression] Перенос идентификаторов специальных операций (FunctionOperation) в пакет expression Actions
Task #4693: [data] Реализации операций над битовыми векторами (BitVector) Actions
Task #4699: [data][solver] поддержка массивов SMT-LIB Actions
Task #4702: [expression] Реализовать операцию BVBIT Actions
Task #4802: [solver][constraint] создание Constraint без указания variables Actions
Task #4837: [solver][constraint] генерация случайного значения переменной Actions
Task #4838: [solver][constraint] конструктор Formulas (NodeExpr expression) Actions
Task #4896: [expression] метод NodeValue.valueOf(Data data) Actions
Task #4982: [expression] Возможность досрочного завершения обхода Actions
Task #4983: [expression] Переименование Visitor и Walker Actions
Task #4987: [calculator] Переименование класса Range Actions
Task #4989: [calculator] Поддержка операций произвольной арности Actions
Task #5035: [build] New build required Actions
Task #5111: Переопределение метода hashCode() в классе BitVectorUnmodifiable Actions
Task #5155: [solver][constraint] Поддержка конструкции связывания переменных Actions
Task #5176: [expression] Possibility to calculate the expression type Actions
Task #5177: [solver] Implement function templates Actions
Task #5208: [transformer] Не учитываются узлы типа BINDING при упращении выражения и др. Actions
Task #5209: [transformer] Осуществление подстановок для узлов типа BINDING Actions
Task #5210: [expression] Переименование некоторых сущностей Actions
Task #5212: [expression] Отсутствуют комментарии к NodeBinding Actions
Task #5213: [transformer] Отсутствуют комментарии к трансформерам Actions
Task #5216: [solver] Вспомогательные методы работы с логическими формулами Actions
Task #5220: [solver] Переименовые SolverUtils Actions
Task #5221: [expression] More auxiliary methods dealing with expressions Actions
Task #5229: [transformer] Упрощение выражений с LOGIC_BOOLEAN Actions
Task #5259: [build] удаление папки distr при выполнении команды ant clean Actions
Task #5313: [expression] Сделать публичным метод ExprUtils.isSAT(Node assertion) Actions
Task #5316: [expression] Операции теории множеств над коллекциями объектов Node Actions
Task #5317: [expression] Реализовать метод построения Constraint по Node Actions
Task #5318: [solver][expression] Реализовать метод разрешения ограничений SolverResult solve(Constraint constraint) Actions
Task #5319: [expression] Реализовать метод получения коллекции NodeVariable по объекту Node Actions
Task #5399: silent & debug mode Actions
Task #5409: Orthogonalizer refactoring etc. Actions
Task #5419: [transformer][ruleset] реализовать правило expr==false -> NOT(expr == true) Actions
Task #5424: [transformer][ruleset] дополнительные правила стандартизации Actions
Task #5433: [test] write executable SMT-LIB code at testcase comments Actions
Task #5447: [transformer][ruleset] стандартизация константных выражений вида "x EQ y" Actions
Task #5462: [arrays] arrays initialization is inconvenient Actions
Task #5464: [solver] boolean expressions casting into bit vectors Actions
Task #5465: [z3][solver] solver errors elaboration scheme Actions
Task #5466: [solver] print the input constraint when solver returns ERROR/UNKNOWN verdict Actions
Task #5470: [data] DataMap JavaDoc Actions
Task #5489: [data] The BitVector.valueOf(BigInteger value, int bitSize) method required Actions
Task #5563: [data] implement DataTypeId.isLogic(Enum<?> id) method Actions
Task #5565: [expression] Setting traversal order in visitor Actions
Task #5576: Сalculate data type of expression with BVCONCAT Actions
Task #5599: [expression] implement getDataTypeId() method Actions
Task #5600: [transformer][ruleset] implement ITE rules Actions
Task #5802: NodeValue newZero(DataType dataType) Actions
Task #5861: static boolean containsSingleObject(Collection<?> collection) Actions
Task #5907: boolean areOfType(DataTypeId id, Node ... nodes) Actions