- PPL-devel - BUGSENG Mailman

[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

[GIT] ppl/ppl(master): Get rid of a_nil.
by Abramo Bagnara 26 Feb '14

26 Feb '14

Module: ppl/ppl Branch: master Commit: 9aa6d7e65c929efab0df5e5b52d2b916ff21fdae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9aa6d7e65c92… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Feb 26 17:51:57 2014 +0100 Get rid of a_nil. --- interfaces/Prolog/ppl_prolog_common.cc | 5 ----- interfaces/Prolog/ppl_prolog_common_defs.hh | 3 --- 2 files changed, 0 insertions(+), 8 deletions(-) diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index 673156a..0bcc94a 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -57,9 +57,6 @@ Allocation_Tracker allocation_tracker; // For the out-of-memory exception. Prolog_atom out_of_memory_exception_atom; -// For Prolog lists. -Prolog_atom a_nil; - // For variables. Prolog_atom a_dollar_VAR; @@ -193,8 +190,6 @@ Prolog_atom a_found; Prolog_atom a_where; const Prolog_Interface_Atom prolog_interface_atoms[] = { - { &a_nil, "[]" }, - { &a_dollar_VAR, "$VAR" }, { &a_plus, "+" }, diff --git a/interfaces/Prolog/ppl_prolog_common_defs.hh b/interfaces/Prolog/ppl_prolog_common_defs.hh index d431a3d..cf0f287 100644 --- a/interfaces/Prolog/ppl_prolog_common_defs.hh +++ b/interfaces/Prolog/ppl_prolog_common_defs.hh @@ -324,9 +324,6 @@ public: } }; -// For Prolog lists. -extern Prolog_atom a_nil; - // For variables. extern Prolog_atom a_dollar_VAR;

1 0

Cloning PPL by http
by Adrien Champion 29 Jan '14

29 Jan '14

Hi, I have been using PPL for quite a while now and it's great, thanks for your hard work :) I'm having a problem currently. I want to install PPL on a computer that's behind a proxy, but the command > git clone http://www.cs.unipr.it/git/ppl/ppl.git that you provide on the website does not work. > Uchuu: git clone http://www.cs.unipr.it/git/ppl/ppl.git > Cloning into 'ppl'... > fatal: repository 'http://bugseng.com/products/ppl/ppl.git/' not found I tried with https instead, but then it asks me for a username and a password. So is there anyway I can clone the repo via http? Best regards, -- Adrien Champion, PhD adrien.champion(a)onera.fr adrien.champion(a)null.net http://www.researchgate.net/profile/Adrien_Champion/

1 0

[GIT] ppl/ppl(master): Consistency improved.
by Roberto Bagnara 10 Jan '14

10 Jan '14

Module: ppl/ppl Branch: master Commit: 63483db77fe587311d3fa04608c67b2416a1b108 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63483db77fe5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Jan 10 08:41:15 2014 +0100 Consistency improved. --- doc/ppl_citations.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 2d9f547..528af06 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -308,7 +308,7 @@ Summarizing: Title = "Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems", Booktitle = "Proceedings of the 15th ACM International Conference - on Hybrid Systems: Computation and Control (HSCC '12)", + on Hybrid Systems: Computation and Control (HSCC 2012)", Year = 2012, ISBN = "978-1-4503-1220-2", Address = "Beijing, China", @@ -878,7 +878,7 @@ Summarizing: Author = "M. Benerecetti and M. Faella", Title = "Tracking Differentiable Trajectories Across Polyhedra Boundaries", Booktitle = "Proceedings of the 16th International Conference on - Hybrid Systems: Computation and Control ({HSCC} '13)", + Hybrid Systems: Computation and Control (HSCC 2013)", Year = 2013, ISBN = "978-1-4503-1567-8", Address = "Philadelphia, Pennsylvania, USA",

1 0

[GIT] ppl/ppl(master): Reference added.
by Patricia Hill 09 Jan '14

09 Jan '14

Module: ppl/ppl Branch: master Commit: bc004ae73a4f4008b95f6233088ea1dc300822cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc004ae73a4f… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Thu Jan 9 20:51:44 2014 +0000 Reference added. --- doc/ppl_citations.bib | 22 ++++++++++++++++++++++ 1 files changed, 22 insertions(+), 0 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index f8faf73..2d9f547 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -874,6 +874,28 @@ Summarizing: special PTIME cases." } +@Inproceedings{BenerecettiF13, + Author = "M. Benerecetti and M. Faella", + Title = "Tracking Differentiable Trajectories Across Polyhedra Boundaries", + Booktitle = "Proceedings of the 16th International Conference on + Hybrid Systems: Computation and Control ({HSCC} '13)", + Year = 2013, + ISBN = "978-1-4503-1567-8", + Address = "Philadelphia, Pennsylvania, USA", + Pages = "193--202", + Publisher = "ACM Press", + Abstract = "We analyze the properties of differentiable trajectories + subject to a constant differential inclusion which + constrains the first derivative to belong to a given + convex polyhedron. We present the first exact algorithm + that computes the set of points from which there is a + trajectory that reaches a given polyhedron while avoiding + another (possibly non-convex) polyhedron. We discuss the + connection with (Linear) Hybrid Automata and in + particular the relationship with the classical algorithm + for reachability analysis for Linear Hybrid Automata." +} + @Inproceedings{BerendsenJV10, Author = "J. Berendsen and D. N. Jansen and F. W. Vaandrager", Title = "Fortuna: Model Checking Priced Probabilistic Timed Automata",

1 0