March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): pretty_print. * contain helper datatypes and functions for pretty printing.
by Enea Zaffanella 21 Mar '09

21 Mar '09

Module: ppl/ppl Branch: master Commit: 97b46d107afc2ea30c14367ee8d160295a8736be URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b46d107afc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 09:56:18 2009 +0100 pretty_print.* contain helper datatypes and functions for pretty printing. Template functions pretty_print and c_pretty_print provide wrapped output using a Write_Function object to write to destination. --- src/pretty_print.cc | 189 +++++++++++++++++++++++++++++++++++++++++++ src/pretty_print.hh | 147 +++++++++++++++++++++++++++++++++ src/pretty_print.inlines.hh | 88 ++++++++++++++++++++ 3 files changed, 424 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=97b46d10…

1 0

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

21 Mar '09

Module: ppl/ppl Branch: master Commit: 1b8cc466f361b4314848ba1ef8f8479249d53c01 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b8cc466f361… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 10:26:08 2009 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 9a8210a..92b3e2c 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.1pre6],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre7],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.63)

1 0

[GIT] ppl/ppl(master): Got rid of AX_PREFIX_CONFIG_H.
by Roberto Bagnara 21 Mar '09

21 Mar '09

Module: ppl/ppl Branch: master Commit: 7fb1df3a61d57229addda23e0ebfb79074393c5b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fb1df3a61d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 09:00:57 2009 +0100 Got rid of AX_PREFIX_CONFIG_H. --- .gitignore | 3 +- NEWS | 14 ++- Watchdog/.gitignore | 2 + Watchdog/configure.ac | 110 +++++++++- Watchdog/m4/Makefile.am | 1 - Watchdog/m4/ax_prefix_config_h.m4 | 183 ---------------- Watchdog/src/Makefile.am | 2 +- configure.ac | 368 +++++++++++++++++++++++++++++--- instchk.hh | 24 +- m4/Makefile.am | 1 - m4/ac_check_fpu_control.m4 | 2 +- m4/ac_check_gmp.m4 | 2 +- m4/ac_cxx_attribute_weak.m4 | 2 +- m4/ac_cxx_double_binary_format.m4 | 4 +- m4/ac_cxx_double_exact_output.m4 | 2 +- m4/ac_cxx_flexible_arrays.m4 | 2 +- m4/ac_cxx_float_binary_format.m4 | 4 +- m4/ac_cxx_float_exact_output.m4 | 2 +- m4/ac_cxx_ieee_inexact_flag.m4 | 2 +- m4/ac_cxx_limit_memory.m4 | 2 +- m4/ac_cxx_long_double_binary_format.m4 | 10 +- m4/ac_cxx_long_double_exact_output.m4 | 2 +- m4/ac_cxx_proper_long_double.m4 | 2 +- m4/ac_cxx_remainder_bug.m4 | 2 +- m4/ax_prefix_config_h.m4 | 183 ---------------- 25 files changed, 496 insertions(+), 435 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7fb1df3a…

1 0

