The new release contains the following changes:
- Transformer: Support for transforming
MAP
to BIT_VECTOR
- Solver: New operations
bv2int
(bv2nat
for CVC4) and int2bv
- Solver: Solver-specific headers for generated
*.smt2
files
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The new release contains the following changes:
- Facilities to cast values in constant expressions
- Improvements in
ESExprParser
The list of resolved issues can be found at the following link
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The new release contains the following changes:
- New
NodeVariable
methods: newInteger
, newReal
, newString
, newBoolean
, newUnknown
, newBitVector
and newMap
- New
ExprUtils
method: isOperation
that takes multiple operation identifiers
The list of resolved issues can be found at the following link
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The new release contains the following changes:
- New interface
TreeVisitor
for visitors of hierarchical structures
ExprTreeVisitor
methods onRootBegin
and onRootEnd
are renamed to onBegin
and onEnd
- New
BitVector
method: repeat
- New
ExprUtils
methods: isOperation
, isValue
, isVariable
- Several bug fixes and code improvements
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The new release contains the following changes:
Transformer.reduce(Node)
convenience method was implemented
NodeOperation
takes a data type as a constructor argument to prevent dynamic type calculation
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files