March 2009 - PPL-devel - BUGSENG Mailman

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

29 Mar '09

Module: ppl/ppl Branch: master Commit: f0c346c0b189a249b42217d098260c67281659ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c346c0b189… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 10:16:38 2009 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 1a05bb5..27246ab 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.1pre7],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre8],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Try to accommodate more non-GNU implementations of `getopt()'.
by Roberto Bagnara 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: b4e36692e7cea11a2b59ae62e69de7d13f2a7799 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e36692e7ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 09:29:37 2009 +0200 Try to accommodate more non-GNU implementations of `getopt()'. --- demos/ppl_lcdd/ppl_lcdd.cc | 6 +++--- demos/ppl_lpsol/ppl_lpsol.c | 6 +++--- src/ppl-config.cc.in | 6 +++--- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 6a149ae..e174030 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -108,15 +108,15 @@ typedef Polyhedron* POLYHEDRON_TYPE; #include <getopt.h> // Try to accommodate non-GNU implementations of `getopt()'. -#if !defined(no_argument) +#if !defined(no_argument) && defined(NO_ARG) #define no_argument NO_ARG #endif -#if !defined(required_argument) +#if !defined(required_argument) && defined(REQUIRED_ARG) #define required_argument REQUIRED_ARG #endif -#if !defined(optional_argument) +#if !defined(optional_argument) && defined(OPTIONAL_ARG) #define optional_argument OPTIONAL_ARG #endif diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index b5cf668..935cf9b 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -43,15 +43,15 @@ site: http://www.cs.unipr.it/ppl/ . */ # include <getopt.h> /* Try to accommodate non-GNU implementations of `getopt()'. */ -#if !defined(no_argument) +#if !defined(no_argument) && defined(NO_ARG) #define no_argument NO_ARG #endif -#if !defined(required_argument) +#if !defined(required_argument) && defined(REQUIRED_ARG) #define required_argument REQUIRED_ARG #endif -#if !defined(optional_argument) +#if !defined(optional_argument) && defined(OPTIONAL_ARG) #define optional_argument OPTIONAL_ARG #endif diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 629416f..e175d57 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -42,15 +42,15 @@ namespace PPL = Parma_Polyhedra_Library; #include <getopt.h> // Try to accommodate non-GNU implementations of `getopt()'. -#if !defined(no_argument) +#if !defined(no_argument) && defined(NO_ARG) #define no_argument NO_ARG #endif -#if !defined(required_argument) +#if !defined(required_argument) && defined(REQUIRED_ARG) #define required_argument REQUIRED_ARG #endif -#if !defined(optional_argument) +#if !defined(optional_argument) && defined(OPTIONAL_ARG) #define optional_argument OPTIONAL_ARG #endif

1 0

[GIT] ppl/ppl(master): Remove unimplemented and unused functions.
by Abramo Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 87fec489bde309305fecfb7d8a75d111c488e948 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 17:22:28 2009 +0100 Remove unimplemented and unused functions. --- src/Interval.inlines.hh | 12 ------------ 1 files changed, 0 insertions(+), 12 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index bee5984..84b17ce 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -137,18 +137,6 @@ f_is_empty_lazy(const T& x) { } // namespace Interval_NS -inline bool -is_integer(const char*) { - // FIXME(0.10.1) - return false; -} - -inline bool -is_not_a_number(const char*) { - // FIXME(0.10.1) - return false; -} - template <typename T> inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type is_singleton_integer(const T& x) {

1 0

