The core development team is very pleased to announce the availability of the long-awaited release 1.2 of the Parma Polyhedra Library. This release includes a major efficiency improvement to the conversion procedure for polyhedra, a few bugfixes and numerous portability improvements. The precise list of user-visible changes is below. For more information, please come and visit the 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 -------------------------------------------------------------------------- NEWS for version 1.2 (released on February 11, 2016) -------------------------------------------------------------------------- New and Changed Features ======================== o Improved the efficiency of the conversion procedure for polyhedra by adding a quick adjacency check. o In the Java language interface, throw an exception when trying to build a disequality Constraint. Bugfixes ======== o Fixed a bug in the implementation of methods Pointset_Powerset<PSET>::relation_with(const Constraint&) const; and Pointset_Powerset<PSET>::relation_with(const Congruence&) const; whereby the computed result for relations strictly_intersects() and saturates() could have been wrong. o Fixed a bug in the implementation of dense rows. o Portability improved. -- 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