[PPL-devel] [GIT] ppl/ppl(master): Updated the entry for Marco Poletti.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: f53ed666287c55ea74013d3314bbbc9451ca49dc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c55ea74013d3314bbbc9451ca49dc

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Feb 19 17:17:49 2011 +0100

Updated the entry for Marco Poletti.

---

 CREDITS |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CREDITS b/CREDITS
index ea49aa7..c88eca7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -43,12 +43,13 @@ Current Contributors:
                         at the implementation of the Parametric Integer
                         Programming solver.
 
-  Marco Poletti         (student of the University of Parma)
+  Marco Poletti         (student of the University of Bologna)
                         implemented the sparse matrices that are used
                         in the MIP and PIP solvers of the PPL; he also
                         did experiments on the parallelization of the
                         sparse matrices' computations; he is now working
-                        on improving the PPL's memory footprint.
+                        on improving the PPL's memory footprint and
+                        on other improvements to the library.
 
   Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is
                         working on the implementation of polynomial spaces.