- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Put aside changes related to Floating_Point and Linear_Form classes.
by Enea Zaffanella 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: master Commit: 7e35772519cb39fdc042fbb6f68966280b5a1cf5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e35772519cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 15 20:56:50 2010 +0200 Put aside changes related to Floating_Point and Linear_Form classes. These will not enter release 0.11. --- configure.ac | 1 - doc/definitions.dox | 167 ---- doc/devref.doxyconf-html.in | 38 - doc/devref.doxyconf-latex.in | 38 - src/BD_Shape.defs.hh | 129 --- src/BD_Shape.inlines.hh | 16 - src/BD_Shape.templates.hh | 724 -------------- src/Box.defs.hh | 31 - src/Box.templates.hh | 52 - src/Cast_Floating_Point_Expression.defs.hh | 186 ---- src/Cast_Floating_Point_Expression.inlines.hh | 69 -- src/Cast_Floating_Point_Expression.templates.hh | 45 - src/Cast_Floating_Point_Expression.types.hh | 22 - src/Constant_Floating_Point_Expression.defs.hh | 178 ---- src/Constant_Floating_Point_Expression.inlines.hh | 84 -- src/Constant_Floating_Point_Expression.types.hh | 22 - src/Difference_Floating_Point_Expression.defs.hh | 227 ----- ...Difference_Floating_Point_Expression.inlines.hh | 74 -- ...fference_Floating_Point_Expression.templates.hh | 52 - src/Difference_Floating_Point_Expression.types.hh | 22 - src/Division_Floating_Point_Expression.defs.hh | 243 ----- src/Division_Floating_Point_Expression.inlines.hh | 74 -- ...Division_Floating_Point_Expression.templates.hh | 60 -- src/Division_Floating_Point_Expression.types.hh | 22 - src/Floating_Point_Expression.defs.hh | 212 ----- src/Floating_Point_Expression.inlines.hh | 54 -- src/Floating_Point_Expression.templates.hh | 113 --- src/Floating_Point_Expression.types.hh | 22 - src/Linear_Form.cc | 26 - src/Linear_Form.defs.hh | 423 --------- src/Linear_Form.inlines.hh | 222 ----- src/Linear_Form.templates.hh | 429 --------- src/Linear_Form.types.hh | 22 - src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 ----- ...iplication_Floating_Point_Expression.inlines.hh | 77 -- ...lication_Floating_Point_Expression.templates.hh | 107 --- ...ltiplication_Floating_Point_Expression.types.hh | 22 - src/Octagonal_Shape.defs.hh | 113 --- src/Octagonal_Shape.inlines.hh | 45 - src/Octagonal_Shape.templates.hh | 774 --------------- src/Opposite_Floating_Point_Expression.defs.hh | 198 ---- src/Opposite_Floating_Point_Expression.inlines.hh | 83 -- src/Opposite_Floating_Point_Expression.types.hh | 22 - src/Polyhedron.defs.hh | 189 ---- src/Polyhedron.inlines.hh | 47 - src/Polyhedron.templates.hh | 284 ------ src/Polyhedron_nonpublic.cc | 1 - src/Sum_Floating_Point_Expression.defs.hh | 218 ----- src/Sum_Floating_Point_Expression.inlines.hh | 75 -- src/Sum_Floating_Point_Expression.templates.hh | 52 - src/Sum_Floating_Point_Expression.types.hh | 22 - src/Variable_Floating_Point_Expression.defs.hh | 192 ---- src/Variable_Floating_Point_Expression.inlines.hh | 101 -- src/Variable_Floating_Point_Expression.types.hh | 22 - tests/Floating_Point_Expression/.gitignore | 1 - tests/Floating_Point_Expression/Makefile.am | 184 ---- tests/Floating_Point_Expression/bdshape1.cc | 334 ------- tests/Floating_Point_Expression/bdshape2.cc | 570 ----------- tests/Floating_Point_Expression/digitalfilters1.cc | 1002 -------------------- .../floatingpointexpr1.cc | 350 ------- tests/Floating_Point_Expression/linearform1.cc | 305 ------ tests/Floating_Point_Expression/octagonalshape1.cc | 344 ------- tests/Floating_Point_Expression/octagonalshape2.cc | 463 --------- tests/Floating_Point_Expression/polyhedron1.cc | 277 ------ tests/Floating_Point_Expression/polyhedron2.cc | 241 ----- tests/Floating_Point_Expression/run_tests | 55 -- tests/Makefile.am | 1 - tests/ppl_test.hh | 93 -- 69 files changed, 1 insertions(+), 11259 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7e357725…

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 15 Jun '10

