November 2011 - PPL-devel - BUGSENG Mailman

[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

[GIT] ppl/ppl(master): Put items on the right list.
by Roberto Bagnara 08 Nov '11

08 Nov '11

Module: ppl/ppl Branch: master Commit: 53f12fe79ea856dbba696ab2b2e57a9d444da2fa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53f12fe79ea8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 8 05:12:44 2011 +0100 Put items on the right list. --- devtools/good_items | 3 +++ devtools/good_words | 12 ++++-------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/devtools/good_items b/devtools/good_items index b5eaa49..5e61305 100644 --- a/devtools/good_items +++ b/devtools/good_items @@ -1,5 +1,7 @@ AUT00-13 BemporadFT00TR +TW_Pending_List +WD_Pending_List biggl biggr bigl @@ -40,6 +42,7 @@ pmod rangle rfloor rightarrow +rlim_cur scriptstyle sseq textrm diff --git a/devtools/good_words b/devtools/good_words index 94d739d..ee7d459 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,13 +1,9 @@ +coord fp +itv negator -coord +smod +umod vec -srcptr -setbit -clrbit -tdiv vr -umod -smod -itv vsi

1 0

Re: [PPL-devel] Can't find GMP, but it's installed
by Roberto Bagnara 07 Nov '11

07 Nov '11

On 05/11/11 14:18, rafael ff1 wrote: > 2011/5/11 Roberto Bagnara<bagnara(a)cs.unipr.it>: >> >> What is the contents of the `config.log' file generated by the >> `configure' script? >> 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 >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > I'm sending as attachment a config.log for the aforementioned > configure script and another one with ld library path forced. Please > let me know if you don't receive it - some mail lists block > attachments... > > Rafael Hi Rafael, the config.log you sent does not seem to match the file fail-build.log you sent earlier. The latter says: checking how to link with libgmp... /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32 checking how to link with libgmpxx... /usr/lib32/libgmpxx.so /usr/lib32/libgmp.so -Wl,-rpath -Wl,/usr/lib32 -Wl,-rpath -Wl,/usr/lib32 which looks correct to me. The former says: configure:10129: checking how to link with libgmp configure:10602: result: /usr/lib/libgmp.so configure:10644: checking how to link with libgmpxx configure:11117: result: /usr/lib/libgmpxx.so /usr/lib/libgmp.so which is very different and very wrong, since it is because of that that later we have: configure:11252: g++ -m32 -o conftest -g -O2 -frounding-math -march=x86-64 -mtune=generic -O2 -pipe -Wl,--hash-style=gnu -Wl,--as-needed conftest.cpp /usr/lib/libgmpxx.so /usr/lib/libgmp.so >&5 /usr/lib/libgmpxx.so: could not read symbols: File in wrong format collect2: ld returned 1 exit status This is caused by the fact that g++ is given the x86_64 version of GMP. Please direct all messages to ppl-devel(a)cs.unipr.it. 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

3 4