March 2014 - PPL-devel - BUGSENG Mailman

Fwd: PPL Interface Issue
by Syed Sabah-ud-Din Gilani 15 May '14

15 May '14

Dear Sir, I have used ppl 0.9 in my project, now I am upgrading it to ppl 1.1, during compilation I had ppl interface issue i.e. *shrink_bounding_box* and some other functions not found. I have commented all these functions and compiled my project successfully, now when I try to parse some file it returns me the following error: *terminate called after throwing an instance of 'std::out_of_range'* * what(): basic_string::substr* *Aborted* I want guidelines and will be glade to have you positive response. Best Regards, *Syed Sabah-ud-din Gilani*

2 11

[GIT] ppl/ppl(master): Useless local variables removed.
by Roberto Bagnara 30 Mar '14

30 Mar '14

Module: ppl/ppl Branch: master Commit: 0c6466b672498a86a35b9b4ebc7c5fb4816b37dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c6466b67249… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Mar 30 22:44:19 2014 +0200 Useless local variables removed. --- src/Octagonal_Shape_templates.hh | 7 ------- 1 files changed, 0 insertions(+), 7 deletions(-) diff --git a/src/Octagonal_Shape_templates.hh b/src/Octagonal_Shape_templates.hh index e8a9bf2..bf8a40c 100644 --- a/src/Octagonal_Shape_templates.hh +++ b/src/Octagonal_Shape_templates.hh @@ -1000,7 +1000,6 @@ Octagonal_Shape<T>::minimized_congruences() const { // Strong closure is necessary to detect emptiness // and all (possibly implicit) equalities. strong_closure_assign(); - const dimension_type space_dim = space_dimension(); Congruence_System cgs(space_dim); if (space_dim == 0) { @@ -1267,7 +1266,6 @@ Octagonal_Shape<T>::contains_integer_point() const { // Force strong closure. if (is_empty()) return false; - const dimension_type space_dim = space_dimension(); if (space_dim == 0) return true; @@ -1316,7 +1314,6 @@ bool Octagonal_Shape<T>::frequency(const Linear_Expression& expr, Coefficient& freq_n, Coefficient& freq_d, Coefficient& val_n, Coefficient& val_d) const { - dimension_type space_dim = space_dimension(); // The dimension of `expr' must be at most the dimension of *this. if (space_dim < expr.space_dimension()) throw_dimension_incompatible("frequency(e, ...)", "e", expr); @@ -2552,7 +2549,6 @@ bool Octagonal_Shape<T>::tight_coherence_would_make_empty() const { PPL_ASSERT(std::numeric_limits<N>::is_integer); PPL_ASSERT(marked_strongly_closed()); - const dimension_type space_dim = space_dimension(); for (dimension_type i = 0; i < 2*space_dim; i += 2) { const dimension_type ci = i + 1; const N& mat_i_ci = matrix[i][ci]; @@ -2583,7 +2579,6 @@ Octagonal_Shape<T>::tight_closure_assign() { // Tighten the unary constraints. PPL_DIRTY_TEMP(N, temp_one); assign_r(temp_one, 1, ROUND_NOT_NEEDED); - const dimension_type space_dim = space_dimension(); for (dimension_type i = 0; i < 2*space_dim; i += 2) { const dimension_type ci = i + 1; N& mat_i_ci = matrix[i][ci]; @@ -6927,7 +6922,6 @@ Octagonal_Shape<T>::bounded_affine_preimage(const Variable var, template <typename T> Constraint_System Octagonal_Shape<T>::constraints() const { - const dimension_type space_dim = space_dimension(); Constraint_System cs; cs.set_space_dimension(space_dim); @@ -7543,7 +7537,6 @@ Octagonal_Shape<T>::drop_some_non_integer_points(Complexity_Class) { if (std::numeric_limits<T>::is_integer) return; - const dimension_type space_dim = space_dimension(); strong_closure_assign(); if (space_dim == 0 || marked_empty()) return;

1 0

[GIT] ppl/ppl(master): Added Prolog_get_nil() and Prolog_put_nil().
by Roberto Bagnara 29 Mar '14

29 Mar '14

Module: ppl/ppl Branch: master Commit: 382be0e6948d88ea54482025a7226f61e26aebde URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=382be0e6948d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Mar 29 11:04:25 2014 +0100 Added Prolog_get_nil() and Prolog_put_nil(). --- interfaces/Prolog/GNU/gprolog_cfli.hh | 25 +++++++++++++++++++++++++ 1 files changed, 25 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/GNU/gprolog_cfli.hh b/interfaces/Prolog/GNU/gprolog_cfli.hh index 2c4c64f..f6bddd1 100644 --- a/interfaces/Prolog/GNU/gprolog_cfli.hh +++ b/interfaces/Prolog/GNU/gprolog_cfli.hh @@ -252,6 +252,16 @@ Prolog_construct_cons(Prolog_term_ref& c, } /*! + Assign to \p t the list terminator <CODE>[]</CODE> (which needs not + be an atom). +*/ +inline int +Prolog_put_nil(Prolog_term_ref& t) { + t = Mk_Atom(atom_nil); + return 1; +} + +/*! Assign to \p t a term representing the address contained in \p p. */ inline int @@ -432,6 +442,21 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref& a) { } /*! + Succeeds if and only if \p t represents the list terminator <CODE>[]</CODE> + (which needs not be an atom). +*/ +inline int +Prolog_get_nil(Prolog_term_ref t) { + if (Blt_Atom(t) == FALSE) { + return 0; + } + else { + int a = atom_nil; + return Rd_Atom_Check(t) == a; + } +} + +/*! If \p c is a Prolog cons (list constructor), assign its head and tail to \p h and \p t, respectively. The behavior is undefined if \p c is not a Prolog cons.

1 0

[GIT] ppl/ppl(master): Added Prolog_get_nil() and Prolog_put_nil().
by Roberto Bagnara 29 Mar '14

29 Mar '14

Module: ppl/ppl Branch: master Commit: 2e5601a314b73d6f66821ed753d604f6fccc62d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e5601a314b7… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Mar 29 10:26:51 2014 +0100 Added Prolog_get_nil() and Prolog_put_nil(). --- interfaces/Prolog/YAP/yap_cfli.hh | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/YAP/yap_cfli.hh b/interfaces/Prolog/YAP/yap_cfli.hh index f04aa4c..d8428e0 100644 --- a/interfaces/Prolog/YAP/yap_cfli.hh +++ b/interfaces/Prolog/YAP/yap_cfli.hh @@ -86,6 +86,16 @@ Prolog_put_ulong(Prolog_term_ref& t, unsigned long ul) { } /*! + Assign to \p t the list terminator <CODE>[]</CODE> (which needs not + be an atom). +*/ +inline int +Prolog_put_nil(Prolog_term_ref& t) { + t = YAP_TermNil(); + return 1; +} + +/*! Assign to \p t an atom whose name is given by the null-terminated string \p s. */ @@ -325,6 +335,15 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref& a) { } /*! + Succeeds if and only if \p t represents the list terminator <CODE>[]</CODE> + (which needs not be an atom). +*/ +inline int +Prolog_get_nil(Prolog_term_ref t) { + return YAP_IsTermNil(t); +} + +/*! If \p c is a Prolog cons (list constructor), assign its head and tail to \p h and \p t, respectively. The behavior is undefined if \p c is not a Prolog cons.

1 0

[GIT] ppl/ppl(master): Added Prolog_get_nil() and Prolog_put_nil().
by Roberto Bagnara 29 Mar '14

29 Mar '14

Module: ppl/ppl Branch: master Commit: e24eb663ed59187529cabc314f77c2623af08c16 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e24eb663ed59… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Mar 29 10:20:25 2014 +0100 Added Prolog_get_nil() and Prolog_put_nil(). --- interfaces/Prolog/XSB/xsb_cfli.hh | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/XSB/xsb_cfli.hh b/interfaces/Prolog/XSB/xsb_cfli.hh index 4032f06..1acdb52 100644 --- a/interfaces/Prolog/XSB/xsb_cfli.hh +++ b/interfaces/Prolog/XSB/xsb_cfli.hh @@ -93,6 +93,16 @@ Prolog_put_ulong(Prolog_term_ref& t, unsigned long ul) { } /*! + Assign to \p t the list terminator <CODE>[]</CODE> (which needs not + be an atom). +*/ +inline int +Prolog_put_nil(Prolog_term_ref& t) { + assert(is_var(t) == TRUE); + return c2p_nil(t) != FALSE; +} + +/*! Assign to \p t an atom whose name is given by the null-terminated string \p s. */ @@ -325,6 +335,15 @@ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref& a) { } /*! + Succeeds if and only if \p t represents the list terminator <CODE>[]</CODE> + (which needs not be an atom). +*/ +inline int +Prolog_get_nil(Prolog_term_ref t) { + return is_nil(t) != FALSE; +} + +/*! If \p c is a Prolog cons (list constructor), assign its head and tail to \p h and \p t, respectively. The behavior is undefined if \p c is not a Prolog cons.

1 0

[GIT] ppl/ppl(master): Bugs fixed.
by Roberto Bagnara 29 Mar '14

29 Mar '14

Module: ppl/ppl Branch: master Commit: 832e1e5b0c48d89588b4d2c20150473a308e3298 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=832e1e5b0c48… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Mar 29 06:52:57 2014 +0100 Bugs fixed. --- demos/ppl_lcdd/ppl_lcdd.cc | 4 ++-- demos/ppl_pips/ppl_pips.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index ea30809..88202ca 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -224,7 +224,7 @@ std::istream* input_stream_p = 0; void set_input(const char* file_name) { - if (input_stream_p && *input_stream_p != std::cin) + if (input_stream_p && (input_stream_p != &std::cin)) delete input_stream_p; if (file_name) { @@ -250,7 +250,7 @@ std::ostream* output_stream_p = 0; void set_output(const char* file_name) { - if (output_stream_p && *output_stream_p != std::cout) + if (output_stream_p && (output_stream_p != &std::cout)) delete output_stream_p; if (file_name) { diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index eea5bd7..06f20c5 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -538,7 +538,7 @@ std::istream* input_stream_p = 0; void set_input(const char* file_name) { - if (input_stream_p && *input_stream_p != std::cin) + if (input_stream_p && (input_stream_p != &std::cin)) delete input_stream_p; if (file_name) { @@ -558,7 +558,7 @@ std::ostream* output_stream_p = 0; void set_output(const char* file_name) { - if (output_stream_p && *output_stream_p != std::cout) + if (output_stream_p && (output_stream_p != &std::cout)) delete output_stream_p; if (file_name) {

1 0

[GIT] ppl/ppl(master): Solve some compilation issues with clang++ -std= c++11.
by Roberto Bagnara 28 Mar '14

28 Mar '14

Module: ppl/ppl Branch: master Commit: 27bdc4a34adfb90434a3a5a1cb31221d9fd9a7e1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27bdc4a34adf… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Mar 28 22:32:00 2014 +0100 Solve some compilation issues with clang++ -std=c++11. (Thanks to Stefan Schupp.) --- src/checked_mpz_inlines.hh | 5 +++++ src/version.cc | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/src/checked_mpz_inlines.hh b/src/checked_mpz_inlines.hh index dad5085..9deaf74 100644 --- a/src/checked_mpz_inlines.hh +++ b/src/checked_mpz_inlines.hh @@ -51,8 +51,13 @@ round_gt_mpz(mpz_class& to, Rounding_Dir dir) { } #ifdef PPL_HAVE_TYPEOF +#ifdef PPL_HAVE_CXX11 +//! Type of the _mp_size field of GMP's __mpz_struct. +typedef decltype(__mpz_struct()._mp_size) mp_size_field_t; +#else //! Type of the _mp_size field of GMP's __mpz_struct. typedef typeof(__mpz_struct()._mp_size) mp_size_field_t; +#endif #else //! This is assumed to be the type of the _mp_size field of GMP's __mpz_struct. typedef int mp_size_field_t; diff --git a/src/version.cc b/src/version.cc index 3e70ca7..99e7721 100644 --- a/src/version.cc +++ b/src/version.cc @@ -31,7 +31,7 @@ namespace { const char version_string[] = PPL_PACKAGE_VERSION; const char banner_string[] = -"This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n" +"This is " PPL_PACKAGE_NAME " (PPL) version " PPL_PACKAGE_VERSION ".\n" "Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>\n" "Copyright (C) 2010-2014 BUGSENG srl (http://bugseng.com)\n" "\n" @@ -48,12 +48,12 @@ const char banner_string[] = #define xstr(s) str(s) "Compiled by the Intel C++ compiler version "xstr(__INTEL_COMPILER)".\n" #elif defined(__GNUC__) -"Compiled by the GNU C++ compiler version "__VERSION__".\n" +"Compiled by the GNU C++ compiler version " __VERSION__ ".\n" #else "Compiled by an unknown compiler.\n" #endif "\n" -"Report bugs to "PPL_PACKAGE_BUGREPORT"." +"Report bugs to " PPL_PACKAGE_BUGREPORT "." " For the most up-to-date information\n" "see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ .\n" "\n"

1 0

[GIT] ppl/ppl(master): Check whether the C++ compiler supports some basic C++11 features.
by Roberto Bagnara 28 Mar '14

28 Mar '14

Module: ppl/ppl Branch: master Commit: 3b57980822808601f0a4574070d6240967056762 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b5798082280… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Mar 28 22:31:33 2014 +0100 Check whether the C++ compiler supports some basic C++11 features. --- configure.ac | 3 +- m4/ac_check_cxx11.m4 | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++ ppl-config.sed | 1 + 3 files changed, 57 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 26c4a79..9d51bc0 100644 --- a/configure.ac +++ b/configure.ac @@ -280,7 +280,6 @@ int main() { AC_LANG_POP(C++) fi - AC_PROG_FGREP AC_PROG_EGREP AC_PROG_SED @@ -1620,6 +1619,8 @@ then fi fi +# Check if the C++ compiler supports C++11 features. +AC_CHECK_CXX11 AC_SUBST(LIBEXT, [$libext]) AC_SUBST(SHREXT, [$shrext_cmds]) diff --git a/m4/ac_check_cxx11.m4 b/m4/ac_check_cxx11.m4 new file mode 100644 index 0000000..342ed34 --- /dev/null +++ b/m4/ac_check_cxx11.m4 @@ -0,0 +1,54 @@ +dnl A function to check for the existence and usability of GMP. +dnl Copyright (C) 2010-2014 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://bugseng.com/products/ppl/ . + +AC_DEFUN([AC_CHECK_CXX11], +[ +AC_LANG_PUSH(C++) +AC_MSG_CHECKING([if the C++ compiler supports C++11 features]) +AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +template <typename T> +struct check final { + static constexpr T value{ __cplusplus }; +}; + +typedef check<check<bool>> right_angle_brackets; + +int a; +decltype(a) b; + +typedef check<int> check_type; +check_type c{}; +check_type&& cr = static_cast<check_type&&>(c); + +static_assert(check_type::value == 201103L, "C++11 compiler"); +]])], + AC_MSG_RESULT(yes) + ac_cv_check_cxx11=yes, + AC_MSG_RESULT(no) + ac_cv_check_cx11=no + ) +AC_LANG_POP(C++) +if test "$ac_cv_check_cxx11" = yes; then + AC_DEFINE(HAVE_CXX11,, + [Defined if the C++compiler supports C++11 features.]) +fi +]) diff --git a/ppl-config.sed b/ppl-config.sed index 5d6d721..dd94ee3 100644 --- a/ppl-config.sed +++ b/ppl-config.sed @@ -1,3 +1,4 @@ +s/$[^A-Z_]$HAVE_CXX11/\1PPL_HAVE_CXX11/g s/$[^A-Z_]$HAVE_DECL_FFS/\1PPL_HAVE_DECL_FFS/g s/$[^A-Z_]$HAVE_DECL_FMA/\1PPL_HAVE_DECL_FMA/g s/$[^A-Z_]$HAVE_DECL_FMAF/\1PPL_HAVE_DECL_FMAF/g

1 0

Floating Point Constraints in PPL
by Radoslav Ivanov 12 Mar '14

12 Mar '14

Hello, My name is Radoslav Ivanov and I am a PhD student at the PRECISE lab at the University of Pennsylvania. I am trying to perform some polyhedra operations using PPL (in C++). However, I am not sure if it is possible to encode constraints with non-integer values. Can you please tell me if this is possible and if yes, what type I should use? Thanks, Rado

2 2