- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 10 Nov '11

10 Nov '11

Module: ppl/ppl Branch: master Commit: cc6d91dfbceb507c7698827957b4fd756f4c397e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc6d91dfbceb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 10 09:47:25 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. --- devtools/good_items | 8 +- devtools/good_words | 7 ++ src/Octagonal_Shape.templates.hh | 8 +- src/PIP_Problem.defs.hh | 2 +- src/PIP_Tree.defs.hh | 6 +- src/Partially_Reduced_Product.defs.hh | 4 +- src/Pointset_Ask_Tell.defs.hh | 18 ++-- src/Pointset_Powerset.cc | 4 +- src/Pointset_Powerset.inlines.hh | 10 +- src/Pointset_Powerset.templates.hh | 48 +++++---- src/Polyhedron.defs.hh | 12 +- src/Polyhedron.templates.hh | 12 +- src/Polyhedron_chdims.cc | 4 +- src/Polyhedron_nonpublic.cc | 88 +++++++++-------- src/Polyhedron_public.cc | 48 +++++----- src/checked.cc | 178 +++++++++++++++++---------------- 16 files changed, 240 insertions(+), 217 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=cc6d91df…

1 0

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 09 Nov '11

09 Nov '11

Module: ppl/ppl Branch: master Commit: 803510678ede6d9377fbfc930eaf2c3071e98740 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803510678ede… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 9 22:13:14 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. --- devtools/good_items | 18 ++- devtools/good_words | 19 ++ src/CO_Tree.defs.hh | 8 +- src/Checked_Number.defs.hh | 12 +- src/Float.defs.hh | 9 +- src/Float.inlines.hh | 58 +++-- src/Float.templates.hh | 2 +- src/Init.defs.hh | 2 +- src/Interval.templates.hh | 4 +- src/Linear_Form.defs.hh | 2 +- src/Linear_Form.templates.hh | 2 +- src/MIP_Problem.cc | 5 +- src/MIP_Problem.defs.hh | 7 +- src/Octagonal_Shape.templates.hh | 166 ++++++------- src/Og_Status.inlines.hh | 10 +- src/PIP_Problem.cc | 4 +- src/PIP_Problem.defs.hh | 12 +- src/PIP_Tree.cc | 365 ++++++++++++++-------------- src/PIP_Tree.defs.hh | 24 +- src/Partially_Reduced_Product.templates.hh | 76 +++--- src/Pointset_Powerset.cc | 68 +++--- src/Pointset_Powerset.defs.hh | 26 +- src/Polyhedron_nonpublic.cc | 3 +- src/Polyhedron_public.cc | 2 +- src/checked.inlines.hh | 4 +- 25 files changed, 476 insertions(+), 432 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=80351067…

1 0

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 09 Nov '11

09 Nov '11

Module: ppl/ppl Branch: master Commit: 8d28c2a5604c46877b4bb4544adc95210117735c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d28c2a5604c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 9 08:37:01 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. --- demos/ppl_pips/ppl_pips.cc | 18 +- devtools/good_items | 65 ++++- devtools/good_words | 33 ++- src/Bit_Matrix.cc | 8 +- src/Box.defs.hh | 10 +- src/Box.templates.hh | 14 +- src/CO_Tree.cc | 8 +- src/CO_Tree.defs.hh | 38 +- src/CO_Tree.inlines.hh | 20 +- src/Checked_Number.inlines.hh | 4 +- src/Checked_Number.templates.hh | 8 +- src/Congruence.defs.hh | 2 +- src/Congruence_System.inlines.hh | 4 +- src/Constraint_System.defs.hh | 2 +- src/Constraint_System.inlines.hh | 4 +- src/Float.defs.hh | 2 +- src/Float.templates.hh | 2 +- src/Floating_Point_Expression.defs.hh | 4 +- src/GMP_Integer.types.hh | 2 +- src/Generator.cc | 16 +- src/Generator_System.cc | 2 +- src/Generator_System.defs.hh | 2 +- src/Generator_System.inlines.hh | 4 +- src/Grid.defs.hh | 4 +- src/Grid_Generator.cc | 16 +- src/Grid_public.cc | 10 +- src/Init.cc | 4 +- src/Init.defs.hh | 2 +- src/Interval.inlines.hh | 3 +- src/Linear_Form.defs.hh | 15 +- src/MIP_Problem.cc | 235 +++++++------- src/MIP_Problem.defs.hh | 23 +- src/MIP_Problem.inlines.hh | 4 +- src/Octagonal_Shape.defs.hh | 22 +- src/Octagonal_Shape.inlines.hh | 23 +- src/Octagonal_Shape.templates.hh | 605 +++++++++++++++++---------------- 36 files changed, 655 insertions(+), 583 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8d28c2a5…