[GIT] ppl/ppl(master): Try to accommodate non-GNU implementations of `getopt()'.
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 0183484758f6a6fca465ccdf4202a222117b5d7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0183484758f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 20:33:52 2009 +0100 Try to accommodate non-GNU implementations of `getopt()'. --- demos/ppl_lcdd/ppl_lcdd.cc | 14 ++++++++++++++ demos/ppl_lpsol/ppl_lpsol.c | 14 ++++++++++++++ src/ppl-config.cc.in | 15 +++++++++++++++ 3 files changed, 43 insertions(+), 0 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index a3af359..6a149ae 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -106,8 +106,22 @@ typedef Polyhedron* POLYHEDRON_TYPE; #ifdef PPL_HAVE_GETOPT_H #include <getopt.h> + +// Try to accommodate non-GNU implementations of `getopt()'. +#if !defined(no_argument) +#define no_argument NO_ARG +#endif + +#if !defined(required_argument) +#define required_argument REQUIRED_ARG #endif +#if !defined(optional_argument) +#define optional_argument OPTIONAL_ARG +#endif + +#endif // defined(PPL_HAVE_GETOPT_H) + #ifdef PPL_HAVE_UNISTD_H // Include this for `getopt()': especially important if we do not have // <getopt.h>. diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index 41c8d9d..b5cf668 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -41,8 +41,22 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifdef PPL_HAVE_GETOPT_H # include <getopt.h> + +/* Try to accommodate non-GNU implementations of `getopt()'. */ +#if !defined(no_argument) +#define no_argument NO_ARG +#endif + +#if !defined(required_argument) +#define required_argument REQUIRED_ARG #endif +#if !defined(optional_argument) +#define optional_argument OPTIONAL_ARG +#endif + +#endif /* defined(PPL_HAVE_GETOPT_H) */ + #ifdef PPL_HAVE_UNISTD_H /* Include this for `getopt()': especially important if we do not have <getopt.h>. */ diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 64b963e..629416f 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -40,14 +40,29 @@ namespace PPL = Parma_Polyhedra_Library; #ifdef PPL_HAVE_GETOPT_H #include <getopt.h> + +// Try to accommodate non-GNU implementations of `getopt()'. +#if !defined(no_argument) +#define no_argument NO_ARG +#endif + +#if !defined(required_argument) +#define required_argument REQUIRED_ARG #endif +#if !defined(optional_argument) +#define optional_argument OPTIONAL_ARG +#endif + +#endif // defined(PPL_HAVE_GETOPT_H) + #ifdef PPL_HAVE_UNISTD_H // Include this for `getopt()': especially important if we do not have // <getopt.h>. #include <unistd.h> #endif + namespace { enum Format {

1 0

