This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Parma Polyhedra Library 0.11


The core development team is very pleased to announce the availability
of PPL 0.11, a new release of the Parma Polyhedra Library.

This release has many new features, some of which developed in strict
coordination with the people behind GCC/Graphite.  The main novelties
are:

- a class PIP_Problem that provides a Parametric Integer Programming
  problem solver;

- "deterministic" timeout computation facilities;

- support for termination analysis via the automatic synthesis of
  linear ranking functions;

- support for approximating computations involving (bounded)
  machine integers.

This release includes several other enhancements, speed improvements
and some bug fixes.  The precise list of user-visible changes is
available at
http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/NEWS .
For more information, please come and visit the PPL web site at

http://www.cs.unipr.it/ppl/

On behalf of all the past and present developers listed at
http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS,

Roberto Bagnara Patricia M. Hill Enea Zaffanella

              Applied Formal Methods Laboratory
              Department of Mathematics
              University of Parma, Italy

--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]