summaryrefslogtreecommitdiff
path: root/CREDITS
diff options
context:
space:
mode:
authorRoberto Bagnara <bagnara@cs.unipr.it>2009-09-02 17:15:12 +0200
committerRoberto Bagnara <bagnara@cs.unipr.it>2009-09-02 17:15:12 +0200
commitd2bd25f15c03600bc91264783bcdf3a4afd42cdf (patch)
treeb1e9ff38e25d5766159e51f9c487cdc868bc68d5 /CREDITS
parent8839824bc84d7304ff5c9ca801d595f8fe7cede5 (diff)
downloadppl-d2bd25f15c03600bc91264783bcdf3a4afd42cdf.tar.gz
ppl-d2bd25f15c03600bc91264783bcdf3a4afd42cdf.tar.bz2
ppl-d2bd25f15c03600bc91264783bcdf3a4afd42cdf.zip
Added Fabio Biselli to the list of current contributors.
Diffstat (limited to 'CREDITS')
-rw-r--r--CREDITS4
1 files changed, 4 insertions, 0 deletions
diff --git a/CREDITS b/CREDITS
index 2f76e2414..1df21ca42 100644
--- a/CREDITS
+++ b/CREDITS
@@ -35,6 +35,10 @@ Current Contributors:
intervals. He also helps on several other
design and implementation issues.
+ 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.