News

Fortress v0.4.27 released

Added by Andrei Tatarnikov 2 months ago

The new release contains the following changes:

  • Bug fixes and improvements in BitVector (mappings were reviewed)

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress v0.4.26 released

Added by Andrei Tatarnikov 2 months ago

The new release contains the following changes:

  • Fix in BitVectorMapping
  • Improvement in type calculation rules (support for unbounded BVCONCAT)

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress v0.4.25 released

Added by Andrei Tatarnikov 5 months ago

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

Fortress v0.4.24 released

Added by Andrei Tatarnikov 5 months ago

The new release contains the following changes:

  • Improvements in Randomizer and VariateInterval
  • Pair can store null

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress v0.4.23 released

Added by Andrei Tatarnikov 7 months ago

The new release contains the following changes:

  • SmtTextBuilder was made public
  • ConstraintUtils.newConstraint for collections was implemented

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress v0.4.22 released

Added by Andrei Tatarnikov 7 months ago

The new release contains the following changes:

  • New Randomizer method: permute
  • Several bug fixes and code improvements

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress v0.4.21 released

Added by Andrei Tatarnikov 12 months ago

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

Fortress v0.4.20 released

Added by Andrei Tatarnikov about 1 year ago

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

Fortress v0.4.19 released

Added by Andrei Tatarnikov over 1 year ago

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

Fortress v0.4.18 released

Added by Andrei Tatarnikov over 1 year ago

The new release contains the following changes:

  • Several bug fixes were made

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

1 2 3 4 (1-10/38)

Also available in: Atom