[PPL-devel] [GIT] ppl/ppl(floating_point): Added Fabio Bossi to the list of current contributors.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Sep 2 16:46:21 CEST 2009
Module: ppl/ppl
Branch: floating_point
Commit: 091ba8a954912a4eb80447877629c9882f449901
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=091ba8a954912a4eb80447877629c9882f449901
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Sep 2 15:46:12 2009 +0200
Added Fabio Bossi to the list of current contributors.
---
CREDITS | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/CREDITS b/CREDITS
index 7316d9b..2f76e24 100644
--- a/CREDITS
+++ b/CREDITS
@@ -35,6 +35,10 @@ Current Contributors:
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.
+
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
More information about the PPL-devel
mailing list