Project

General

Profile

0.1

closed

Features: constraint representation; SMT-LIB interface with external solvers (Z3)

100%

25 issues   (25 closed — 0 open)

Issues by
Bug

6/6
Feature

1/1
Task

18/18
Related issues
Bug #4050: Поддержка вызовов функций Actions
Bug #4066: Bitwise XOR operaton is not supported Actions
Bug #4067: Questions on ADD and MINUS Actions
Bug #4070: Question on the ternary conditional operation (cond ? lhs : rhs) Actions
Bug #4072: Unsupported major.minor version 51.0 Actions
Bug #4076: Strange hashCode methods Actions
Feature #3965: Переопределение метода toString() для классов Formula, Operation, Variable Actions
Task #3476: [docs] Перенести из проекта MicroTESK описание Actions
Task #3499: Поддержка пользовательских операций Actions
Task #3500: Добавить поддержку операций Verilog Actions
Task #3522: Возможность подключения к узлам дерева операций произвольных объектов Actions
Task #3764: Нужны методы equals() и hashCode() для формул Actions
Task #3914: function templates Actions
Task #3973: Реализовать добавление Variable в Constraint Actions
Task #4065: TABs should be replaced to 4 spaces Actions
Task #4069: Decomposition of the BVSHL into BVLSHL and BVASHL Actions
Task #4071: Thoughts/questions on EVerilogOperation Actions
Task #4075: Support for the case equality/inequality (=== and !==) operators Actions
Task #4081: constraint-solver-api-0.1.jar -> constraint-solver-api-0.1.1-beta.jar Actions
Task #4083: DataFactory.createObject required Actions
Task #4084: String data type required Actions
Task #4117: Support of replication operation Actions
Task #4133: ABS, MAX, MIN для Logic-типов Actions
Task #4175: Добавить параметризованные операции Actions
Task #4212: New build Actions