Module: ppl/w3ppl Branch: master Commit: 2e771410e35c08c580c156d0c55bf7b653eee84a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2e771410e35... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Tue Aug 3 12:08:43 2010 +0100 Updated following the CREDITS file in the ppl. --- htdocs/Credits/Credits.raw | 55 ++++++++++++++++++++++--------------------- 1 files changed, 28 insertions(+), 27 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 8365976..4081601 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -44,12 +44,6 @@ maintained and improved by the following people: <UL> <LI> - Roberto Amadini - (student of the University of Parma) - is working on the PPL support for the approximation - of floating point computations. - </LI> - <LI> Abramo Bagnara (Opera Unica) rewrote and generalized the support for checked coefficients. He also @@ -59,33 +53,12 @@ maintained and improved by the following people: design and implementation issues. </LI> <LI> - Fabio Biselli - (student of the University of Parma) - is working on the PPL support for the approximation - of floating point computations. - - </LI> - <LI> Fabio Bossi (student of the University of Parma) is working on the PPL support for the approximation of floating point computations. </LI> <LI> - 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. - </LI> - <LI> - <A HREF="http://www.comp.leeds.ac.uk/katyd">Katy Dobson</A> - (University of Leeds) is working on the - formalization and definition of algorithms - for rational grids and products of grids - and polyhedra. - </LI> - <LI> <A HREF="http://www.prism.uvsq.fr/~fgalea/">François Galea</A> (University of Versailles) is working at the implementation of the Parametric Integer @@ -115,6 +88,13 @@ maintained and improved by the following people: <P> <UL> + + <LI> + Roberto Amadini + (student of the University of Parma) + is working on the PPL support for the approximation + of floating point computations. + </LI> <LI> Irene Bacchi (former student of the University of Parma) @@ -124,6 +104,13 @@ maintained and improved by the following people: of two polyhedra is the same as their poly-hull. </LI> <LI> + Fabio Biselli + (student of the University of Parma) + is working on the PPL support for the approximation + of floating point computations. + + </LI> + <LI> Danilo Bonardi (former student of the University of Parma) worked on a development branch where he experimented @@ -140,6 +127,20 @@ maintained and improved by the following people: project started. </LI> <LI> + 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. + </LI> + <LI> + <A HREF="http://www.comp.leeds.ac.uk/katyd">Katy Dobson</A> + (University of Leeds) is working on the + formalization and definition of algorithms + for rational grids and products of grids + and polyhedra. + </LI> + <LI> Giordano Fracasso (University of Parma) wrote the initial version of the support for native and checked integer