- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Adapted to g++ -std=c++11.
by Abramo Bagnara 08 May '14

08 May '14

Module: ppl/ppl Branch: master Commit: 886d497f3a818d681025e7e5ca676f2153be8378 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=886d497f3a81… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Thu May 8 16:14:12 2014 +0200 Adapted to g++ -std=c++11. --- src/checked_mpz_inlines.hh | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/checked_mpz_inlines.hh b/src/checked_mpz_inlines.hh index 9deaf74..445010b 100644 --- a/src/checked_mpz_inlines.hh +++ b/src/checked_mpz_inlines.hh @@ -50,14 +50,12 @@ round_gt_mpz(mpz_class& to, Rounding_Dir dir) { return V_GT; } -#ifdef PPL_HAVE_TYPEOF -#ifdef PPL_HAVE_CXX11 +#if __cplusplus >= 201103L //! Type of the _mp_size field of GMP's __mpz_struct. typedef decltype(__mpz_struct()._mp_size) mp_size_field_t; -#else +#elif PPL_HAVE_TYPEOF //! 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;

1 0

[GIT] ppl/ppl(master): Adapted to recent versions of GNU Prolog so as to work on 64-bit machines.
by Roberto Bagnara 29 Apr '14

29 Apr '14

Module: ppl/ppl Branch: master Commit: ae40d8758e92a632c7f80d6de03943e7b4142602 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae40d8758e92… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 29 22:17:43 2014 +0200 Adapted to recent versions of GNU Prolog so as to work on 64-bit machines. --- interfaces/Prolog/GNU/gprolog_efli.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/GNU/gprolog_efli.hh b/interfaces/Prolog/GNU/gprolog_efli.hh index 7199dc8..c5e853e 100644 --- a/interfaces/Prolog/GNU/gprolog_efli.hh +++ b/interfaces/Prolog/GNU/gprolog_efli.hh @@ -45,14 +45,14 @@ extern bool Prolog_has_unbounded_integers; integer value representable by a Prolog integer. Holds zero otherwise. */ -extern long Prolog_min_integer; +extern PlLong Prolog_min_integer; /*! If \p Prolog_has_unbounded_integers is false, holds the maximum integer value representable by a Prolog integer. Holds zero otherwise. */ -extern long Prolog_max_integer; +extern PlLong Prolog_max_integer; /*! Performs system-dependent initialization.

1 0

[GIT] ppl/ppl(master): Added missing inclusions. Use std::ptrdiff_t.
by Roberto Bagnara 29 Apr '14

29 Apr '14

Module: ppl/ppl Branch: master Commit: 61d4e14dfd9f1121e9b4521dead5728b2424dd7c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61d4e14dfd9f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 29 21:51:43 2014 +0200 Added missing inclusions. Use std::ptrdiff_t. (Thanks to Paulo Cesar Pereira de Andrade.) --- src/CO_Tree.cc | 2 +- src/CO_Tree_defs.hh | 5 +++-- src/CO_Tree_inlines.hh | 10 ++++++---- src/Congruence_System_defs.hh | 3 ++- src/Constraint_System_defs.hh | 3 ++- src/Dense_Row_defs.hh | 5 +++-- src/Generator_System_defs.hh | 3 ++- src/Grid_Generator_System_defs.hh | 3 ++- src/Linear_Expression_Interface_defs.hh | 3 ++- src/Linear_Expression_defs.hh | 3 ++- 10 files changed, 25 insertions(+), 15 deletions(-) diff --git a/src/CO_Tree.cc b/src/CO_Tree.cc index d8ef8c8..4f90a76 100644 --- a/src/CO_Tree.cc +++ b/src/CO_Tree.cc @@ -954,7 +954,7 @@ PPL::CO_Tree --subtree_size; } - const ptrdiff_t distance = first_unused_index - indexes; + const std::ptrdiff_t distance = first_unused_index - indexes; PPL_ASSERT(distance >= 0); return static_cast<dimension_type>(distance); } diff --git a/src/CO_Tree_defs.hh b/src/CO_Tree_defs.hh index ec147e7..45d0d8c 100644 --- a/src/CO_Tree_defs.hh +++ b/src/CO_Tree_defs.hh @@ -28,6 +28,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Coefficient_defs.hh" #include <memory> +#include <cstddef> #ifndef PPL_CO_TREE_EXTRA_DEBUG #ifdef PPL_ABI_BREAKING_EXTRA_DEBUG @@ -159,7 +160,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef const data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef data_type_const_reference reference; @@ -314,7 +315,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef data_type value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; diff --git a/src/CO_Tree_inlines.hh b/src/CO_Tree_inlines.hh index aef1105..dd03248 100644 --- a/src/CO_Tree_inlines.hh +++ b/src/CO_Tree_inlines.hh @@ -24,6 +24,8 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_CO_Tree_inlines_hh #define PPL_CO_Tree_inlines_hh 1 +#include <cstddef> + namespace Parma_Polyhedra_Library { inline dimension_type @@ -31,7 +33,7 @@ CO_Tree::dfs_index(const_iterator itr) const { PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast<dimension_type>(index); } @@ -40,7 +42,7 @@ CO_Tree::dfs_index(iterator itr) const { PPL_ASSERT(itr.current_index != 0); PPL_ASSERT(itr.current_index >= indexes + 1); PPL_ASSERT(itr.current_index <= indexes + reserved_size); - const ptrdiff_t index = itr.current_index - indexes; + const std::ptrdiff_t index = itr.current_index - indexes; return static_cast<dimension_type>(index); } @@ -772,7 +774,7 @@ CO_Tree::tree_iterator::follow_left_children_with_value() { p -= (offset - 1); while (*p == unused_index) ++p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast<dimension_type>(distance); offset = least_significant_one_mask(i); @@ -787,7 +789,7 @@ CO_Tree::tree_iterator::follow_right_children_with_value() { p += (offset - 1); while (*p == unused_index) --p; - const ptrdiff_t distance = p - tree.indexes; + const std::ptrdiff_t distance = p - tree.indexes; PPL_ASSERT(distance >= 0); i = static_cast<dimension_type>(distance); offset = least_significant_one_mask(i); diff --git a/src/Congruence_System_defs.hh b/src/Congruence_System_defs.hh index c7e78c5..ca19884 100644 --- a/src/Congruence_System_defs.hh +++ b/src/Congruence_System_defs.hh @@ -33,6 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Congruence_defs.hh" #include "Constraint_System_types.hh" #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -249,7 +250,7 @@ public: class const_iterator : public std::iterator<std::forward_iterator_tag, Congruence, - ptrdiff_t, + std::ptrdiff_t, const Congruence*, const Congruence&> { public: diff --git a/src/Constraint_System_defs.hh b/src/Constraint_System_defs.hh index 7eefddd..69a54fa 100644 --- a/src/Constraint_System_defs.hh +++ b/src/Constraint_System_defs.hh @@ -37,6 +37,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "termination_types.hh" #include <iterator> #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -609,7 +610,7 @@ for (Constraint_System::const_iterator i = cs.begin(), class Parma_Polyhedra_Library::Constraint_System_const_iterator : public std::iterator<std::forward_iterator_tag, Constraint, - ptrdiff_t, + std::ptrdiff_t, const Constraint*, const Constraint&> { public: diff --git a/src/Dense_Row_defs.hh b/src/Dense_Row_defs.hh index 2463efe..a1eb88f 100644 --- a/src/Dense_Row_defs.hh +++ b/src/Dense_Row_defs.hh @@ -33,6 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ #include <memory> #include <vector> #include <limits> +#include <cstddef> #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A finite sequence of coefficients. @@ -433,7 +434,7 @@ public: typedef std::bidirectional_iterator_tag iterator_category; typedef Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef value_type& reference; @@ -474,7 +475,7 @@ class Parma_Polyhedra_Library::Dense_Row::const_iterator { public: typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; diff --git a/src/Generator_System_defs.hh b/src/Generator_System_defs.hh index 152d4f9..1288d87 100644 --- a/src/Generator_System_defs.hh +++ b/src/Generator_System_defs.hh @@ -33,6 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Poly_Con_Relation_defs.hh" #include "Polyhedron_types.hh" #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -679,7 +680,7 @@ copy(gs.begin(), gs.end(), ostream_iterator<Generator>(cout, "\n")); class Parma_Polyhedra_Library::Generator_System_const_iterator : public std::iterator<std::forward_iterator_tag, Generator, - ptrdiff_t, + std::ptrdiff_t, const Generator*, const Generator&> { public: diff --git a/src/Grid_Generator_System_defs.hh b/src/Grid_Generator_System_defs.hh index adc5b8f..25ce6aa 100644 --- a/src/Grid_Generator_System_defs.hh +++ b/src/Grid_Generator_System_defs.hh @@ -31,6 +31,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Variables_Set_types.hh" #include "Polyhedron_types.hh" #include <iosfwd> +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -277,7 +278,7 @@ public: class const_iterator : public std::iterator<std::forward_iterator_tag, Grid_Generator, - ptrdiff_t, + std::ptrdiff_t, const Grid_Generator*, const Grid_Generator&> { public: diff --git a/src/Linear_Expression_Interface_defs.hh b/src/Linear_Expression_Interface_defs.hh index 7b7c4cd..7261927 100644 --- a/src/Linear_Expression_Interface_defs.hh +++ b/src/Linear_Expression_Interface_defs.hh @@ -32,6 +32,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Sparse_Row_types.hh" #include <vector> #include <set> +#include <cstddef> #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A linear expression. @@ -65,7 +66,7 @@ public: public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference; diff --git a/src/Linear_Expression_defs.hh b/src/Linear_Expression_defs.hh index 8e8e271..ecda1ae 100644 --- a/src/Linear_Expression_defs.hh +++ b/src/Linear_Expression_defs.hh @@ -51,6 +51,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "Linear_Expression_Interface_defs.hh" #include "Variable_defs.hh" +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -381,7 +382,7 @@ public: public: typedef std::bidirectional_iterator_tag iterator_category; typedef const Coefficient value_type; - typedef ptrdiff_t difference_type; + typedef std::ptrdiff_t difference_type; typedef value_type* pointer; typedef Coefficient_traits::const_reference reference;

1 0

Use of PPL in multithreade programs?
by giuseppe lipari 17 Apr '14

17 Apr '14

Dear all, is it possible to use the PPL in a multi-threaded program? We are writing a tool for real-time scheduling analysis, and we would like to parallelise the analysis. However, after a few naive tries, the program crashes unpredictably, so I suspect that maybe there is a problem in the library? Thanks in advance for your answer Giuseppe Lipari

2 2

[GIT] ppl/ppl(master): Fixed compilation with SWI Prolog 7.1.13.
by Abramo Bagnara 17 Apr '14

17 Apr '14

Module: ppl/ppl Branch: master Commit: 05629fc2d5870a9f151f8015f91a3fbb73d2c120 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05629fc2d587… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Thu Apr 17 14:09:04 2014 +0200 Fixed compilation with SWI Prolog 7.1.13. --- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 b/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 index 389336e..14fa3cd 100644 --- a/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 +++ b/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 @@ -33,7 +33,7 @@ m4_include(`ppl_interface_generator_copyright')`'dnl #include "../ppl_prolog_domains.hh" -#define PL_EXTENSION_ENTRY(name, arity) { #name, arity, (void*) name, 0 }, +#define PL_EXTENSION_ENTRY(name, arity) { #name, arity, (pl_function_t) name, 0 }, namespace {

1 0

[GIT] ppl/ppl(master): Revert " Create ordinary dynamic library for interfaces, not modules. This means that the extension in darwin is changed from .so to .dylib ( just like for PPL library)."
by Abramo Bagnara 15 Apr '14

15 Apr '14

Module: ppl/ppl Branch: master Commit: 50de4e93a49bc8fe7687d28d01dad6c1b9a1f728 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50de4e93a49b… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Apr 15 10:40:34 2014 +0200 Revert "Create ordinary dynamic library for interfaces, not modules. This means that the extension in darwin is changed from .so to .dylib (just like for PPL library)." This reverts commit faceaf05b260f5d214ae8777499a24fb69cf5c75. --- interfaces/Java/jni/Makefile.am | 2 ++ interfaces/Prolog/Ciao/Makefile.am | 1 + interfaces/Prolog/GNU/Makefile.am | 1 + interfaces/Prolog/SICStus/Makefile.am | 1 + interfaces/Prolog/SWI/Makefile.am | 1 + interfaces/Prolog/XSB/Makefile.am | 1 + interfaces/Prolog/YAP/Makefile.am | 1 + 7 files changed, 8 insertions(+), 0 deletions(-) diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am index 5dc9454..789a633 100644 --- a/interfaces/Java/jni/Makefile.am +++ b/interfaces/Java/jni/Makefile.am @@ -77,6 +77,7 @@ if HOST_OS_MINGW libppl_java_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version \ -Wl,--kill-at @@ -84,6 +85,7 @@ else !HOST_OS_MINGW libppl_java_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version endif !HOST_OS_MINGW diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index 2845ac3..b61c69a 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -158,6 +158,7 @@ libppl_ciao_la_DEPENDENCIES = \ libppl_ciao_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version pkgdata_DATA = ppl_ciao.po diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 9e87d99..d4661f4 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -153,6 +153,7 @@ libppl_gprolog_la_DEPENDENCIES = \ libppl_gprolog_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version ppl_gprolog.pl: $(interface_generator_dependencies) diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index fb4f414..9dba960 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -186,6 +186,7 @@ libppl_sicstus_la_DEPENDENCIES = \ libppl_sicstus_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version ppl_sicstus$(EXEEXT): ppl_sicstus.s.o $(top_builddir)/src/libppl.la diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 013a73e..529aa5c 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -175,6 +175,7 @@ libppl_swiprolog_la_DEPENDENCIES = \ libppl_swiprolog_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version pkgdata_DATA = ppl_swiprolog.pl diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 1e14d72..1f48c74 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -176,6 +176,7 @@ libppl_xsb_la_DEPENDENCIES = \ libppl_xsb_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version pkgdata_DATA = ppl_xsb.xwam diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 39bfd7c..37bee92 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -167,6 +167,7 @@ ppl_yap_la_DEPENDENCIES = \ ppl_yap_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ +-module \ -avoid-version pkgdata_DATA = ppl_yap.pl

1 0

[GIT] ppl/ppl(master): Create ordinary dynamic library for interfaces, not modules. This means that the extension in darwin is changed from . so to .dylib (just like for PPL library).
by Abramo Bagnara 15 Apr '14

15 Apr '14

Module: ppl/ppl Branch: master Commit: faceaf05b260f5d214ae8777499a24fb69cf5c75 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faceaf05b260… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Apr 15 10:05:15 2014 +0200 Create ordinary dynamic library for interfaces, not modules. This means that the extension in darwin is changed from .so to .dylib (just like for PPL library). --- interfaces/Java/jni/Makefile.am | 2 -- interfaces/Prolog/Ciao/Makefile.am | 1 - interfaces/Prolog/GNU/Makefile.am | 1 - interfaces/Prolog/SICStus/Makefile.am | 1 - interfaces/Prolog/SWI/Makefile.am | 1 - interfaces/Prolog/XSB/Makefile.am | 1 - interfaces/Prolog/YAP/Makefile.am | 1 - 7 files changed, 0 insertions(+), 8 deletions(-) diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am index 789a633..5dc9454 100644 --- a/interfaces/Java/jni/Makefile.am +++ b/interfaces/Java/jni/Makefile.am @@ -77,7 +77,6 @@ if HOST_OS_MINGW libppl_java_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version \ -Wl,--kill-at @@ -85,7 +84,6 @@ else !HOST_OS_MINGW libppl_java_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version endif !HOST_OS_MINGW diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index b61c69a..2845ac3 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -158,7 +158,6 @@ libppl_ciao_la_DEPENDENCIES = \ libppl_ciao_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version pkgdata_DATA = ppl_ciao.po diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index d4661f4..9e87d99 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -153,7 +153,6 @@ libppl_gprolog_la_DEPENDENCIES = \ libppl_gprolog_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version ppl_gprolog.pl: $(interface_generator_dependencies) diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index 9dba960..fb4f414 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -186,7 +186,6 @@ libppl_sicstus_la_DEPENDENCIES = \ libppl_sicstus_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version ppl_sicstus$(EXEEXT): ppl_sicstus.s.o $(top_builddir)/src/libppl.la diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 529aa5c..013a73e 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -175,7 +175,6 @@ libppl_swiprolog_la_DEPENDENCIES = \ libppl_swiprolog_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version pkgdata_DATA = ppl_swiprolog.pl diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 1f48c74..1e14d72 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -176,7 +176,6 @@ libppl_xsb_la_DEPENDENCIES = \ libppl_xsb_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version pkgdata_DATA = ppl_xsb.xwam diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 37bee92..39bfd7c 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -167,7 +167,6 @@ ppl_yap_la_DEPENDENCIES = \ ppl_yap_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ --module \ -avoid-version pkgdata_DATA = ppl_yap.pl

1 0

Variable and Polyhedron dimension
by Stefan Schupp 05 Apr '14

05 Apr '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 I am starting to use the PPL for a project dealing with state set representations for hybrid systems. I have a question regarding the dimension of polyhedra and variables. From what I can conclude, each variable can be assigned to a coordinate axis. Suppose I utilize 4 variables with each assigned to a different dimension: Variable a(0); Variable b(1); Variable c(2); Variable d(3); When I construct a polytope with the first two variables, it has a dimension of 2, as intended. When creating the same polytope with other variables (e.g. c and d), I get a dimension > 2 (in this case 4). Is it intended to return the dimension of the variable assigned to the "latest/largest" coordinate axis, although the number of used variables/dimensions might be smaller than the returned value (the polytope still uses only 2 variables)? Best regards, Stefan - -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBCgAGBQJTPslxAAoJEFPSi5GyofDjxdsH/jri+KfYwXgrh1XmG1kxkQX7 pDU9i+V0u7zhttW0Wbsh/wWOOKtBc29JXcWBX3sy8AnYDhWFOyzcp4kJ10M+4wQA OmIKIt3X510YIpcxqzYbohdMzdZ/+3knyf06uzPdB3jQX1BBu9D7Y8AwdB/Mp/Tw Q5FaBmBcV4oXHA7COoYtnxuYyIEcmitUNAovz5/BOEWluM/j43pPd0ChDxBpY+YE A/K/aifiExYJNFFQpSz2G0+1j2ooFWeyM0OQzp1HVL61R1lhuIW8UXyLv8YJd/Kv H85d9ieYnYoEVCw7qNMhdg1jgFmt4NiNkL69Pwwxmau5TgZmbRu/j21W9mC7ymc= =i/vm -----END PGP SIGNATURE-----

2 1

[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