[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Updated and typo fixed.
Patricia Hill
p.m.hill at leeds.ac.uk
Thu Aug 5 09:12:19 CEST 2010
Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 984d8ba3c2d7d9e2302d7f369d07ca50c72c7351
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=984d8ba3c2d7d9e2302d7f369d07ca50c72c7351
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Aug 3 20:49:26 2010 +0100
Updated and typo fixed.
---
CREDITS | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/CREDITS b/CREDITS
index c797359..c047e89 100644
--- a/CREDITS
+++ b/CREDITS
@@ -58,7 +58,7 @@ Past Contributors:
------------------
Roberto Amadini (student of the University of Parma)
- did some working on the PPL support for the
+ did some work on the PPL support for the
approximation of floating point computations.
Irene Bacchi (former student of the University of Parma) worked
@@ -88,10 +88,10 @@ Past Contributors:
solver, and also most of the Java and OCaml
interfaces.
- Katy Dobson [6] (University of Leeds) worked on the
- formalization and definition of algorithms for
- rational grids and products of grids and
- polyhedra.
+ Katy Dobson [6] (former student of the University of Leeds)
+ worked on the formalization and definition of
+ algorithms for rational grids and products
+ of grids and polyhedra.
Giordano Fracasso (University of Parma) wrote the initial version
of the support for native and checked integer
More information about the PPL-devel
mailing list