News

LIRA 1.1.3 released

2009-07-15 22:48

A new version of LIRA is available! The source package is available from the following sources:

http://lira.gforge.avacs.org/

LIRA 1.1.3 has been released. This release adds support for SMT-LIB benchmarks and fixes some issues with current compilers. Also, various minor improvements are included.

Summary of Changes

new rva::Manager implementation to work around CUDD never releasing memory
correctly determine free variables for --example
parser for SMT format
documentation updates
allow for loading DFAs for (Z,+,<)
remove () around result printed by LIRA to conform with SMT standard
speed up load operations for dot files
update operator precendence, esp. make IMPLIES/MINUS right associative
allow for input like x<-4 (used to require a space like x< -4)
removed (outdated) GENEPI plugin, for a current version, check the TAPAS project
removed CUDD and lib-loki sources, now an external dependency
Use C++-TR1 data-structures (if available) instead of GNU extensions
pointer versions of ast_node::connect_to and ast_node::disconnect_from

Installation

To install the software use the following commands

./configure
make
make install

More News

LIRA News Archive...