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

Author: Roberto Bagnara bagnara@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,