Module: ppl/w3ppl Branch: master Commit: fe2975c0f3f706a5d77fd24b39cf694adfe4bb54 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=fe2975c0f3f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Dec 22 10:25:15 2009 +0100 Added Roberto Amadini, Fabio Biselli and Fabio Bossi to the list of contributors. --- htdocs/Credits/Credits.raw | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 016c81d..8365976 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -44,6 +44,12 @@ 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 @@ -53,6 +59,19 @@ 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