[GIT] ppl/ppl(master): Some systems do not have <strings.h>.
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 766fb040b2dc574fa6b366c0374b50c6509924fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=766fb040b2dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 19:06:01 2009 +0100 Some systems do not have <strings.h>. On such systems ffs(3) may be defined in <string.h>. --- configure.ac | 19 ++++++++++++++----- src/Bit_Row.inlines.hh | 7 ++++++- 2 files changed, 20 insertions(+), 6 deletions(-) diff --git a/configure.ac b/configure.ac index b88bb7a..1a05bb5 100644 --- a/configure.ac +++ b/configure.ac @@ -692,8 +692,20 @@ AC_CXX_HAS_REMAINDER_BUG # Check whether the C++ compiler supports __attribute__ ((weak)). AC_CXX_SUPPORTS_ATTRIBUTE_WEAK +# Checks for header files. +AC_CHECK_HEADERS([fenv.h ieeefp.h getopt.h signal.h string.h strings.h sys/resource.h sys/time.h sys/types.h unistd.h]) + # Checks for the availability of C library functions in C++. -AC_CHECK_DECLS([ffs], , , [#include <strings.h>]) +AC_CHECK_DECLS([ffs], + , + , + [ +#if defined(HAVE_STRINGS_H) +# include <strings.h> +#elif defined(HAVE_STRING_H) +# include <string.h> +#endif + ]) AC_CHECK_DECLS([getenv,strtof,strtod,strtold,strtoll,strtoull], , , [#include <cstdlib>]) AC_CHECK_DECLS([fma,fmaf,fmal,rintf,rintl], , , [#include <cmath>]) @@ -1424,9 +1436,6 @@ then fi AC_LANG_POP(C) -# Checks for header files. -AC_CHECK_HEADERS([fenv.h ieeefp.h getopt.h signal.h sys/resource.h sys/time.h sys/types.h unistd.h]) - # Checks for header declarations. AC_CHECK_DECLS([RLIMIT_DATA, RLIMIT_RSS, RLIMIT_VMEM, RLIMIT_AS], , @@ -1435,7 +1444,7 @@ AC_CHECK_DECLS([RLIMIT_DATA, RLIMIT_RSS, RLIMIT_VMEM, RLIMIT_AS], #ifdef HAVE_SYS_RESOURCE_H # include <sys/resource.h> #endif -]) + ]) AC_CHECK_DECLS([getrusage], , diff --git a/src/Bit_Row.inlines.hh b/src/Bit_Row.inlines.hh index 0224f58..6fc36f7 100644 --- a/src/Bit_Row.inlines.hh +++ b/src/Bit_Row.inlines.hh @@ -25,8 +25,13 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "globals.defs.hh" #include <cassert> + // For the declaration of ffs(3). -#include <strings.h> +#if defined(PPL_HAVE_STRINGS_H) +# include <strings.h> +#elif defined(PPL_HAVE_STRING_H) +# include <string.h> +#endif namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(master): Done item removed.
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 3549a048f06620a50b0eabb8e432138996053396 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3549a048f066… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:41:03 2009 +0100 Done item removed. --- TODO | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/TODO b/TODO index 0cff626..a512db3 100644 --- a/TODO +++ b/TODO @@ -3,10 +3,6 @@ Enhancements for PPL 0.10.1 or later versions ============================================= - Fix all the FIXME(0.10.1). -- Fix the makefiles in the `tests' directories: if `make check' is run - in a directory where another `make check' was performed (completely - or not, with failure or not), the latter `make check' can succeed - without testing anything. Enhancements for PPL 0.11 or later versions

1 0

[GIT] ppl/ppl(master): Change logs updated.
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 8d19855b90caa7e46ee2a4e145a8af057675cdfa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d19855b90ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:39:32 2009 +0100 Change logs updated. --- ChangeLog | 1309 +++++++++++++++----- ChangeLog-2001-2008 => ChangeLog_2001-2008 | 0 Watchdog/ChangeLog | 379 ++++++- .../{ChangeLog-2001-2008 => ChangeLog_2001-2008} | 0 4 files changed, 1393 insertions(+), 295 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8d19855b…

1 0

[GIT] ppl/ppl(master): Improved the semantics of the --enable-watchdog configure option.
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: d25a5069b82096789b174e4621cbb6758ef111b1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25a5069b820… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:55:39 2009 +0100 Improved the semantics of the --enable-watchdog configure option. --- Watchdog/configure.ac | 36 +++++++++++++++++++----------------- configure.ac | 20 ++++++++++++++++---- 2 files changed, 35 insertions(+), 21 deletions(-) diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index 7b3e967..29e2325 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -332,22 +332,35 @@ no) esac AM_CONDITIONAL(VALGRIND_TESTS_ENABLED, test x"$enable_valgrind_tests" = xyes) -enableval=yes +# setitimer() is a strong requisite for the PWL. +AC_CHECK_FUNCS([setitimer], [have_setitimer=yes], [have_setitimer=no]) + +enableval=default AC_MSG_CHECKING([whether to build the Parma Watchdog Library]) AC_ARG_ENABLE(watchdog, -[ --enable-watchdog build also the Parma Watchdog Library]) + AS_HELP_STRING([--enable-watchdog], + [build also the Parma Watchdog Library])) case "${enableval}" in yes) - AC_MSG_RESULT(yes) + if test x"$have_setitimer" = xyes + then + build_watchdog_library=yes + else + AC_MSG_ERROR([CANNOT BUILD THE WATCHDOG LIBRARY +*** THE SYSTEM DOES NOT PROVIDE THE SETITIMER FUNCTION.]) + fi + ;; +default) + build_watchdog_library=$have_setitimer ;; no) - AC_MSG_RESULT(no) + build_watchdog_library=no ;; *) - AC_MSG_ERROR([bad value ${enableval} --enable-watchdog, needs yes or no]) + AC_MSG_ERROR([bad value ${enableval} for --enable-watchdog, needs yes or no]) ;; esac -build_watchdog_library=$enableval +AC_MSG_RESULT($build_watchdog_library) AM_CONDITIONAL(BUILD_WATCHDOG_LIBRARY, test x"$build_watchdog_library" = xyes) if test x"$build_watchdog_library" = xyes @@ -363,17 +376,6 @@ then AC_CHECK_TYPES([siginfo_t], [], [], [[ #include <signal.h> ]]) - - # Checks for library fuctions. - # The following invocations of AC_LANG_PUSH(C) and AC_LANG_POP(C) - # are to work around a bug in AC_CHECK_FUNCS. For more information, - # http://www.cs.unipr.it/pipermail/ppl-devel/2002-November/002929.html - AC_LANG_PUSH(C) - AC_CHECK_FUNCS([setitimer], - [], - AC_MSG_ERROR([CANNOT BUILD THE WATCHDOG LIBRARY -*** THE SYSTEM DOES NOT PROVIDE THE SETITIMER FUNCTION.])) - AC_LANG_POP(C) fi # Libtool. diff --git a/configure.ac b/configure.ac index 343c710..b88bb7a 100644 --- a/configure.ac +++ b/configure.ac @@ -743,23 +743,35 @@ fi extra_includes="${extra_includes}${extra_includes:+ }${gmp_includes_option}" extra_libraries="${extra_libraries}${extra_libraries:+ }${gmp_library_option}" -enableval=yes +# setitimer() is a strong requisite for the PWL. +AC_CHECK_FUNCS([setitimer], [have_setitimer=yes], [have_setitimer=no]) + +enableval=default AC_MSG_CHECKING([whether to build the Parma Watchdog Library]) AC_ARG_ENABLE(watchdog, AS_HELP_STRING([--enable-watchdog], [build also the Parma Watchdog Library])) case "${enableval}" in yes) - AC_MSG_RESULT(yes) + if test x"$have_setitimer" = xyes + then + build_watchdog_library=yes + else + AC_MSG_ERROR([CANNOT BUILD THE WATCHDOG LIBRARY +*** THE SYSTEM DOES NOT PROVIDE THE SETITIMER FUNCTION.]) + fi + ;; +default) + build_watchdog_library=$have_setitimer ;; no) - AC_MSG_RESULT(no) + build_watchdog_library=no ;; *) AC_MSG_ERROR([bad value ${enableval} for --enable-watchdog, needs yes or no]) ;; esac -build_watchdog_library=$enableval +AC_MSG_RESULT($build_watchdog_library) AM_CONDITIONAL(BUILD_WATCHDOG_LIBRARY, test x"$build_watchdog_library" = xyes) if test x"$build_watchdog_library" = xyes then

1 0

[GIT] ppl/ppl(master): Removed useless functions.
by Abramo Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 949180cf4e6fe282ddd1a170cada9bf6b816b279 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949180cf4e6f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 16:00:01 2009 +0100 Removed useless functions. --- src/Interval.inlines.hh | 12 ------------ 1 files changed, 0 insertions(+), 12 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 566456b..bee5984 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -155,18 +155,6 @@ is_singleton_integer(const T& x) { return is_singleton(x) && is_integer(f_lower(x)); } -template <typename T1, typename T2> -inline bool -same_object(const T1&, const T2&) { - return false; -} - -template <typename T> -inline bool -same_object(const T& x, const T& y) { - return &x == &y; -} - template <typename T> inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type check_empty_arg(const T& x) {

1 0

[GIT] ppl/ppl(master): Fixed and reactivated test05().
by Roberto Bagnara 28 Mar '09

28 Mar '09

Module: ppl/ppl Branch: master Commit: 69a3679c7b12cbf40da1d0d5980b1569a75f1cde URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a3679c7b12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:07:29 2009 +0100 Fixed and reactivated test05(). --- tests/Box/frombox1.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/Box/frombox1.cc b/tests/Box/frombox1.cc index 2b90caa..217b86e 100644 --- a/tests/Box/frombox1.cc +++ b/tests/Box/frombox1.cc @@ -97,7 +97,7 @@ test05() { Q s; Q m; Q d; - for (int n = 1; n <= DIM; ++n) { + for (int n = 0; n < DIM; ++n) { s = y; s *= s; s *= s; @@ -130,18 +130,18 @@ test05() { // Now s ~= y*(1 + y + y^2). k = 1ULL << (2*n+3); s *= k; - a *= s; + a -= s; m = 1; m /= a; Coefficient num; Coefficient den; numer_denom(m, num, den); - src.add_constraint(den*Variable(n-1) == num); + src.add_constraint(den*Variable(n) == num); } TBox dst(src); - bool ok = check_result(dst, src, "1.91e-6", "1.35e-6", "9.66e-7"); + bool ok = check_result(dst, src, "2.39e-6", "5.51e-7", "1.51e-7"); print_constraints(src, "*** src ***"); print_constraints(dst, "*** dst ***"); @@ -156,5 +156,5 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); -// DO_TEST_F64(test05); + DO_TEST_F64(test05); END_MAIN

1 0