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=984d8ba3c2d7d...
Author: Patricia Hill p.m.hill@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