1 0

Re: [PPL-devel] Polyhedra with non-integral coefficients
by Pat Hill 08 Nov '11

08 Nov '11

On Mon, 7 Nov 2011, Alet Roux wrote: > Dear Dr. Hill > > I am working in Mathematical Finance at the University of York, in the > area of asset pricing under proportional transaction costs. As part of > our work, we have developed algorithms that perform certain operations > on polyhedra, most notably intersection and taking convex hulls. (I also > have high hopes that we might one day be able to handle unions in some > way...) > > Part of my contribution to the project is to implement our algorithms in > C/C++. I was very pleased to come across the the well-documented and > easy-to-use Parma Polyhedra Library. I note that the library allows > integral coefficients only. However, for our needs, we require floating > point or (probably more practical from a precision point of view) > rational coefficients. It is good to know you find it well-documented and easy-to-use. Yes, the coefficients of constraints and generators have to be integers (mpz_class in the default configuration). However, the PPL implements a domain of convex _rational_ polyhedra. The restriction to integer coefficients is just for the representation and input/output. We can do this since any constraint having rational coefficients can be normalized so as to have integer coefficients. For generators, the same is achieved by including an integer divisor, (which by default is 1, but not necessarily so). I see from your email that you already have written your own algorithms for intersection and convex-hull. These as well as union are operations provided by the PPL. Documentation for these is in the PPL; but if you miss the exact information needed to make full use of the PPL, you should not hesitate to ask. > > It appears to me that it may be possible to tweak the Parma Polyhedra > Library for our use by simply changing the data type Variable, but I am > a bit nervous about this (I am a mathematician, and enthusiastic C++ > programmer, but not a computer scientist by any means). My question is, > in your view, is this a reasonable thing to try out? Any health > warnings? Or will it simply not work? There is no need (nor would it be advisable) to change the data types. > I would be very grateful for any other advice that you might have on > this issue. Note that I am cc'ing this to the PPL-devel mailing list in case other users/developers may wish to give more advice. I hope this helps, Pat > > Thank you very much in advance, > > Alet Roux > >

2 1

[GIT] ppl/ppl(master): Added a few more lexical items.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: 0a0259c6503a0876e0f519e5c8053ac9012f4889 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a0259c6503a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:15:05 2011 +0100 Added a few more lexical items. --- devtools/good_items | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/devtools/good_items b/devtools/good_items index 844a82e..2ad228c 100644 --- a/devtools/good_items +++ b/devtools/good_items @@ -155,12 +155,14 @@ fma fmaf fmal fmod +fmtflags forall fprintf frac fread fstream fwrite +genfrac get_den get_num getc @@ -252,6 +254,7 @@ ru_utime' rusage scriptstyle setdiff +setf setfill setitimer setjmp

1 0

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: 0fec2abf720138b014cd1b7a7a69f4709e265378 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fec2abf7201… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:13:04 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service progvcbl. --- Watchdog/src/Pending_List.templates.hh | 17 +- demos/ppl_lcdd/ppl_lcdd.cc | 12 +- demos/ppl_pips/ppl_pips.cc | 46 ++-- src/BDS_Status.inlines.hh | 12 +- src/BD_Shape.defs.hh | 8 +- src/BD_Shape.templates.hh | 478 ++++++++++++++++---------------- src/BHRZ03_Certificate.cc | 3 +- src/BHRZ03_Certificate.inlines.hh | 2 +- src/Box.defs.hh | 14 +- src/Box.inlines.hh | 33 ++- src/Box.templates.hh | 52 ++-- src/Box_Status.inlines.hh | 8 +- src/Checked_Number.defs.hh | 2 +- src/Float.defs.hh | 2 +- src/Grid_Certificate.inlines.hh | 2 +- src/H79_Certificate.inlines.hh | 2 +- src/Rounding_Dir.defs.hh | 2 +- src/Sparse_Matrix.defs.hh | 12 +- src/Sparse_Row.cc | 6 +- src/Sparse_Row.defs.hh | 2 +- 20 files changed, 357 insertions(+), 358 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0fec2abf…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: 8ab3511cb404b3df60e2717a57313e1d6dad59b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ab3511cb404… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 12:09:20 2011 +0100 Updated. --- devtools/good_items | 263 +++++++++++++++++++++++++++++++++++++++++++++++++++ devtools/good_words | 10 +-- devtools/vocabulary | 218 ++++++------------------------------------ 3 files changed, 294 insertions(+), 197 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8ab3511c…

