Parma Polyhedra Library 0.10.1

Roberto Bagnara <bagnara@cs.unipr.it>
Tue, 14 Apr 2009 06:07:00 -0700 (PDT)

          From comp.compilers
Related articles
Parma Polyhedra Library 0.10.1 bagnara@cs.unipr.it (Roberto Bagnara) (2009-04-14)
| List of all articles for this month |
From: Roberto Bagnara <bagnara@cs.unipr.it>
Newsgroups: comp.compilers
Date: Tue, 14 Apr 2009 06:07:00 -0700 (PDT)
Organization: Compilers Central
Keywords: tools
Posted-Date: 16 Apr 2009 12:28:29 EDT

We are pleased to announce the availability of PPL 0.10.1, the latest
release of the Parma Polyhedra Library, a modern library for the
manipulation of convex polyhedra and other numerical abstractions
especially targeted at static analysis and verification of complex
software and hardware systems.


The new release PPL 0.10.1 includes several important improvements to
PPL 0.10, among which is better portability (including the support for
cross-compilation), increased robustness, better packaging and several
bug fixes.


For more information, visit the PPL web site at


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


The PPL core development team:


                Roberto Bagnara <bagnara@cs.unipr.it>
                Patricia M. Hill <hill@comp.leeds.ac.uk>
                Enea Zaffanella <zaffanella@cs.unipr.it>


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.