- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): C-style casts avoided.
by Roberto Bagnara 29 Nov '14

29 Nov '14

Module: ppl/ppl Branch: master Commit: 8294c8f657fcf53f773f73c8bf6870fc5db05022 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8294c8f657fc… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Nov 29 14:46:23 2014 +0100 C-style casts avoided. --- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 3 ++- 1 files changed, 2 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 14fa3cd..5680f65 100644 --- a/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 +++ b/interfaces/Prolog/SWI/ppl_interface_generator_swiprolog_cc.m4 @@ -33,7 +33,8 @@ m4_include(`ppl_interface_generator_copyright')`'dnl #include "../ppl_prolog_domains.hh" -#define PL_EXTENSION_ENTRY(name, arity) { #name, arity, (pl_function_t) name, 0 }, +#define PL_EXTENSION_ENTRY(name, arity) \ + { #name, arity, static_cast<pl_function_t>(name), 0 }, namespace {

1 0

[GIT] ppl/ppl(master): Added missing inclusions.
by Roberto Bagnara 29 Nov '14

29 Nov '14

Module: ppl/ppl Branch: master Commit: c025566d39b1d83f95674f08589f543aa0e2295b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c025566d39b1… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Nov 29 13:53:45 2014 +0100 Added missing inclusions. --- .../ppl_interface_generator_prolog_cc_files.m4 | 1 + .../ppl_interface_generator_prolog_hh_files.m4 | 2 ++ 2 files changed, 3 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 index a4916a8..f3baf10 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 @@ -46,6 +46,7 @@ ___BEGIN_OF_FILE___ ppl_prolog_`'m4_current_interface.cc << ___END_OF_FILE___ m4_include(`ppl_interface_generator_copyright')`'dnl */ +`#'include "ppl_prolog_`'m4_current_interface.hh" #include "ppl_prolog_sysdep.hh" #include "ppl_prolog_common_defs.hh" diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 index 2fa952e..38b665d 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_hh_files.m4 @@ -56,6 +56,8 @@ ___BEGIN_OF_FILE___ ppl_prolog_`'m4_current_interface.hh << ___END_OF_FILE___ m4_include(`ppl_interface_generator_copyright')`'dnl */ +`#'include "ppl_prolog_common_defs.hh"`'dnl + m4_undefine(`m4_current_interface')`'dnl ')

1 0

[GIT] ppl/ppl(master): Added missing inclusions.
by Roberto Bagnara 29 Nov '14

29 Nov '14

Module: ppl/ppl Branch: master Commit: aba8336c40239f674f573289d1b3ad58b93c8ff1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aba8336c4023… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Nov 29 10:01:46 2014 +0100 Added missing inclusions. --- src/Makefile.am | 17 ++++++++++------- 1 files changed, 10 insertions(+), 7 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 6112a00..5e71c5b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -596,9 +596,10 @@ BUGS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS $(top_builddir)/utils/text2cxxarray --name=BUGS_array --decl-only \ $(top_srcdir)/BUGS >>$@ @echo "#endif // !defined(PPL_BUGS_hh)" >>$@ -BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS +BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS BUGS.hh + @echo "#include \"BUGS.hh\"" >$@ $(top_builddir)/utils/text2cxxarray --name=BUGS_array \ - $(top_srcdir)/BUGS >$@ + $(top_srcdir)/BUGS >>$@ COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING @echo "#ifndef PPL_COPYING_hh" >$@ @@ -606,19 +607,21 @@ COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING $(top_builddir)/utils/text2cxxarray --name=COPYING_array --decl-only \ $(top_srcdir)/COPYING >>$@ @echo "#endif // !defined(PPL_COPYING_hh)" >>$@ - -COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING +COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING COPYING.hh + @echo "#include \"COPYING.hh\"" >$@ $(top_builddir)/utils/text2cxxarray --name=COPYING_array \ - $(top_srcdir)/COPYING >$@ + $(top_srcdir)/COPYING >>$@ + CREDITS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS @echo "#ifndef PPL_CREDITS_hh" >$@ @echo "#define PPL_CREDITS_hh 1" >>$@ $(top_builddir)/utils/text2cxxarray --name=CREDITS_array --decl-only \ $(top_srcdir)/CREDITS >>$@ @echo "#endif // !defined(PPL_CREDITS_hh)" >>$@ -CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS +CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS CREDITS.hh + @echo "#include \"CREDITS.hh\"" >$@ $(top_builddir)/utils/text2cxxarray --name=CREDITS_array \ - $(top_srcdir)/CREDITS >$@ + $(top_srcdir)/CREDITS >>$@ else !HAVE_PERL

1 0

Floating-point rounding mode
by Tor Myklebust 10 Nov '14

10 Nov '14

Hi, It appears that PPL 1.1 sets the rounding mode to "upward" at startup thanks to it calling ppl_test_rounding() at startup. Is this intentional? It does not appear to be documented. Will anything break if I set the rounding mode back to "nearest" at the start of main()?

2 1

Support for Cartesian Factoring of Polyhedra? thread safe?
by aeflores 10 Nov '14

10 Nov '14

Hello, My name is Antonio Flores-Montoya and I am a PhD student at the Technical University of Darmstadt. I have been using PPL for a while and I have a couple questions concerning its PPL functionality: - In the paper of 2008 describing the parma polyhedra library you mention that you planed to implement the techniques described in "Cartesian factoring of polyhedra in linear relation analysis" I have been looking for it in the documentation but I haven't found anything about it. What is the state of this feature? Implemented, planned? -I tried to use the library from a multi-threaded prolog application. When I do that, I get different kinds of crashes that do not happen with a single-threaded version of the same program. Is PPL thread safe? In case it is, are there any considerations that I should take into account for using PPL from a multi-threaded application? Thanks, Antonio

2 1

[GIT] ppl/ppl(master): Fixed a bug in the implementation of dense rows.
by Roberto Bagnara 04 Nov '14

04 Nov '14

Module: ppl/ppl Branch: master Commit: f4c396b642a8b67f8290ceeda53ddeb114fc34ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4c396b642a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 10:17:38 2014 +0100 Fixed a bug in the implementation of dense rows. (Thanks to Enea Zaffanella.) --- NEWS | 19 +++++++++++++++++++ configure.ac | 2 +- src/Dense_Row.cc | 5 +++-- tests/Polyhedron/sparserow1.cc | 8 ++++++++ 4 files changed, 31 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index db282a4..3ef75d9 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,25 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- +NEWS for version 1.2 (released date to be decided) +-------------------------------------------------------------------------- + +New and Changed Features +======================== + +o TO BE WRITTEN + + + +Bugfixes +======== + +o Fixed a bug in the implementation of dense rows. + +o Portability improved. + + +-------------------------------------------------------------------------- NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- diff --git a/configure.ac b/configure.ac index 2090e62..890d386 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], [1.2pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Dense_Row.cc b/src/Dense_Row.cc index 22b8673..c7adbaf 100644 --- a/src/Dense_Row.cc +++ b/src/Dense_Row.cc @@ -31,10 +31,11 @@ site: http://bugseng.com/products/ppl/ . */ namespace PPL = Parma_Polyhedra_Library; -PPL::Dense_Row::Dense_Row(const Sparse_Row& y, dimension_type sz, dimension_type capacity) { +PPL::Dense_Row::Dense_Row(const Sparse_Row& y, + dimension_type sz, dimension_type capacity) { resize(sz, capacity); for (Sparse_Row::const_iterator i = y.begin(), - i_end = y.lower_bound(sz); i != i_end; ++i) { + i_end = y.lower_bound(std::min(y.size(), sz)); i != i_end; ++i) { (*this)[i.index()] = *i; } PPL_ASSERT(OK()); diff --git a/tests/Polyhedron/sparserow1.cc b/tests/Polyhedron/sparserow1.cc index 8cea98c..0ed85b5 100644 --- a/tests/Polyhedron/sparserow1.cc +++ b/tests/Polyhedron/sparserow1.cc @@ -598,6 +598,13 @@ test09() { return true; } +bool +test10() { + Sparse_Row sparse(2); + Dense_Row dense(sparse, 8, 8); + return true; +} + } // namespace BEGIN_MAIN @@ -610,6 +617,7 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); + DO_TEST(test10); END_MAIN #else // !PPL_USE_SPARSE_MATRIX

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 19 Oct '14

19 Oct '14

1 0

PPL and SWI-Prolog >= 7.1.x?
by Fred Mesnard 11 Oct '14

11 Oct '14

Hi there, does PPL work with SWI-Prolog >= 7.1.x? Thanks in advance, Fred

2 4

Scopri come puoi dimagrire 3 kg al mese senza andare in palestra
by Paolo 07 Oct '14

07 Oct '14

Hai troppi chili, e ogni giorno vi mette a disagio? Ora si può perdere peso in modo naturale al 100% con il minimo sforzo Per più informazioni su come perdere peso naturalmente CLICCA QUI! ==> http://click.pieremail.info/nidora.html unsubscribe : http://click.pieremail.info/index.php?a=3&b=1243124&c=4364634

1 0

[GIT] ppl/ppl(master): No need to depend on PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK for auto initialization .
by Roberto Bagnara 01 Oct '14

01 Oct '14

Module: ppl/ppl Branch: master Commit: e7717fe6c534874f4eb8752718c8e56c24736c1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7717fe6c534… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 1 13:55:27 2014 +0200 No need to depend on PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK for auto initialization. (Thanks to Keith Clifford.) --- demos/ppl_lcdd/ppl_lcdd.cc | 6 ------ demos/ppl_lpsol/ppl_lpsol.c | 6 ------ demos/ppl_pips/ppl_pips.cc | 6 ------ src/Init.cc | 7 +------ src/set_GMP_memory_alloc_funcs.cc | 7 +------ tests/Polyhedron/memory1.cc | 17 ----------------- 6 files changed, 2 insertions(+), 47 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 07ca09e..d4465b6 100755 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -45,12 +45,6 @@ namespace PPL = Parma_Polyhedra_Library; typedef PPL::C_Polyhedron POLYHEDRON_TYPE; -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -extern "C" void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #elif defined(USE_POLKA) #include <ppl-config.h> diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index c0f10ef..52d1cce 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -1313,12 +1313,6 @@ error_handler(enum ppl_enum_error_code code, fatal("PPL error code %d: %s", code, description); } -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #if defined(NDEBUG) #if !(defined(PPL_GLPK_HAS_GLP_TERM_OUT) && defined(GLP_OFF)) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 2ab9dc3..1259d80 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -41,12 +41,6 @@ namespace PPL = Parma_Polyhedra_Library; typedef PPL::C_Polyhedron POLYHEDRON_TYPE; -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -extern "C" void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #elif defined(USE_PIPLIB) #error "PipLib not supported yet" diff --git a/src/Init.cc b/src/Init.cc index 0daaab0..1b6bc2b 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -48,12 +48,7 @@ unsigned int PPL::Init::count = 0; PPL::fpu_rounding_direction_type PPL::Init::old_rounding_direction; extern "C" void -ppl_set_GMP_memory_allocation_functions(void) -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - __attribute__((weak)); -#else - ; -#endif +ppl_set_GMP_memory_allocation_functions(void); #if PPL_CAN_CONTROL_FPU \ && defined(PPL_ARM_CAN_CONTROL_FPU) && PPL_ARM_CAN_CONTROL_FPU diff --git a/src/set_GMP_memory_alloc_funcs.cc b/src/set_GMP_memory_alloc_funcs.cc index 5e696a1..ddb826f 100644 --- a/src/set_GMP_memory_alloc_funcs.cc +++ b/src/set_GMP_memory_alloc_funcs.cc @@ -24,13 +24,8 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" extern "C" void -ppl_set_GMP_memory_allocation_functions(void) -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - __attribute__((weak)); +ppl_set_GMP_memory_allocation_functions(void); void ppl_set_GMP_memory_allocation_functions(void) { } -#else - ; -#endif diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index c3e59ff..f49e5f0 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -21,9 +21,6 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ . */ -// Note: we cannot know, at this stage whether -// PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK evaluates to true. -#define PPL_NO_AUTOMATIC_INITIALIZATION #include "ppl_test.hh" #include <new> #include <cstring> @@ -162,23 +159,13 @@ cxx_free(void* p, size_t) { #define INIT_MEMORY 3*1024*1024 -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK extern "C" void ppl_set_GMP_memory_allocation_functions(void) { mp_set_memory_functions(cxx_malloc, cxx_realloc, cxx_free); } -#endif // PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK int main() TRY { -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - mp_set_memory_functions(cxx_malloc, cxx_realloc, cxx_free); -#endif // !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - - // Note: we have included <ppl.hh> under the definition of - // PPL_NO_AUTOMATIC_INITIALIZATION. - Parma_Polyhedra_Library::initialize(); - set_handlers(); // Find a dimension that cannot be computed with INIT_MEMORY bytes. @@ -209,10 +196,6 @@ main() TRY { nout << "Estimated memory for dimension " << dimension << ": " << (lower_bound+upper_bound)/2 << " bytes" << endl; - // Note: we have included <ppl.hh> under the definition of - // PPL_NO_AUTOMATIC_INITIALIZATION. - Parma_Polyhedra_Library::finalize(); - return 0; } CATCH

1 0