Project

General

Profile

News

Fortress v0.4.35 released

Added by Alexander Protsenko about 1 year ago

The new release contains the following changes:
  • The data model:
    - Support for arbitrary function definition and application, including recursive functions
    - Support for datatypes
  • SMT-LIB interoperation layer:
    - Support for assertion levels
    - Support for multiple constraints in a single solver invocation
  • Fixed several issues leading to runtime exceptions

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

Fortress v0.4.32 released

Added by Andrei Tatarnikov over 5 years ago

The new release contains the following changes:

  • Enhancements in type calculation logic
  • New method DataType.isTypeId
  • New methods Data.getString and NodeValue.getString
  • Methods Data.newArray and NodeValue.newArray were renamed to newMap
  • Other bug fixes and code improvements

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

Fortress v0.4.31 released

Added by Andrei Tatarnikov almost 6 years ago

The new release contains the following changes:

  • New standard operation FUNCTION
  • Support for new operations in VerilogExprPrinter and VhdlExprPrinter
  • Support for IO streams in XmlConstraintLoader and XmlConstraintSaver
  • New utility method Node.deepestCopy to preserve user data
  • New convenience method NodeValue.newBitVector(boolean)
  • New BitVectorMath methods: nandr, norr, and xnorr
  • Removed redundant size checks for multiplication and division from BitVectorMath
  • Bug fix in BitVector.valueOf(byte[], int)
  • Other bug fixes and code improvements

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

(1-10/46)

Also available in: Atom