The core development team is very pleased to announce the availability of PPL 1.1, a new release of the Parma Polyhedra Library. This release includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. The precise list of user-visible changes is below. For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -------------------------------------------------------------------------- NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- New and Changed Features ======================== o Added a new operator on polyhedra: the positive time elapse. o In the Java language interface: - The constraint/generator/... system classes now extend the ArrayList generic container (rather than Vector); - Variable objects are now built from a long (rather than int) value, thereby matching the type used elsewhere for space dimensions; - added new static method to Variable class void setStringifier(Variable_Stringifier) where Variable_Stringifier is an interface allowing for customization of the output routine for variable's names (see example in interfaces/Java/tests/Variable_Output_test1.java); - added value NOT_EQUAL to enumeration Relation_Symbol. Bugfixes ======== o Portability improved. o Fixed a precision regression in Polyhedron method void drop_some_non_integer_points(const Variables_Set&, Complexity_Class); o In the Java language interface, fixed a C++/Java conversion error whereby the construction of a valid Variable object in JNI code was leading to an exception being thrown. The bug has only been observed on 32-bit builds. o In the Java interface, fixed declaration of methods void drop_some_non_integer_points(...); so as to accept a Complexity_Class enum value. o Fixed an issue in method MIP_Problem::OK() whereby the method was trying to enforce a non-invariant condition. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com