[GIT] ppl/ppl(master): Updated.

25 Feb 2012

Module: ppl/ppl
Branch: master
Commit: e87943772e7901e7b5c0e550d89742423b7fe225
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e87943772e790...
Author: Roberto Bagnara bagnara@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@cs.unipr.it)
-		Patricia M. Hill (hill@comp.leeds.ac.uk)
-		Enea Zaffanella (zaffanella@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@cs.unipr.it (PPL developers)
 Primary-site:	metlab.unc.edu /pub/linux/libs
-		5850k ppl-@VERSION@.tar.gz
+		16788k ppl-@VERSION@.tar.gz
    	800 ppl.lsm
 Alternate-site:	
 Original-site:	http://bugseng.com/products/ppl/

    

Roberto Bagnara

tags (0)

participants (1)