Fortress

The new release contains the following changes:

• New utility class TypeConversion providing methods for coercing expressions of integral types (BV, Int, Bool) has been implemented

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

The new release contains the following changes:

• New method BitVector.extend was implemented

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

The new release contains the following changes:

• Reusability improvements in MapBasedPrinter
• New Value<T> utility interface for mutable values

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

The new release contains the following changes:

• Usability improvements in Transformer
• Some general improvements

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

The new release contains the following changes:

• New Data methods: equalTypes and equalValues
• Bugs in Transformer were fixed

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

The new release contains the following changes:

• New BitVector methods: setAll, isAllSet and isAllReset

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

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

The new release contains the following changes:

• Operations right shift (StandardOperation.BVASHR) and left shift (StandardOperation.BVLSHL) for LOGIC_INTEGER type are now supported in calculator

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

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

The new release contains the following changes:

• InvariantChecks methods with the message parameter were implemented
• Some bug fixes and general code improvements were made

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