1 0

[doko@debian.org: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror]
by Michael Tautschnig 08 Nov '11

08 Nov '11

Hi all, As you might have heard already, GCC 4.6 introduced a number of new warnings. As we build the package for Debian with -Werror turned on, these would cause build failures. If you agree that these warnings should be addressed, it would be nice if you could fix them upstream. Otherwise I will introduce Debian-specific patches to work around them. The best way to find all of them is take a look at the build log at http://people.debian.org/~doko/tmp/werror/ppl_0.11.2-3_lsid64.buildlog and search for -Wunused. Many of the warnings relate to ppl.hh, hence are easily fixed by changing the code it is generated from. Only a few others concern the tests. Thanks a lot, Michael PS.: If someone could afterwards tell me about the git commit ids that would makes things even easier :-) ----- Forwarded message from Matthias Klose <doko(a)debian.org> ----- Date: Tue, 03 May 2011 10:34:10 +0000 From: Matthias Klose <doko(a)debian.org> To: maintonly(a)bugs.debian.org Subject: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror Reply-To: Matthias Klose <doko(a)debian.org>, 625417-maintonly(a)bugs.debian.org Package: ppl Version: 0.11.2-3 Severity: important Tags: wheezy sid User: debian-gcc(a)lists.debian.org Usertags: ftbfs-gcc-4.6 ftbfs-werror This package builds with -Werror, and GCC 4.6 triggers new warnings which will make the package fail to build. Currently a Debian patch just passes -Wno-error=unused-but-set-variable and -Wno-error=unused-but-set-parameter to avoid build failures, but this patch will be reverted with the GCC 4.6.1 release, and the severity of the report will be raised. The full build log can be found at: http://people.debian.org/~doko/tmp/werror/ppl_0.11.2-3_lsid64.buildlog The last lines of the build log are at the end of this report. ----- End forwarded message -----

2 1

PPL installation problems
by Adrien Champion 08 Nov '11

08 Nov '11

Hello, A few months ago, I managed to install and use PPL on my main computer, but now that I am trying to install it on my notebook I encounter problems. I should probably start by saying that the part I am interested in is the Java interface. The configure, make and make install work but when I try to run make for the java interface I get the following error: /bin/bash: no: command not found make[1]: *** [java_classes.stamp] Error 127 When looking closer however, the configure does not really work since it does not find all the java related commands: checking for javac... no checking for java... no checking for jar... no checking for javah... no configure: WARNING: unable to include <jni.h> Do you happen to have any solution for this problem ? Thank you in advance. Best, -- Adrien Champion PhD student Onera / Rockwell Collins France adrien.champion(a)onera.fr Onera: +33 (0)5 62 25 26 54 RCF: +33 (0)5 61 71 77 00

3 2

[GIT] ppl/ppl(master): Do not rely on libtool guessing the language.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: d625166f50df535efe9a2e7fb8e0b37c350d07bb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d625166f50df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 05:13:33 2011 +0100 Do not rely on libtool guessing the language. (Thanks to Serge Belyshev.) --- m4/ac_check_gmp.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 469f536..28c22b9 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -72,7 +72,7 @@ AC_ARG_WITH(gmp-build, gmp_library_options="$gmp_library_options $gmp_libs" ac_save_CXX="$CXX" -CXX="libtool --mode=link $CXX" +CXX="libtool --mode=link --tag=CXX $CXX" ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS"

1 0