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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 17:06:00 2012 +0100

Updated.

---

CREDITS | 60 +++++++++++++++++++++++++++--------------------------------- 1 files changed, 27 insertions(+), 33 deletions(-)

diff --git a/CREDITS b/CREDITS index 7c799d7..a34375e 100644 --- a/CREDITS +++ b/CREDITS @@ -10,9 +10,10 @@ people: Core Development Team: ----------------------

- Roberto Bagnara [1] (University of Parma) - Patricia M. Hill [2] (University of Leeds) - Enea Zaffanella [3] (University of Parma) + Roberto Bagnara [1] (BUGSENG srl and University of Parma) + Patricia M. Hill [2] (BUGSENG srl and University of Leeds) + Enea Zaffanella [3] (BUGSENG srl and University of Parma) + Abramo Bagnara (BUGSENG srl)

Former Members of the Core Development Team: @@ -28,21 +29,6 @@ Former Members of the Core Development Team: Current Contributors: ---------------------

- Abramo Bagnara (Opera Unica) rewrote and generalized the - support for checked coefficients. He also - wrote the support for extended numbers and is - currently writing a new implementation of - intervals. He also helps on several other - design and implementation issues. - - Fabio Bossi (student of the University of Parma) - is working on the PPL support for the approximation - of floating point computations. - - Francois Galea [*] (University of Versailles) is working - at the implementation of the Parametric Integer - Programming solver. - Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also @@ -51,10 +37,7 @@ Current Contributors: on improving the PPL's memory footprint and on other improvements to the library.

- Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is - working on the implementation of polynomial spaces. - - Alessandro Zaccagnini [5] (University of Parma) has helped with + Alessandro Zaccagnini [4] (University of Parma) has helped with the efficient implementation of GCD and LCM for checked numbers. He is now working on the definitions of interval arithmetic operations. @@ -65,7 +48,7 @@ Current Contributors: Past Contributors: ------------------

- Roberto Amadini (student of the University of Parma) + Roberto Amadini (former student of the University of Parma) did some work on the PPL support for the approximation of floating point computations.

@@ -79,6 +62,10 @@ Past Contributors: did some work on the PPL support for the approximation of floating point computations.

+ Fabio Bossi (former student of the University of Parma) + worked 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 @@ -96,7 +83,7 @@ Past Contributors: solver, and also most of the Java and OCaml interfaces.

- Katy Dobson [6] (former student of the University of Leeds) + Katy Dobson (former student of the University of Leeds) worked on the formalization and definition of algorithms for rational grids and products of grids and polyhedra. @@ -105,6 +92,10 @@ Past Contributors: of the support for native and checked integer coefficients.

+ Francois Galea [5] (University of Versailles) worked + at the implementation of the Parametric Integer + Programming solver. + Maximiliano Marchesi (former student of the University of Parma) helped a little to improve the documentation for bounded differences. @@ -119,18 +110,22 @@ Past Contributors: with the generation of the library's documentation using Doxygen.

- Matthew Mundell [7] (formerly at the University of Leeds) worked + Matthew Mundell [6] (formerly at the University of Leeds) worked on the implementation of rational grids. He has also helped on other implementation issues.

- Andrea Pescetti (University of Parma) was one of the four students - with which the PPL project started. Later, he - helped a little with the library's documentation. + Andrea Pescetti (former student of the University of Parma) was one + of the four students with which the PPL + project started. Later, he helped a little + with the library's documentation.

Barbara Quartieri (former student of the University of Parma) worked on our implementation of bounded differences and octagons.

+ Enric Rodriguez Carbonell [7] (Technical University of Catalonia) + worked at the implementation of polynomial spaces. + Angela Stazzone (former student of the University of Parma) worked on the library's documentation.

@@ -369,11 +364,10 @@ projects and organizations: [1] http://www.cs.unipr.it/~bagnara/ [2] http://www.comp.leeds.ac.uk/hill/ [3] http://www.cs.unipr.it/~zaffanella/ - [*] http://www.prism.uvsq.fr/~fgalea/ - [4] http://www.lsi.upc.edu/~erodri/ - [5] http://www.math.unipr.it/~zaccagni/ - [6] http://www.comp.leeds.ac.uk/katyd/ - [7] http://www.mundell.ukfsn.org/ + [4] http://www.math.unipr.it/~zaccagni/ + [5] http://www.prism.uvsq.fr/~fgalea/ + [6] http://www.mundell.ukfsn.org/ + [7] http://www.lsi.upc.edu/~erodri/ [8] http://www.irisa.fr/lande/fbesson/fbesson.html [9] http://www.cs.ucsb.edu/~bultan/ [10] http://www.clip.dia.fi.upm.es/~boris/