[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 1965e10801563a96cd4171912c22306fc86eb8f9
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1965e10801563a96cd4171912c22306fc86eb8f9

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Aug  2 15:54:38 2010 +0200

Updated.

---

 CREDITS       |   26 +++++++++++++-------------
 NEWS          |    2 +-
 TODO          |   14 --------------
 Watchdog/NEWS |    2 +-
 4 files changed, 15 insertions(+), 29 deletions(-)

diff --git a/CREDITS b/CREDITS
index 6ba8c92..c797359 100644
--- a/CREDITS
+++ b/CREDITS
@@ -35,23 +35,10 @@ Current Contributors:
                         intervals.  He also helps on several other
                         design and implementation issues.
 
-  Roberto Amadini       (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
-
-  Fabio Biselli         (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
-
   Fabio Bossi           (student of the University of Parma)
                         is working on the PPL support for the approximation
                         of floating point computations.
 
-  Andrea Cimino         (former student of the University of Parma)
-                        wrote most of the mixed integer programming
-                        solver, and also most of the Java and OCaml
-                        interfaces.
-
   Francois Galea        [*] (University of Versailles) is working
                         at the implementation of the Parametric Integer
                         Programming solver.
@@ -70,12 +57,20 @@ Current Contributors:
 Past Contributors:
 ------------------
 
+  Roberto Amadini       (student of the University of Parma)
+                        did some working on the PPL support for the
+                        approximation of floating point computations.
+
   Irene Bacchi          (former student of the University of Parma) worked
                         on a development branch where she implemented
                         several variants of algorithms, checking
                         whether or not the set-union of two polyhedra
                         is the same as their poly-hull.
 
+  Fabio Biselli         (student of the University of Parma)
+                        did some work on the PPL support for the
+                        approximation of floating point computations.
+
   Danilo Bonardi        (former student of the University of Parma) worked
                         on a development branch where he experimented
                         with the use of metaprogramming techniques
@@ -88,6 +83,11 @@ Past Contributors:
                         one of the four students with which the PPL
                         project started.
 
+  Andrea Cimino         (former student of the University of Parma)
+                        wrote most of the mixed integer programming
+                        solver, and also most of the Java and OCaml
+                        interfaces.
+
   Katy Dobson           [6] (University of Leeds) worked on the
                         formalization and definition of algorithms for
                         rational grids and products of grids and
diff --git a/NEWS b/NEWS
index dd7aad4..45d77e1 100644
--- a/NEWS
+++ b/NEWS
@@ -4,7 +4,7 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
-NEWS for version 0.11  (released on August 4, 2010)
+NEWS for version 0.11  (released on August 2, 2010)
 --------------------------------------------------------------------------
 
 New and Changed Features
diff --git a/TODO b/TODO
index 199ef0e..0023df5 100644
--- a/TODO
+++ b/TODO
@@ -120,17 +120,3 @@ Efficiency Issues
   are concerned.
 - Provide a better implementation of computing squares in MIP_Problem's
   steepest-edge to avoid big numbers.
-
-
-Debian packaging
-================
-
-- Add an interface package for each Prolog as a suitable version of
-  that Prolog appears in Debian.  Control entries for these are in
-  control.prologs.
-- Find out if /usr/lib/pkgconfig entries are required in any packages.
-- libppl-dev is very large.  Consider moving the docs to libppl-doc
-  and the other files into libppl.
-- Verify the Build-Depends and Build-Depends-Indep settings, as per
-  the Debian Developers Reference section 5.10.1 point 1.
-- Consider renaming libppl-pwl to libpwl.
diff --git a/Watchdog/NEWS b/Watchdog/NEWS
index ca9d361..986b025 100644
--- a/Watchdog/NEWS
+++ b/Watchdog/NEWS
@@ -4,7 +4,7 @@ Parma Watchdog Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
-NEWS for version 0.8  (released date to be decided)
+NEWS for version 0.8  (released on August 2, 2010)
 --------------------------------------------------------------------------
 
 o  The new class Threshold_Watcher allows to define, generically,