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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Aug 4 14:01:15 2010 +0200

Little improvements: Mazzi and Trabucchi are former students.

---

htdocs/Credits/Credits.raw | 12 +++++++----- 1 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 0ee838f..2c84d69 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -142,9 +142,9 @@ maintained and improved by the following people: </LI> <LI> Giordano Fracasso - (University of Parma) wrote the initial version - of the support for native and checked integer - coefficients. + (student of the University of Parma) + wrote the initial version of the support for + native and checked integer coefficients. </LI> <LI> Maximiliano Marchesi @@ -154,7 +154,8 @@ maintained and improved by the following people: </LI> <LI> Elena Mazzi - (University of Parma) worked on our implementation + (former student of the University of Parma) + worked on our implementation of bounded differences and octagons. She also participated in the theoretical and practical work concerning widening operators for weakly @@ -192,7 +193,8 @@ maintained and improved by the following people: </LI> <LI> Fabio Trabucchi - (University of Parma) worked on a development + (former student of the University of Parma) + worked on a development branch where he added serializers for all the objects of the PPL. Support for serialization based on Fabio's work, will be available in a