April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 06 Apr '09

06 Apr '09

Module: ppl/ppl Branch: master Commit: 6ddc68784afea4b9510944bbdbc7ca5b879575ba URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ddc68784afe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 18:55:14 2009 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 20fe621..53c0ac1 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.1pre11],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre12],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

simplifying a constraint system?
by Basile STARYNKEVITCH 06 Apr '09

06 Apr '09

Hello All [Sorry for the very naive & basic question] I have constructed some constraint system using the C API. I know I'm done constructing it. Is there some function to "simplify" it or represent it more efficiently? - perhaps onverting it to NNC_Polyhedron and backwards, using ppl_new_NNC_Polyhedron_from_Constraint_System <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10-htm…> & ppl_Polyhedron_get_minimuzed_constraints <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10-htm…> ? Is there some function to test that it is empty? - perhaps using <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10-htm…>ppl_new_NNC_Polyhedron_from_Constraint_System <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10-htm…> & ppl_Polyhedron_affine_dimension <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10-htm…> A concrete case occuring to me is the constraint system of two variables n and y with constraints {n = 10, y = 17, -n >= 0} I need to compute that it is empty. Is there some function to test that it has integer elements, in the sense that there exist an integer setting of the variables such as the constraint are satisfied? - perhaps using grids? Sorry for such basic questions! Regards. PS I'm only using the C API! -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

2 2

[GIT] ppl/ppl(master): Avoid differences generated by locale.
by Abramo Bagnara 06 Apr '09

06 Apr '09

