[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Feb 25 18:16:56 CET 2012
Module: ppl/ppl
Branch: master
Commit: e87943772e7901e7b5c0e550d89742423b7fe225
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e87943772e7901e7b5c0e550d89742423b7fe225
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 25 18:16:44 2012 +0100
Updated.
---
CREDITS | 28 +++++++++++++++-------------
NEWS | 2 +-
README | 17 ++++++++++++-----
ppl.lsm.in | 36 +++++++++++++++++++++++++-----------
4 files changed, 53 insertions(+), 30 deletions(-)
diff --git a/CREDITS b/CREDITS
index a34375e..99aa556 100644
--- a/CREDITS
+++ b/CREDITS
@@ -88,9 +88,9 @@ Past Contributors:
algorithms for rational grids and products
of grids and polyhedra.
- Giordano Fracasso (University of Parma) wrote the initial version
- of the support for native and checked integer
- coefficients.
+ Giordano Fracasso (former student of the University of Parma) wrote
+ the initial version of the support for native
+ and checked integer coefficients.
Francois Galea [5] (University of Versailles) worked
at the implementation of the Parametric Integer
@@ -100,11 +100,12 @@ Past Contributors:
helped a little to improve the documentation for
bounded differences.
- Elena Mazzi (University of Parma) worked on our implementation
- of bounded differences and octagons. She also
- participated in the theoretical and practical
- work concerning widening operators for weakly
- relational domains.
+ Elena Mazzi (former student of the University of Parma) worked
+ on our implementation of bounded differences
+ and octagons. She also participated in the
+ theoretical and practical work concerning
+ widening operators for weakly relational
+ domains.
David Merchat (formerly at the University of Parma) helped us
with the generation of the library's documentation
@@ -129,11 +130,12 @@ Past Contributors:
Angela Stazzone (former student of the University of Parma)
worked on the library's documentation.
- Fabio Trabucchi (University of Parma) worked on a development
- branch where he added serializers for all the
- objects of the PPL. Support for serialization
- based on Fabio's work will be available in a
- future release of the library.
+ Fabio Trabucchi (former student of the University of Parma) worked
+ on a development branch where he added
+ serializers for all the objects of the PPL.
+ Support for serialization based on Fabio's
+ work will be available in a future release of
+ the library.
Claudio Trento (former student of the University of Pisa) did
a small amount of work on an experimental OCaml
diff --git a/NEWS b/NEWS
index 5807807..7de2386 100644
--- a/NEWS
+++ b/NEWS
@@ -10,7 +10,7 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
--------------------------------------------------------------------------
-NEWS for version 0.12 (release date to be decided)
+NEWS for version 0.12 (released on February 27, 2012)
--------------------------------------------------------------------------
New and Changed Features
diff --git a/README b/README
index 785214b..079e65a 100644
--- a/README
+++ b/README
@@ -17,17 +17,24 @@ To be more precise, the Parma Polyhedra Library (PPL) can handle:
by an equality or a (strict or non-strict) inequality with rational
coefficients;
- + convex polyhedra defined by systems of bounded differences with
- a wide choice of integer, rational or floating point coefficients;
+ + some special classes of polyhedra shapes that offer interesting
+ complexity/precision tradeoffs: boxes, bounded difference shapes
+ and octagonal shapes defined over a wide choice of integer,
+ rational or floating point coefficients;
- + all grids (or, equivalently, lattices); a grid is defined by a set
+ + all grids (or, equivalently, lattices): a grid is defined by a set
of congruence relations with rational coefficients and consists of
the set of all points that satisfy these relations;
- + finite powersets of the above;
+ + finite powersets and products of the above;
+ linear programming problems, solved with an implementation of the
- primal simplex algorithm using exact arithmetic.
+ primal simplex algorithm using exact arithmetic;
+
+ + parametric integer programming problems;
+
+ + termination analysis problems, via the automatic synthesis of
+ linear ranking functions.
The Parma Polyhedra Library is:
diff --git a/ppl.lsm.in b/ppl.lsm.in
index 6f20d00..0e01b58 100644
--- a/ppl.lsm.in
+++ b/ppl.lsm.in
@@ -4,24 +4,38 @@ Version: @VERSION@
Entered-date: @ISODATE@
Description: The Parma Polyhedra Library (PPL) is a C++ library
for the manipulation of numerical abstractions.
-Keywords: C++ library convex polyhedra
-Author: Roberto Bagnara (bagnara at cs.unipr.it)
- Patricia M. Hill (hill at comp.leeds.ac.uk)
- Enea Zaffanella (zaffanella at cs.unipr.it)
- Abramo Bagnara (Opera Unica)
- Andrea Cimino (University of Parma)
- Giordano Fracasso (University of Parma)
- Elena Mazzi (University of Parma)
- Matthew Mundell (University of Leeds)
- Barbara Quartieri (University of Parma)
+Keywords: C++ library convex polyhedra verification
+Author: Roberto Bagnara (BUGSENG srl and University of Parma)
+ Patricia M. Hill (BUGSENG srl and University of Leeds)
+ Enea Zaffanella (BUGSENG srl and University of Parma)
+ Abramo Bagnara (BUGSENG srl)
Elisa Ricci (former student of the University of Parma)
+ Marco Poletti (student of the University of Bologna)
+ Alessandro Zaccagnini (University of Parma)
+ Roberto Amadini (former student of the University of Parma)
+ Irene Bacchi (former student of the University of Parma)
+ Fabio Biselli (student of the University of Parma)
+ Fabio Bossi (former student of the University of Parma)
+ Danilo Bonardi (former student of the University of Parma)
Sara Bonini (former student of the University of Parma)
+ Andrea Cimino (former student of the University of Parma)
+ Katy Dobson (former student of the University of Leeds)
+ Giordano Fracasso (former student of the University of Parma)
+ Francois Galea (University of Versailles)
+ Maximiliano Marchesi (former student of the University of Parma)
+ Elena Mazzi (former student of the University of Parma)
+ David Merchat (formerly at the University of Parma)
+ Matthew Mundell (formerly at the University of Leeds)
Andrea Pescetti (former student of the University of Parma)
+ Barbara Quartieri (former student of the University of Parma)
+ Enric Rodriguez Carbonell (Technical University of Catalonia)
Angela Stazzone (former student of the University of Parma)
+ Fabio Trabucchi (University of Parma)
+ Claudio Trento (former student of the University of Pisa)
Tatiana Zolo (former student of the University of Parma)
Maintained-by: ppl-devel at cs.unipr.it (PPL developers)
Primary-site: metlab.unc.edu /pub/linux/libs
- 5850k ppl- at VERSION@.tar.gz
+ 16788k ppl- at VERSION@.tar.gz
800 ppl.lsm
Alternate-site:
Original-site: http://bugseng.com/products/ppl/
More information about the PPL-devel
mailing list