15 Jun '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24d6f3e03340… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 10 14:04:20 2010 +0200 Moved Katy Dobson to the list of past contributors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e452159271ab… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 08:44:28 2010 +0200 Fixed comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7c20fa14445… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 07:49:16 2010 +0200 Removed current implementation of PPL_{LT,GT}_SILENT: the cure was worse than the disease. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9182bb6ab09… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 07:20:52 2010 +0200 Avoid temporary in smod_2exp. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9bcf9e4ed2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri May 7 06:11:49 2010 +0200 Better/canonical way to avoid gcc warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=258de934add2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:11:29 2010 +0200 Revert "Optimized smod_2exp_signed_int." This reverts commit 21d120a07448821720acd415213f9b08a9a14338. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21d120a07448… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 4 13:07:37 2010 +0200 Optimized smod_2exp_signed_int. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b07586183751… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Apr 17 12:00:38 2010 +0200 Refuse to compile on (very obsolete) architectures that are not using two's complement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=140b42a24737… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 23 08:33:56 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b75b69c4ea3e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 23 00:51:39 2010 +0200 Put under git control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d882d4ea5dbe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 23:59:57 2010 +0200 Added class Partial_Function to the PPL library. Java, Prolog and OCaml interfaces now use an object of this Partial_Function class when mapping the space dimensions of teh vector space. Some of the consistency checks that were performed by other variants of Partial_Function are now only done when in debugging mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b80536886e3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 15:20:33 2010 +0200 Fixed expected results for tests/Octagonal_Shape/writeoctagon1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c976419bcc8f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 14:42:20 2010 +0200 Use a C++ object to encode a Partial_Function in the Java interface. Current implementation is based on a copy of the Partial_Function type used in C++ tests: we should consider whether or not it would be appropriate to have this Partial_Function type as a first class PPL object. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64faa9223236… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 22 10:17:09 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c30a06c1bbee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 22 10:05:12 2010 +0200 Modified signature of method maps() in Java Partial_Function interface. Modified test implementation in tests/Test_Partial_Function.java accordingly (note though that TreeMap still uses Long objects). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=212a7409b929… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:55:53 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a04daee5e4dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 21 18:54:32 2010 +0200 Fixed the printing of equality constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9088b000d17c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:33:08 2010 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 19 19:19:42 2010 +0200 Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE. (Thanks to Ralf Wildenhues who identified the problem and to Sebastian Pop who reported a parallel build failure due to it.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 15:16:17 2010 +0200 Properly document ppl_Coefficient_bits/1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41926a747ca7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:46:46 2010 +0200 Corrected a few typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd68769135… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 14:06:50 2010 +0200 Corrected typo causing a bug in the XSB Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7db9d078f153… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:14:23 2010 +0200 Add method wrap_assign() to Pointset_Powerset. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 16 11:13:48 2010 +0200 A minor stylistic improvement and a typo corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Apr 16 09:02:05 2010 +0200 Silenced warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9cd3bb78c41… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:59 2010 +0100 A Prolog PIP_Problem test overflows positively for checked_int8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88c6e6e5b5a5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:17:12 2010 +0100 Added tests in the Prolog interface for ppl_all_affine_quasi_ranking_functions_MS_* URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da7b38910703… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 15 20:15:00 2010 +0100 Added PIP_Problem predicates to list of predicates tested in pl_check.pl. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c015df929272… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 18:04:34 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf0c0ac2661a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 15 17:48:51 2010 +0200 Version number bumped.

1 0

math_utilities.inlines.hh:71: error:
by Z 15 Jun '10

15 Jun '10

Hello I suppose here is the most right place to report my problem for the installation. I am under MacBook Pro. Everything should be correctly configured especially --gmp is installed with enable-cxx option --configure of ppl is done with --with-libgmpxx-prefix=\sw (my gmp by fink) I verified and verified, tried and tried and still got such error (attached), can anyone tell me how to fix it? Many thanks. Z bash-3.2$ make make all-recursive Making all in . make[2]: Nothing to be done for `all-am'. Making all in utils make[2]: Nothing to be done for `all'. Making all in src make all-am /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fno-common -DPIC -o .libs/Box.o math_utilities.inlines.hh: In function 'void Parma_Polyhedra_Library::div_round_up(Parma_Polyhedra_Library::Checked_Number<T, P>&, const Parma_Polyhedra_Library::GMP_Integer&, const Parma_Polyhedra_Library::GMP_Integer&)': math_utilities.inlines.hh:71: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type math_utilities.inlines.hh:71: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Checked' math_utilities.inlines.hh:71: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type ... ... ... Box.templates.hh:894: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked' Box.templates.hh:894: error: 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses anonymous type Box.templates.hh:894: error: trying to instantiate 'template<class T> struct Parma_Polyhedra_Library::Is_Native_Or_Checked' make[3]: *** [Box.lo] Error 1 make[2]: *** [all] Error 2 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 bash-3.2$

2 1

Powerset of a set of convex sets.
by Amit Bhatia 26 May '10

26 May '10

Hello, I am a new user of PPL, and am trying to do the following using PPL. I have a bunch of convex sets (represented as intersection of half spaces), and would like to find the non empty elements of the powerset of this set of convex sets. It involves checking set intersections. I am wondering if PPL provides an elegant and efficient way to do this? The only other option I can think of is to consider every possible subset of the set, and then check for intersection by checking for feasibility using linear programming. thanks, amit.

2 1

Examples on using PPL.
by Amit Bhatia 25 May '10

25 May '10

Hi, I am a new user of PPL, and am trying to learn to use PPL. I was wondering if there are some examples that show how to use PPL? I looked in the documentation, but it provides details on classes and so on, but I could not find examples. thanks, amit.

2 1

Fwd: [Caml-list] A Tutorial on GNU Make with OCaml
by Roberto Bagnara 21 May '10

21 May '10

-------- Original Message -------- Subject: [Caml-list] A Tutorial on GNU Make with OCaml Date: Thu, 20 May 2010 23:53:14 -0400 From: Jeff Shaw <shawjef3(a)msu.edu> To: caml-list(a)inria.fr Dear OCamlers, I spent quite a lot of time today getting better acquainted with GNU make and decided I to share my experience and results. It's a bit on the newbie friendly side of instruction. http://shawjeff.blogspot.com/2010/05/this-is-storytutorial-about-how-i_20.h… I hope someone finds it helpful! Jeff Shaw shawjef3(a)msu.edu _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs

1 0

[GIT] ppl/w3ppl(master): Fixed CousotC79.
by Roberto Bagnara 16 May '10

16 May '10

Module: ppl/w3ppl Branch: master Commit: d94cb0c0ac21d2be3e299da99dfd6f0d4c705a31 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d94cb0c0ac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 16 11:24:48 2010 +0200 Fixed CousotC79. --- htdocs/Documentation/ppl.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index ccafdd8..f90eb93 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -1349,7 +1349,7 @@ Booktitle = "Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages", Publisher = "ACM Press", - Address = "New York", + Address = "San Antonio, TX, USA", Pages = "269--282", Year = 1979, Abstract = "Semantic analysis of programs is essential in optimizing

1 0

Re: [PPL-devel] Merge from Graphite to trunk
by Roberto Bagnara 11 May '10

11 May '10

On 05/07/10 00:01, Sebastian Pop wrote: > 0003 allows GCC to use later versions of PPL, not only PPL-0.10. > PPL-0.11 will be released sometimes in May, but it is not yet > required to build GCC as we do not use its extra functionality (i.e., > the PIP "parametric integer programming" solver). Another > patch will require PPL-0.11 or later when the data dependence > analysis will use PIP. Hi there. Marco Poletti, in CC, is working on several alternative implementations of sparse matrices to be used in the PPL, particularly in the PIP solver. So this is the right time to provide us with examples, preferably tough ones, to experiment with. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: optimize solve() method for sparse matrices.
by Marco Poletti 11 May '10

11 May '10

Module: ppl/ppl Branch: sparse_matrices Commit: 44c4824bb28d3d9c8bc263dd11e8ce2741e3396e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44c4824bb28d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon May 10 21:32:55 2010 +0200 PIP_Solution_Node: optimize solve() method for sparse matrices. --- src/PIP_Tree.cc | 18 ++++++++++++------ 1 files changed, 12 insertions(+), 6 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index b6683c8..57f1eb0 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2767,8 +2767,10 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } PPL_ASSERT(product % s_pivot_pj == 0); exact_div_assign(product, product, s_pivot_pj); - s_i.find_create_hint_assign(j->first, itr); - itr->second -= product; + if (product != 0) { + s_i.find_create_hint_assign(j->first, itr); + itr->second -= product; + } } } } @@ -2793,7 +2795,8 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } PPL_ASSERT(product % s_pivot_pj == 0); exact_div_assign(product, product, s_pivot_pj); - s_i[j->first] -= product; + if (product != 0) + s_i[j->first] -= product; } } } @@ -2868,8 +2871,10 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } PPL_ASSERT(product % s_pivot_pj == 0); exact_div_assign(product, product, s_pivot_pj); - t_i.find_create_hint_assign(j->first, k); - k->second -= product; + if (product != 0) { + t_i.find_create_hint_assign(j->first, k); + k->second -= product; + } // Update row sign. Row_Sign& sign_i = sign[i]; @@ -2912,7 +2917,8 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } PPL_ASSERT(product % s_pivot_pj == 0); exact_div_assign(product, product, s_pivot_pj); - t_i[j->first] -= product; + if (product != 0) + t_i[j->first] -= product; // Update row sign. Row_Sign& sign_i = sign[i];

