Module: ppl/ppl Branch: floating_point Commit: 630590eb2beb329240e5e06f87df97ce2b582e71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=630590eb2beb3... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Sep 17 20:55:32 2009 +0200 Added Roberto Amadini to the list of current contributors. --- CREDITS | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/CREDITS b/CREDITS index 1df21ca..79b6899 100644 --- a/CREDITS +++ b/CREDITS @@ -35,6 +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.