Fortress v0.3.2 released

Fortress v0.3.2 has been released.
Added by Andrei Tatarnikov over 9 years ago

Fortress v0.3.2 has been released.

The new release includes the following changes:

Factory methods to simplify creating NodeValue objects
Support for creating deep copies of expressions
Utility classes for generating random values
Support for a variable number of operands in the expression calculator
Saving/loading constraints to/from an XML string
Aborting visiting an expression tree and skipping subtrees
Basic facilities to calculate the type of an expression
Extending the functionality of a solver with function templates
New standard operations: ABS, MIN, MAX, BVANDR, BVNANDR, BVORR, BVNORR, BVXORR, BVXNORR
Class NodeExpr was renamed to NodeOperation
XML format was simplified: nodes Expression and Operation were merged together (the new node is called Operation)
Class ExprUtils that provides a set of useful methods to work with logical expressions
Expression printers for Verilog and VHDL hardware description languages
Support for the boolean type in the calculator

Fortress