[GIT] ppl/w3ppl(master): Spurious colons (`:') removed.
by Roberto Bagnara 20 Mar '09

20 Mar '09

Module: ppl/w3ppl Branch: master Commit: 66af8bcb4544e7e61959c3cef2106d780c373e59 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=66af8bcb45… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 18:56:33 2009 +0100 Spurious colons (`:') removed. --- htdocs/Download/Git.raw | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 81c7f77..7dc820d 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -286,17 +286,17 @@ basic CVS commands and their Git counterparts. <H4>Checkout of the main trunk vs Cloning of the master branch</H4> <PRE> -cvs -d ssh://myusername@git.cs.unipr.it:/cvs/ppl checkout ppl +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://myusername@git.cs.unipr.it/git/ppl/ppl.git </PRE> <H4>Checkout of a branch vs Cloning of the master branch + Creation of a local branch tracking a remote one</H4> <PRE> -cvs -d ssh://myusername@git.cs.unipr.it:/cvs/ppl checkout -r products ppl +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://myusername@git.cs.unipr.it/git/ppl/ppl.git git checkout -b products origin/products </PRE>

1 0

client data for ppl_io_set_variable_output_function?
by Basile STARYNKEVITCH 20 Mar '09

20 Mar '09

Hello Roberto and all, It would be cute if the routine passed to ppl_io_set_variable_output_function could take some client data. So I suggest an additional variant to the API. In C++, have inside the Parma_Polyhedra_Library::Variable class typedef void output_function_with_data_type (std::ostream &s, const Variable &v, void* data); and the static member function set_output_function_with_data(output_function_with_data_type* f, void *data); so that when a variable v needs to be output, PPL would call f(s,v,data) And in the C API one would have ppl_io_set_variable_output_with_data_function(ppl_io_variable_output_function_with_data_type *f, void*data) Regards. -- 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

PPL "tutorial" and C <-> C++ dictionnary
by Basile STARYNKEVITCH 20 Mar '09

20 Mar '09

Hello Roberto & All, I am really a very newbie in PPL. Just trying to use it right now (in the GCC MELT branch, if that does matter). So sorry for my very stupid (or at least basic) questions. First, is there somehere a tutorial or user FAQ page? More specifically, I'm looking for a 2-column table of "to do this, use that" rows which gives quick "overview" of the PPL. I don't mind if the "todo this" column contains a few math terms or equations and I would expect the "use that" column to contain names (and if possible HTML links) of C++ method signatures. Also, is there somehere a summary of the C API, ie something like a table C++ API call, C API call? At last, I would like to make a projection of a constraint system into a subset of its coordinates e.g. geometrically, projecting the 5-dimensional polyhedra defined by one constraint system over x,y,z,u,v into a constraint system over x,y,u (hence eliminating z & v). What is the API for such things? Out of curiosity, I would guess (because I remember Roberto telling me about) that the PPL is indeed used for some static analysis of software tool. Is there any papers on that subject? Regards -- 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 1

[GIT] ppl/ppl(master): Pattern `*~' added. Patterns sorted.
by Roberto Bagnara 20 Mar '09

20 Mar '09

Module: ppl/ppl Branch: master Commit: a4052950058d0a9009b14ef194e37138eecfa1ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4052950058d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:14:01 2009 +0100 Pattern `*~' added. Patterns sorted. --- .gitignore | 11 ++++++----- 1 files changed, 6 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index a842520..cc22680 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,12 @@ +#ppl-*.* +*.a *.bz2 *.gz -*.zip -*.o -*.a *.lo *.loT +*.o +*.zip +*~ .deps .libs Makefile @@ -22,10 +24,9 @@ configure conftest conftest.c libtool -#ppl-*.* +ppl-config.h ppl.lsm ppl.spec stamp-h stamp-h.in stamp-h1 -ppl-config.h

1 0

[GIT] ppl/ppl(master): Avoid using obsolete Autoconf macros.
by Roberto Bagnara 20 Mar '09

20 Mar '09

Module: ppl/ppl Branch: master Commit: cbad48d8d99792e1951c95f4218cb1a96b92c291 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbad48d8d997… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:11:18 2009 +0100 Avoid using obsolete Autoconf macros. --- Watchdog/configure.ac | 12 +++---- configure.ac | 85 ++++++++++++++++++++++--------------------------- m4/ac_prog_java.m4 | 14 ++++---- m4/ac_prog_javac.m4 | 4 +- 4 files changed, 52 insertions(+), 63 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=cbad48d8…

1 0

[GIT] ppl/ppl(master): AC_RUN_IFELSE invocations now have a safe action for cross-compiling.
by Roberto Bagnara 20 Mar '09

20 Mar '09

Module: ppl/ppl Branch: master Commit: 1b1eb0199360341a2a250a5843b2406c87514728 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b1eb0199360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 15:32:51 2009 +0100 AC_RUN_IFELSE invocations now have a safe action for cross-compiling. --- m4/ac_check_fpu_control.m4 | 2 ++ m4/ac_cxx_double_binary_format.m4 | 6 ++++-- m4/ac_cxx_double_exact_output.m4 | 3 ++- m4/ac_cxx_float_binary_format.m4 | 5 +++-- m4/ac_cxx_float_exact_output.m4 | 3 ++- m4/ac_cxx_long_double_binary_format.m4 | 17 ++++++++++++----- m4/ac_cxx_long_double_exact_output.m4 | 3 ++- 7 files changed, 27 insertions(+), 12 deletions(-) diff --git a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4 index 1e717ee..ae2aa6e 100644 --- a/m4/ac_check_fpu_control.m4 +++ b/m4/ac_check_fpu_control.m4 @@ -114,6 +114,8 @@ main() { AC_MSG_RESULT(yes) ac_cv_can_control_fpu=1, AC_MSG_RESULT(no) + ac_cv_can_control_fpu=0, + AC_MSG_RESULT(no) ac_cv_can_control_fpu=0 ) AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) diff --git a/m4/ac_cxx_double_binary_format.m4 b/m4/ac_cxx_double_binary_format.m4 index c6792d9..5d52890 100644 --- a/m4/ac_cxx_double_binary_format.m4 +++ b/m4/ac_cxx_double_binary_format.m4 @@ -29,7 +29,7 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([the binary format of C++ doubles]) -ac_cxx_double_binary_format=unknown + AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> #ifdef HAVE_STDINT_H @@ -91,7 +91,9 @@ main() { ]])], AC_DEFINE(CXX_DOUBLE_BINARY_FORMAT, PPL_FLOAT_IEEE754_DOUBLE, [The unique code of the binary format of C++ doubles, if supported; undefined otherwise.]) - ac_cxx_double_binary_format="IEEE754 Double Precision") + ac_cxx_double_binary_format="IEEE754 Double Precision", + ac_cxx_double_binary_format=unknown, + ac_cxx_double_binary_format=unknown) AC_MSG_RESULT($ac_cxx_double_binary_format) diff --git a/m4/ac_cxx_double_exact_output.m4 b/m4/ac_cxx_double_exact_output.m4 index 2223b79..1bed488 100644 --- a/m4/ac_cxx_double_exact_output.m4 +++ b/m4/ac_cxx_double_exact_output.m4 @@ -28,7 +28,6 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([whether C++ provides exact output for doubles]) -ac_cxx_double_exact_output=unknown AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> @@ -127,6 +126,8 @@ main() { AC_MSG_RESULT(yes) ac_cxx_double_exact_output=1, AC_MSG_RESULT(no) + ac_cxx_double_exact_output=0, + AC_MSG_RESULT(no) ac_cxx_double_exact_output=0) AC_DEFINE_UNQUOTED(CXX_DOUBLE_EXACT_OUTPUT, $ac_cxx_double_exact_output, diff --git a/m4/ac_cxx_float_binary_format.m4 b/m4/ac_cxx_float_binary_format.m4 index f59a9f6..4e91fd4 100644 --- a/m4/ac_cxx_float_binary_format.m4 +++ b/m4/ac_cxx_float_binary_format.m4 @@ -27,7 +27,6 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([the binary format of C++ floats]) -ac_cxx_float_binary_format=unknown AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> #ifdef HAVE_STDINT_H @@ -80,7 +79,9 @@ main() { ]])], AC_DEFINE(CXX_FLOAT_BINARY_FORMAT, PPL_FLOAT_IEEE754_SINGLE, [The binary format of C++ floats, if supported; undefined otherwise.]) - ac_cxx_float_binary_format="IEEE754 Single Precision") + ac_cxx_float_binary_format="IEEE754 Single Precision", + ac_cxx_float_binary_format=unknown, + ac_cxx_float_binary_format=unknown) AC_MSG_RESULT($ac_cxx_float_binary_format) diff --git a/m4/ac_cxx_float_exact_output.m4 b/m4/ac_cxx_float_exact_output.m4 index 9f0eb2b..79c8a0d 100644 --- a/m4/ac_cxx_float_exact_output.m4 +++ b/m4/ac_cxx_float_exact_output.m4 @@ -28,7 +28,6 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([whether C++ provides exact output for floats]) -ac_cxx_float_exact_output=unknown AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> @@ -118,6 +117,8 @@ main() { AC_MSG_RESULT(yes) ac_cxx_float_exact_output=1, AC_MSG_RESULT(no) + ac_cxx_float_exact_output=0, + AC_MSG_RESULT(no) ac_cxx_float_exact_output=0) AC_DEFINE_UNQUOTED(CXX_FLOAT_EXACT_OUTPUT, $ac_cxx_float_exact_output, diff --git a/m4/ac_cxx_long_double_binary_format.m4 b/m4/ac_cxx_long_double_binary_format.m4 index e7d9ce8..678cc10 100644 --- a/m4/ac_cxx_long_double_binary_format.m4 +++ b/m4/ac_cxx_long_double_binary_format.m4 @@ -27,7 +27,6 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([the binary format of C++ long doubles]) -ac_cxx_long_double_binary_format=unknown AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> @@ -90,7 +89,9 @@ main() { ]])], AC_DEFINE(CXX_LONG_DOUBLE_BINARY_FORMAT, PPL_FLOAT_INTEL_DOUBLE_EXTENDED, [The unique code of the binary format of C++ long doubles, if supported; undefined otherwise.]) - ac_cxx_long_double_binary_format="Intel Double-Extended") + ac_cxx_long_double_binary_format="Intel Double-Extended", + ac_cxx_long_double_binary_format=unknown, + ac_cxx_long_double_binary_format=unknown) if test x"$ac_cxx_long_double_binary_format" = x"unknown" then @@ -168,7 +169,9 @@ main() { ]])], AC_DEFINE(CXX_LONG_DOUBLE_BINARY_FORMAT, PPL_FLOAT_IEEE754_QUAD, [The unique code of the binary format of C++ long doubles, if supported; undefined otherwise.]) - ac_cxx_long_double_binary_format="IEEE754 Quad Precision") + ac_cxx_long_double_binary_format="IEEE754 Quad Precision", + ac_cxx_long_double_binary_format=unknown, + ac_cxx_long_double_binary_format=unknown) fi if test x"$ac_cxx_long_double_binary_format" = x"unknown" @@ -234,7 +237,9 @@ main() { ]])], AC_DEFINE(CXX_LONG_DOUBLE_BINARY_FORMAT, PPL_FLOAT_INTEL_DOUBLE_EXTENDED, [The unique code of the binary format of C++ long doubles, if supported; undefined otherwise.]) - ac_cxx_long_double_binary_format="Intel Double-Extended") + ac_cxx_long_double_binary_format="Intel Double-Extended", + ac_cxx_long_double_binary_format=unknown, + ac_cxx_long_double_binary_format=unknown) fi if test x"$ac_cxx_long_double_binary_format" = x"unknown" @@ -300,7 +305,9 @@ main() { ]])], AC_DEFINE(CXX_LONG_DOUBLE_BINARY_FORMAT, PPL_FLOAT_IEEE754_DOUBLE, [The unique code of the binary format of C++ long doubles, if supported; undefined otherwise.]) - ac_cxx_long_double_binary_format="IEEE754 Double Precision") + ac_cxx_long_double_binary_format="IEEE754 Double Precision", + ac_cxx_long_double_binary_format=unknown, + ac_cxx_long_double_binary_format=unknown) fi AC_MSG_RESULT($ac_cxx_long_double_binary_format) diff --git a/m4/ac_cxx_long_double_exact_output.m4 b/m4/ac_cxx_long_double_exact_output.m4 index 1b45409..9c0055d 100644 --- a/m4/ac_cxx_long_double_exact_output.m4 +++ b/m4/ac_cxx_long_double_exact_output.m4 @@ -29,7 +29,6 @@ ac_save_LIBS="$LIBS" AC_LANG_PUSH(C++) AC_MSG_CHECKING([whether C++ provides exact output for long doubles]) -ac_cxx_long_double_exact_output=unknown AC_RUN_IFELSE([AC_LANG_SOURCE([[ #include <limits> @@ -241,6 +240,8 @@ main() { AC_MSG_RESULT(yes) ac_cxx_long_double_exact_output=1, AC_MSG_RESULT(no) + ac_cxx_long_double_exact_output=0, + AC_MSG_RESULT(no) ac_cxx_long_double_exact_output=0) AC_DEFINE_UNQUOTED(CXX_LONG_DOUBLE_EXACT_OUTPUT, $ac_cxx_long_double_exact_output,

1 0

Could you add git commit ids to to bug fixes?
by Michael Tautschnig 20 Mar '09

20 Mar '09

Hi all, Now that you've switched to git, would it be possible list the commit ids for patches fixing the bugs as listed on http://www.cs.unipr.it/ppl/Bugs/? That way it would be fairly easy for me to pick those and add the to the Debian package. If you prefer not to so, would it still be possible to extract those and send the ids in a reply to this message? Thanks a lot, Michael

2 1