February 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Specialize C_Integer<T> for plain char.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 8b29e34e75e9ee93899a9f3f8311142398517c0e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b29e34e75e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:48:15 2011 +0100 Specialize C_Integer<T> for plain char. --- src/C_Integer.hh | 21 +++++++++++++++++++++ 1 files changed, 21 insertions(+), 0 deletions(-) diff --git a/src/C_Integer.hh b/src/C_Integer.hh index 8557a6b..c08156a 100644 --- a/src/C_Integer.hh +++ b/src/C_Integer.hh @@ -62,6 +62,27 @@ template <typename T> struct C_Integer : public False { }; template <> +struct C_Integer<char> : public True { + enum anonymous_enum { +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED + is_signed = true +#else + is_signed = false +#endif + }; + typedef void smaller_type; + typedef void smaller_signed_type; + typedef void smaller_unsigned_type; +#if PPL_CXX_PLAIN_CHAR_IS_SIGNED + typedef unsigned char other_type; +#else + typedef signed char other_type; +#endif + static const char min = CHAR_MIN; + static const char max = CHAR_MAX; +}; + +template <> struct C_Integer<signed char> : public True { enum anonymous_enum { is_signed = true }; typedef void smaller_type;

1 0

[GIT] ppl/ppl(master): Added specializations for plain char.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 69c0e45682361f5d51d7b6ba8bf714ebbc85b43f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c0e4568236… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:11:01 2011 +0100 Added specializations for plain char. --- src/checked_int.inlines.hh | 179 ++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 179 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=69c0e456…

1 0

[GIT] ppl/ppl(master): Copy-and-paste mistake fixed.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 6861c446e762ddb7972580aa181206d29e87aa48 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6861c446e762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:08:31 2011 +0100 Copy-and-paste mistake fixed. --- m4/ac_cxx_plain_char_is_signed.m4 | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/m4/ac_cxx_plain_char_is_signed.m4 b/m4/ac_cxx_plain_char_is_signed.m4 index bc0b086..51c2667 100644 --- a/m4/ac_cxx_plain_char_is_signed.m4 +++ b/m4/ac_cxx_plain_char_is_signed.m4 @@ -36,8 +36,6 @@ int foo[std::numeric_limits<char>::is_signed ? 1 : -1]; AC_MSG_RESULT(yes) ac_cxx_plain_char_is_signed=yes, AC_MSG_RESULT(no) - ac_cxx_plain_char_is_signed=no, - AC_MSG_RESULT(no) ac_cxx_plain_char_is_signed=no) if test x"$ac_cxx_plain_char_is_signed" = xyes

1 0

[GIT] ppl/ppl(master): Detect whether the plain char type is signed.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 743d879f0284f5d2c6ab1ad4d3149082dd0c261c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743d879f0284… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 20:06:05 2011 +0100 Detect whether the plain char type is signed. --- configure.ac | 3 ++ m4/Makefile.am | 1 + m4/ac_cxx_plain_char_is_signed.m4 | 55 +++++++++++++++++++++++++++++++++++++ 3 files changed, 59 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index 68934ec..6fd60e8 100644 --- a/configure.ac +++ b/configure.ac @@ -666,6 +666,9 @@ AC_SEARCH_LIBS([sqrt], [m]) # Check for the possibility to control the FPU. AC_CHECK_FPU_CONTROL +# Check whether for the C++ compiler the plain char type is signed. +AC_CXX_PLAIN_CHAR_IS_SIGNED + # Check whether the C++ compiler provides proper long doubles. AC_CXX_PROVIDES_PROPER_LONG_DOUBLE diff --git a/m4/Makefile.am b/m4/Makefile.am index a69425f..313d28a 100644 --- a/m4/Makefile.am +++ b/m4/Makefile.am @@ -46,6 +46,7 @@ ac_cxx_ieee_inexact_flag.m4 \ ac_cxx_limit_memory.m4 \ ac_cxx_long_double_binary_format.m4 \ ac_cxx_long_double_exact_output.m4 \ +ac_cxx_plain_char_is_signed.m4 \ ac_cxx_proper_long_double.m4 \ ac_cxx_remainder_bug.m4 \ ac_prog_jar.m4 \ diff --git a/m4/ac_cxx_plain_char_is_signed.m4 b/m4/ac_cxx_plain_char_is_signed.m4 new file mode 100644 index 0000000..bc0b086 --- /dev/null +++ b/m4/ac_cxx_plain_char_is_signed.m4 @@ -0,0 +1,55 @@ +dnl A function to check whether the plain char type is signed. +dnl Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +dnl Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) +dnl +dnl This file is part of the Parma Polyhedra Library (PPL). +dnl +dnl The PPL is free software; you can redistribute it and/or modify it +dnl under the terms of the GNU General Public License as published by the +dnl Free Software Foundation; either version 3 of the License, or (at your +dnl option) any later version. +dnl +dnl The PPL is distributed in the hope that it will be useful, but WITHOUT +dnl ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +dnl FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +dnl for more details. +dnl +dnl You should have received a copy of the GNU General Public License +dnl along with this program; if not, write to the Free Software Foundation, +dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +dnl +dnl For the most up-to-date information see the Parma Polyhedra Library +dnl site: http://www.cs.unipr.it/ppl/ . + +AC_DEFUN([AC_CXX_PLAIN_CHAR_IS_SIGNED], +[ +ac_save_CPPFLAGS="$CPPFLAGS" +ac_save_LIBS="$LIBS" +AC_LANG_PUSH(C++) + +AC_MSG_CHECKING([whether the plain char type is signed]) +AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#include <limits> + +int foo[std::numeric_limits<char>::is_signed ? 1 : -1]; +]])], + AC_MSG_RESULT(yes) + ac_cxx_plain_char_is_signed=yes, + AC_MSG_RESULT(no) + ac_cxx_plain_char_is_signed=no, + AC_MSG_RESULT(no) + ac_cxx_plain_char_is_signed=no) + +if test x"$ac_cxx_plain_char_is_signed" = xyes +then + value=1 +else + value=0 +fi +AC_DEFINE_UNQUOTED(PPL_CXX_PLAIN_CHAR_IS_SIGNED, $value, + [Not zero if the the plain char type is signed.]) + +AC_LANG_POP(C++) +CPPFLAGS="$ac_save_CPPFLAGS" +LIBS="$ac_save_LIBS" +])

1 0

[GIT] ppl/ppl(master): Reduce the argument of valgrind' s --num-callers below the allowed maximum.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: master Commit: 8a7cd78d39715462e9b036b52ae9815a1ae06146 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d3971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:55:23 2011 +0100 Reduce the argument of valgrind's --num-callers below the allowed maximum. --- Watchdog/tests/Makefile.am | 2 +- demos/ppl_pips/Makefile.am | 2 +- interfaces/C/tests/Makefile.am | 12 +++++++++++- interfaces/OCaml/tests/Makefile.am | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- tests/Ask_Tell/Makefile.am | 2 +- tests/BD_Shape/Makefile.am | 2 +- tests/Box/Makefile.am | 2 +- tests/CO_Tree/Makefile.am | 2 +- tests/Grid/Makefile.am | 2 +- tests/MIP_Problem/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- tests/PIP_Problem/Makefile.am | 2 +- tests/Partially_Reduced_Product/Makefile.am | 2 +- tests/Polyhedron/Makefile.am | 2 +- tests/Powerset/Makefile.am | 2 +- tests/Sparse_Matrix/Makefile.am | 2 +- 17 files changed, 27 insertions(+), 17 deletions(-) diff --git a/Watchdog/tests/Makefile.am b/Watchdog/tests/Makefile.am index 7965de3..3bbdd2b 100644 --- a/Watchdog/tests/Makefile.am +++ b/Watchdog/tests/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(srcdir)/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index 4e3fa6f..57be020 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -27,7 +27,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am index e77cc3e..323383f 100644 --- a/interfaces/C/tests/Makefile.am +++ b/interfaces/C/tests/Makefile.am @@ -21,8 +21,18 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://www.cs.unipr.it/ppl/ . +if VALGRIND_TESTS_ENABLED + +CHECKER = \ +$(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ +--num-callers=40 --leak-resolution=high \ +--suppressions=$(top_srcdir)/tests/valgrind_suppressions + +else !VALGRIND_TESTS_ENABLED + CHECKER = -#CHECKER = valgrind --tool=memcheck -q --trace-children=yes --leak-check=yes --num-callers=100 --leak-resolution=high --suppressions=$(top_srcdir)/tests/valgrind_suppressions + +endif !VALGRIND_TESTS_ENABLED TESTS_ENVIRONMENT = $(CHECKER) diff --git a/interfaces/OCaml/tests/Makefile.am b/interfaces/OCaml/tests/Makefile.am index 2f35c98..d8c8d54 100644 --- a/interfaces/OCaml/tests/Makefile.am +++ b/interfaces/OCaml/tests/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(srcdir)/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 5565918..078fac0 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Ask_Tell/Makefile.am b/tests/Ask_Tell/Makefile.am index 7b9620d..3cd30ea 100644 --- a/tests/Ask_Tell/Makefile.am +++ b/tests/Ask_Tell/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 5202917..732d0e2 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 927fe71..8688993 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/CO_Tree/Makefile.am b/tests/CO_Tree/Makefile.am index a58f0e3..904af1d 100644 --- a/tests/CO_Tree/Makefile.am +++ b/tests/CO_Tree/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am index 8d11ff3..581ad16 100644 --- a/tests/Grid/Makefile.am +++ b/tests/Grid/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/MIP_Problem/Makefile.am b/tests/MIP_Problem/Makefile.am index 22f2a42..4c2b82e 100644 --- a/tests/MIP_Problem/Makefile.am +++ b/tests/MIP_Problem/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index a428fb3..f1b4b06 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index bf9e9bb..d2cba6e 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index a4901a2..a4f58f5 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index dc0065e..a621ef7 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am index 705a421..222cd01 100644 --- a/tests/Powerset/Makefile.am +++ b/tests/Powerset/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Sparse_Matrix/Makefile.am b/tests/Sparse_Matrix/Makefile.am index 53ded75..0585205 100644 --- a/tests/Sparse_Matrix/Makefile.am +++ b/tests/Sparse_Matrix/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 48857dbb86ae6f789961c088a6fb77b6b79a466e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48857dbb86ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:51:36 2011 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index d233c1b..8ba9bda 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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.11.1pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre8], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/w3ppl(master): Reflected the switch to gitolite.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/w3ppl Branch: master Commit: f9e41b5b4d69b634132b7e5126b2703264a1ad90 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=f9e41b5b4d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:48:37 2011 +0100 Reflected the switch to gitolite. --- htdocs/Download/Git.raw | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 273729b..aa620c5 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -168,10 +168,10 @@ Otherwise there is no point in reading further: solve this problem first. Issue the command <BLOCKQUOTE> - <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ppl</CODE> + <CODE>git clone ssh://git@git.cs.unipr.it/ppl/ppl</CODE> </BLOCKQUOTE> <BLOCKQUOTE> - <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/w3ppl.git w3ppl</CODE> + <CODE>git clone ssh://git@git.cs.unipr.it/ppl/w3ppl</CODE> </BLOCKQUOTE> to clone the PPL source or the PPL web repositories, respectively. @@ -181,7 +181,7 @@ to clone the PPL source or the PPL web repositories, respectively. After the initial checkout, you can change into one of the project's directories and execute most Git commands omitting -the <CODE>ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git</CODE> argument. +the <CODE>ssh://git@git.cs.unipr.it/ppl/ppl</CODE> argument. For example, whenever you want to merge with the latest code changes, <CODE>cd</CODE> into your <CODE>ppl</CODE> directory and issue @@ -303,7 +303,7 @@ basic CVS commands and their Git counterparts. <PRE> cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl | -+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ++---> git clone ssh://git@git.cs.unipr.it/ppl/ppl </PRE> @@ -311,7 +311,7 @@ cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl <PRE> cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout -r products ppl | -+---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ++---> git clone ssh://git@git.cs.unipr.it/ppl/ppl git checkout -b products origin/products </PRE>

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Reduce the argument of valgrind' s --num-callers below the allowed maximum.
by Roberto Bagnara 14 Feb '11

14 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: dbf8e2232866146aeb2c3fbadd04c50743a90866 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbf8e2232866… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:14:41 2011 +0100 Reduce the argument of valgrind's --num-callers below the allowed maximum. --- Watchdog/tests/Makefile.am | 2 +- demos/ppl_pips/Makefile.am | 2 +- interfaces/C/tests/Makefile.am | 12 +++++++++++- interfaces/OCaml/tests/Makefile.am | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- tests/Ask_Tell/Makefile.am | 2 +- tests/BD_Shape/Makefile.am | 2 +- tests/Box/Makefile.am | 2 +- tests/Grid/Makefile.am | 2 +- tests/MIP_Problem/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- tests/PIP_Problem/Makefile.am | 2 +- tests/Partially_Reduced_Product/Makefile.am | 2 +- tests/Polyhedron/Makefile.am | 2 +- tests/Powerset/Makefile.am | 2 +- 15 files changed, 25 insertions(+), 15 deletions(-) diff --git a/Watchdog/tests/Makefile.am b/Watchdog/tests/Makefile.am index 7965de3..3bbdd2b 100644 --- a/Watchdog/tests/Makefile.am +++ b/Watchdog/tests/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(srcdir)/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index 4e3fa6f..57be020 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -27,7 +27,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am index e77cc3e..323383f 100644 --- a/interfaces/C/tests/Makefile.am +++ b/interfaces/C/tests/Makefile.am @@ -21,8 +21,18 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://www.cs.unipr.it/ppl/ . +if VALGRIND_TESTS_ENABLED + +CHECKER = \ +$(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ +--num-callers=40 --leak-resolution=high \ +--suppressions=$(top_srcdir)/tests/valgrind_suppressions + +else !VALGRIND_TESTS_ENABLED + CHECKER = -#CHECKER = valgrind --tool=memcheck -q --trace-children=yes --leak-check=yes --num-callers=100 --leak-resolution=high --suppressions=$(top_srcdir)/tests/valgrind_suppressions + +endif !VALGRIND_TESTS_ENABLED TESTS_ENVIRONMENT = $(CHECKER) diff --git a/interfaces/OCaml/tests/Makefile.am b/interfaces/OCaml/tests/Makefile.am index 2f35c98..d8c8d54 100644 --- a/interfaces/OCaml/tests/Makefile.am +++ b/interfaces/OCaml/tests/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(srcdir)/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 5565918..078fac0 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Ask_Tell/Makefile.am b/tests/Ask_Tell/Makefile.am index 7b9620d..3cd30ea 100644 --- a/tests/Ask_Tell/Makefile.am +++ b/tests/Ask_Tell/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 5202917..732d0e2 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 927fe71..8688993 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am index 8d11ff3..581ad16 100644 --- a/tests/Grid/Makefile.am +++ b/tests/Grid/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/MIP_Problem/Makefile.am b/tests/MIP_Problem/Makefile.am index 22f2a42..4c2b82e 100644 --- a/tests/MIP_Problem/Makefile.am +++ b/tests/MIP_Problem/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index a428fb3..f1b4b06 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am index bf9e9bb..d2cba6e 100644 --- a/tests/PIP_Problem/Makefile.am +++ b/tests/PIP_Problem/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index a4901a2..a4f58f5 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am index 21067de..4ff8b49 100644 --- a/tests/Polyhedron/Makefile.am +++ b/tests/Polyhedron/Makefile.am @@ -25,7 +25,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am index 705a421..222cd01 100644 --- a/tests/Powerset/Makefile.am +++ b/tests/Powerset/Makefile.am @@ -26,7 +26,7 @@ if VALGRIND_TESTS_ENABLED CHECKER = \ $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ ---num-callers=100 --leak-resolution=high \ +--num-callers=40 --leak-resolution=high \ --suppressions=$(top_srcdir)/tests/valgrind_suppressions else !VALGRIND_TESTS_ENABLED

1 0

[GIT] ppl/w3ppl(master): Typo corrected.
by Enea Zaffanella 14 Feb '11

14 Feb '11

Module: ppl/w3ppl Branch: master Commit: 65c2a2196598f88d36314e054dd0ee77067f7271 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=65c2a21965… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 09:51:53 2011 +0100 Typo corrected. --- htdocs/Bugs/archive.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 6072ae8..e161f6a 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -66,7 +66,7 @@ Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git; Fixed a bug whereby the argument of all the methods <CODE> unconstrain(Variable var) -</CODE +</CODE> was not checked correctly for space dimension compatibility. Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b…">ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f</A>. </DD>

1 0

[GIT] ppl/w3ppl(master): Added PPL 0.11 bugs.
by Enea Zaffanella 14 Feb '11

14 Feb '11

Module: ppl/w3ppl Branch: master Commit: 725704cae321ee3fd288a4c2337e021d8153b913 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=725704cae3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 09:42:20 2011 +0100 Added PPL 0.11 bugs. --- htdocs/Bugs/archive.raw | 111 +++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 111 insertions(+), 0 deletions(-) diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 56643f2..6072ae8 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -6,6 +6,117 @@ $Date: 2009/02/04 07:49:30 $ This is an archive of the bugs discovered for various versions of the PPL. +<H2>Known Bugs in PPL 0.11</H2> + +<DL> + +<DT>February 10, 2011</DT> +<DD> +Fixed a bug in the input method for checked integers whereby, under specific +conditions, the input stream state bits were not updated. The bug was only +affecting builds using checked integer coefficients. Relevant commit is +<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90…">d0f6bd037c90676130e9547e5ed909cf6ba8eee9</A>. +</DD> + +<DT>February 5, 2011</DT> +<DD> +Fixed a bug in the OCaml interface, which was affecting functions +<CODE> + ppl_Pointset_Powerset_<INSTANCE>_get_disjunct +</CODE>. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce002…">c23ded5ce0023a753fdd5da2dbbd99d1a084566c</A>. +</DD> + +<DT>February 5, 2011</DT> +<DD> +Corrected a couple of resource (re-)allocation problems that, under +specific conditions, could affect the correctness of Grid constructor +<CODE> + Grid::Grid(const Box<Interval>& box) +</CODE> +and NNC_Polyhedron method +<CODE> + Polyhedron::generalized_affine_image() +</CODE>. +Relevant commits are <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a01fecf4cde7…">a01fecf4cde756aaefe88b8f309f9bdf3e07b670</A> and <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1edca5e0dd…">bf1edca5e0ddb03674a35218dccce6bc421469e2</A>. +</DD> + +<DT>February 4, 2011</DT> +<DD> +Corrected a problem in the simplification of <CODE>PIP_Problem</CODE> +solution trees whereby, under specific conditions, the node merging process +produced decision nodes that did not satisfy their class invariant. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56cc…">caaa126b56ccb07884217b33b6cc8c1f79e7f6ca</A>. +</DD> + +<DT>October 19, 2010</DT> +<DD> +Fixed a precision bug in method +<CODE> + Octagonal_Shape<T>::affine_image() +</CODE> +whereby in the case of an invertible affine transformation implementing +a variable sign symmetry (and optional translation), the computed result +was correct but unnecessarily imprecise. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a…">5c95fc0eab6a38442751ed16c6cfa9d538917f3f</A>. +</DD> + +<DT>October 16, 2010</DT> +<DD> +Fixed a bug whereby the argument of all the methods +<CODE> + unconstrain(Variable var) +</CODE +was not checked correctly for space dimension compatibility. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b…">ff5b0796773b34ef9d1e26d2a40b4fdb8376dc8f</A>. +</DD> + +<DT>September 16, 2010</DT> +<DD> +Corrected an efficiency bug in the C language interface function +<CODE> + ppl_Linear_Expression_add_to_coefficient() +</CODE>. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9f6c92b49a…">ba9f6c92b49afbbfc37d864f59fff70df90f6536</A>. +</DD> + +<DT>September 7, 2010</DT> +<DD> +Fixed a bug affecting constructor +<CODE> + Interval::Interval(const char* s) +</CODE> +whereby a wrong interval would be constructed if the string argument denotes +a number that can only be represented as an infinity. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e2fe287b4ef…">3e2fe287b4efd3b58127951793cc00ffe0ca21c0</A>. +</DD> + +<DT>August 29, 2010</DT> +<DD> +Fixed a bug affecting the input routine of <CODE>ppl_lpsol</CODE>, whereby +the inhomogeneous term of the objective function was disregarded. The bug +could only affect the optimized value of the objective function, while +having no effect onthe problem's optimization state. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c82a27391846…">c82a27391846139072cadf0754f59f4805f4f99b</A>. +</DD> + +<DT>August 13, 2010</DT> +<DD> +Fixed a bug affecting methods +<CODE> + Box::CC76_widening_assign(const T&, Iterator, Iterator) +</CODE> +and +<CODE> + Interval::CC76_widening_assign(const From&, Iterator, Iterator) +</CODE> +whereby a lower bound would not be computed correctly when the two +iterators specify an empty list of stop points. +Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=535657baab7b…">535657baab7b4f5e6d884a7fcdc2138b1ea0797c</A>. +</DD> + +</DL> + <H2>Known Bugs in PPL 0.10.2</H2> <DL>

1 0