Module: ppl/ppl Branch: master Commit: 1a81262c763ea7b4f9d6da3a82ee5a8e3a0c63a2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a81262c763e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 6 15:17:16 2009 +0200 Avoid differences generated by locale. --- demos/ppl_lcdd/Makefile.am | 2 +- demos/ppl_lpsol/Makefile.am | 2 +- devtools/print_nonascii_lines | 3 ++- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/demos/ppl_lcdd/Makefile.am b/demos/ppl_lcdd/Makefile.am index 6f02571..7e40916 100644 --- a/demos/ppl_lcdd/Makefile.am +++ b/demos/ppl_lcdd/Makefile.am @@ -107,7 +107,7 @@ $(TOUGH_EXAMPLES_IF_ASSERTIONS_ENABLED) check-local: ppl_lcdd$(EXEEXT) echo $(TOUGH_EXAMPLES) >tough_examples echo $(ECHO_N) "$(ECHO_C)" >obtained - LANG=C; LC_COLLATE=C; \ + export LC_ALL=C; \ for path in $(srcdir)/examples/*.ext $(srcdir)/examples/*.ine; \ do \ file=`basename $$path`; \ diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index 971597d..1df27b7 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -226,7 +226,7 @@ check-local: ppl_lpsol$(EXEEXT) echo $(ECHO_N) "$(ECHO_C)" >obtained echo $(LP_PROBLEMS) >lp_problems echo $(DO_NOT_CHECK_PROBLEMS) >do_not_check_problems - LANG=C; \ + export LC_ALL=C; \ echo $(TOUGH_EXAMPLES_FOR_BB_SATISFIABILITY) >tough_examples -for path in $(srcdir)/examples/*.mps; \ do \ diff --git a/devtools/print_nonascii_lines b/devtools/print_nonascii_lines index 7129e91..eca9cb2 100755 --- a/devtools/print_nonascii_lines +++ b/devtools/print_nonascii_lines @@ -1,2 +1,3 @@ #!/bin/sh -LANG=C grep -n "[^ -~]" "$@" +export LC_ALL=C +grep -n "[^ -~]" "$@"

1 0

Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
by Tobias Grosser 06 Apr '09

06 Apr '09

On Sat, 2009-04-04 at 09:43 +0200, Roberto Bagnara wrote: > Tobias Grosser wrote: > > thanks a lot for your work on this. I attached the gdb logs for you. > > Hi Tobias, > > it looks like GCC is miscompiling something: the equality test on > two identical long doubles fails. Can you please send the generated > assembly code? Sure, here the assembly code for ld2.cc compiled with: g++ -O0 -g -S ld2.cc Tobi

2 1

[GIT] ppl/ppl(master): Set LC_COLLATE=C in addition to LANG=C.
by Roberto Bagnara 06 Apr '09

06 Apr '09

Module: ppl/ppl Branch: master Commit: a2da0f6fec2663e13c9e9b657f80bca8d9f84a34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 15:11:47 2009 +0200 Set LC_COLLATE=C in addition to LANG=C. --- demos/ppl_lcdd/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_lcdd/Makefile.am b/demos/ppl_lcdd/Makefile.am index e038e0d..6f02571 100644 --- a/demos/ppl_lcdd/Makefile.am +++ b/demos/ppl_lcdd/Makefile.am @@ -107,7 +107,7 @@ $(TOUGH_EXAMPLES_IF_ASSERTIONS_ENABLED) check-local: ppl_lcdd$(EXEEXT) echo $(TOUGH_EXAMPLES) >tough_examples echo $(ECHO_N) "$(ECHO_C)" >obtained - LANG=C; \ + LANG=C; LC_COLLATE=C; \ for path in $(srcdir)/examples/*.ext $(srcdir)/examples/*.ine; \ do \ file=`basename $$path`; \

1 0

[GIT] ppl/ppl(master): Disabled test04() on the Alpha.
by Roberto Bagnara 05 Apr '09

05 Apr '09

Module: ppl/ppl Branch: master Commit: d38cfbdcfa92ca251472db240fb1d84b981f9791 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d38cfbdcfa92… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 3 10:21:01 2009 +0000 Disabled test04() on the Alpha. --- .../Octagonal_Shape/generalizedaffinepreimage3.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/generalizedaffinepreimage3.cc b/tests/Octagonal_Shape/generalizedaffinepreimage3.cc index 095d17e..98b5afb 100644 --- a/tests/Octagonal_Shape/generalizedaffinepreimage3.cc +++ b/tests/Octagonal_Shape/generalizedaffinepreimage3.cc @@ -597,7 +597,10 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test04); +#endif DO_TEST(test05); DO_TEST(test06); DO_TEST(test07);

1 0

[GIT] ppl/ppl(master): Disabled a couple of tests on the Alpha.
by Roberto Bagnara 05 Apr '09

05 Apr '09

Module: ppl/ppl Branch: master Commit: 3446585afd620538d427e65d333b62a78f58c3c4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3446585afd62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 5 18:54:13 2009 +0200 Disabled a couple of tests on the Alpha. --- tests/Octagonal_Shape/cc76extrapolation1.cc | 3 +++ tests/Octagonal_Shape/disjoint1.cc | 3 +++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/cc76extrapolation1.cc b/tests/Octagonal_Shape/cc76extrapolation1.cc index cd02b97..12dd772 100644 --- a/tests/Octagonal_Shape/cc76extrapolation1.cc +++ b/tests/Octagonal_Shape/cc76extrapolation1.cc @@ -508,7 +508,10 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test10); +#endif DO_TEST(test11); DO_TEST(test12); DO_TEST(test13); diff --git a/tests/Octagonal_Shape/disjoint1.cc b/tests/Octagonal_Shape/disjoint1.cc index 0498c87..4535d0d 100644 --- a/tests/Octagonal_Shape/disjoint1.cc +++ b/tests/Octagonal_Shape/disjoint1.cc @@ -184,6 +184,9 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test06); +#endif DO_TEST(test07); END_MAIN

1 0

Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
by Tobias Grosser 04 Apr '09

04 Apr '09

Hey Roberto, thanks a lot for your work on this. I attached the gdb logs for you. Tobias On Fri, 2009-04-03 at 12:20 +0200, Roberto Bagnara wrote: > Tobias Grosser wrote: > > On Thu, 2009-04-02 at 15:23 +0200, Abramo Bagnara wrote: > >> Tobias Grosser ha scritto: > >>> thanks for working on this. > >> I see something very strange about long double that I find suspect, the > >> binary format is said to be non iec559 conformant and this is definitely > >> unexpected on i386. > >> > >> Can you check if the attached file exits with 1 and why it fails? > >> > >> It is a convert() that give a different result or > >> std::numeric_limits<long double>::is_iec559 is false? > > > > Yes it exits with one. > > > > It fails in these two cases. > > > > if (!convert(0x00000000UL, 0x0000000000000001ULL) == ... > > > > convert returns: 3.6451995318824746025284059336194198e-4951 > > > > if (!convert(0x80000000UL, 0x0000000000000001ULL) == ... > > > > convert returns: 3.6451995318824746025284059336194198e-4951 > > > > I attached a detailed typescript with the gdb sessions. > > Dear Tobias, > > the output with gdb is not precise enough to see what happens. > Can you please compile and run the attached program and post > the output? > Thanks, > > Roberto >

2 1

[GIT] ppl/ppl(master): Updated for PWL 0.7.
by Roberto Bagnara 04 Apr '09

04 Apr '09

Module: ppl/ppl Branch: master Commit: 8bd8f56859bb8614a7988213f4ae73bf00881639 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd8f56859bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:57 2009 +0200 Updated for PWL 0.7. --- Watchdog/NEWS | 7 +++++++ Watchdog/README | 21 +++++++++------------ Watchdog/configure.ac | 2 +- Watchdog/src/Makefile.am | 5 +++-- 4 files changed, 20 insertions(+), 15 deletions(-) diff --git a/Watchdog/NEWS b/Watchdog/NEWS index 364feee..0d73c44 100644 --- a/Watchdog/NEWS +++ b/Watchdog/NEWS @@ -4,6 +4,13 @@ Parma Watchdog Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.7 (released on April 14, 2009) +-------------------------------------------------------------------------- + +o Minor configuration improvements. + + +-------------------------------------------------------------------------- NEWS for version 0.6 (released on November 4, 2008) -------------------------------------------------------------------------- diff --git a/Watchdog/README b/Watchdog/README index 4f7d672..4aaf43a 100644 --- a/Watchdog/README +++ b/Watchdog/README @@ -1,5 +1,5 @@ -This is the release 0.5 of the Parma Watchdog Library: +This is the release 0.6 of the Parma Watchdog Library: a C++ library for software timeouts. To be continued... @@ -12,10 +12,10 @@ See the file BUGS for known bugs and how to report new ones. See the file CREDITS for a list of people and organizations that contributed to the PWL. -Here is the contents of the PWL 0.5 source distribution -(5 directories, 100 files): +Here is the contents of the PWL 0.7 source distribution +(5 directories, 97 files): -pwl-0.5 +pwl-0.7 |-- BUGS |-- COPYING |-- CREDITS @@ -38,9 +38,7 @@ pwl-0.5 | |-- Makefile.am | |-- Makefile.in | |-- README.doc -| |-- devref.doxyconf-html | |-- devref.doxyconf-html.in -| |-- devref.doxyconf-latex | |-- devref.doxyconf-latex.in | |-- devref.tex | |-- fdl.dox @@ -53,13 +51,11 @@ pwl-0.5 | |-- gpl.ps.gz | |-- gpl.tex | |-- gpl.txt -| |-- pwl-user-0.5-html.tar.gz -| |-- pwl-user-0.5.pdf -| |-- pwl-user-0.5.ps.gz +| |-- pwl-user-0.7-html.tar.gz +| |-- pwl-user-0.7.pdf +| |-- pwl-user-0.7.ps.gz | |-- pwl.sty -| |-- user.doxyconf-html | |-- user.doxyconf-html.in -| |-- user.doxyconf-latex | |-- user.doxyconf-latex.in | `-- user.tex |-- install-sh @@ -67,7 +63,6 @@ pwl-0.5 |-- m4 | |-- Makefile.am | |-- Makefile.in -| |-- ax_prefix_config_h.m4 | |-- lib-ld.m4 | |-- lib-link.m4 | |-- libtool.m4 @@ -77,6 +72,8 @@ pwl-0.5 | `-- lt~obsolete.m4 |-- missing |-- mkinstalldirs +|-- pwl-config.h.in +|-- pwl-config.sed |-- src | |-- Doubly_Linked_Object.defs.hh | |-- Doubly_Linked_Object.inlines.hh diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index fba63d2..42fb136 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Watchdog Library],[0.5],[bagnara(a)cs.unipr.it],[pwl]) +AC_INIT([the Parma Watchdog Library],[0.7],[bagnara(a)cs.unipr.it],[pwl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index 9bbf229..0b94acc 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -85,8 +85,9 @@ pwl_header.hh # 0.3 0.6 2:0:0 # 0.4 0.7 3:0:0 # 0.4 0.8 3:0:0 -# 0.4 0.9 3:0:0 -# 0.5 0.10 4:0:0 +# 0.5 0.9 3:0:0 +# 0.6 0.10 4:0:0 +# 0.7 0.10.1 4:0:0 LIBPWL_LT_CURRENT = 4 LIBPWL_LT_REVISION = 0

1 0

[GIT] ppl/ppl(master): Updated for PPL 0.10.1.
by Roberto Bagnara 04 Apr '09

04 Apr '09

Module: ppl/ppl Branch: master Commit: fb648ef680b398188f0ff22076841e6b148a001e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb648ef680b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:31 2009 +0200 Updated for PPL 0.10.1. --- README | 131 +++++++++++++++++++++++++++++++++++++++++----------------------- 1 files changed, 84 insertions(+), 47 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fb648ef6…

1 0