Project

General

Profile

Fortress v0.4.2 released

Fortress v0.4.2 has been released.
Added by Andrei Tatarnikov almost 9 years ago

The new release contains the following changes:

  • Type calculation rules for the BVZEROEXT, BVSIGNEXT, SELECT and STORE operators were implemented
  • The BitVector class was improved

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


Comments