[PPL-devel] Parma Polyhedra Library 1.2

[Roberto Bagnara]

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 at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com