Project

General

Profile

News

Fortress v0.4.9 released

Added by Andrei Tatarnikov almost 5 years ago

The new release contains the following changes:

  • Methods getBigIntegerMask, getField and setField were added in BitUtils
  • Method nextBigIntegerField was added in Randomizer
  • Methods maskInt and maskLong of BitUtils were renamed to getIntegerMask and getLongMask respectively

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

Fortress v0.4.7 released

Added by Andrei Tatarnikov about 5 years ago

The new release contains the following changes:

  • Method BitVector.resize that supports zero extension and sign extension was implemented
  • More flexible expression printing facilities are available: visitor used in map-based expression printer can be overridden
  • Some general code improvements were made

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

(21-30/44)

Also available in: Atom