Project

General

Profile

News

Fortress v0.4.20 released

Added by Andrei Tatarnikov over 3 years 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 3 years 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

(11-20/44)

Also available in: Atom