1 0

[GIT] ppl/ppl(master): Moved Katy Dobson to the list of past contributors.
by Roberto Bagnara 10 May '10

10 May '10

Module: ppl/ppl Branch: master Commit: 24d6f3e03340f2c8ae7ded09b2087bd22c71e31e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24d6f3e03340… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 10 14:04:20 2010 +0200 Moved Katy Dobson to the list of past contributors. --- CREDITS | 20 ++++++++++---------- 1 files changed, 10 insertions(+), 10 deletions(-) diff --git a/CREDITS b/CREDITS index b96409d..6ba8c92 100644 --- a/CREDITS +++ b/CREDITS @@ -56,15 +56,10 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver. - Katy Dobson [4] (University of Leeds) is working on the - formalization and definition of algorithms for - rational grids and products of grids and - polyhedra. - - Enric Rodriguez Carbonell [5] (Technical University of Catalonia) is + Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces. - Alessandro Zaccagnini [6] (University of Parma) has helped with + Alessandro Zaccagnini [5] (University of Parma) has helped with the efficient implementation of GCD and LCM for checked numbers. He is now working on the definitions of interval arithmetic operations. @@ -93,6 +88,11 @@ Past Contributors: one of the four students with which the PPL project started. + Katy Dobson [6] (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 coefficients. @@ -362,9 +362,9 @@ projects and organizations: [2] http://www.comp.leeds.ac.uk/hill/ [3] http://www.cs.unipr.it/~zaffanella/ [*] http://www.prism.uvsq.fr/~fgalea/ - [4] http://www.comp.leeds.ac.uk/katyd/ - [5] http://www.lsi.upc.edu/~erodri/ - [6] http://www.math.unipr.it/~zaccagni/ + [4] http://www.lsi.upc.edu/~erodri/ + [5] http://www.math.unipr.it/~zaccagni/ + [6] http://www.comp.leeds.ac.uk/katyd/ [7] http://www.mundell.ukfsn.org/ [8] http://www.irisa.fr/lande/fbesson/fbesson.html [9] http://www.cs.ucsb.edu/~bultan/

1 0