- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Nov '18

06 Nov '18

Module: ppl/ppl Branch: master Commit: f9598fe1635cf3b8f964425ba0aba4a3bd2d496b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9598fe1635c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Nov 6 14:08:58 2018 +0100 Updated. --- config.guess | 749 +++++++++--------- config.sub | 2515 +++++++++++++++++++++++++++++----------------------------- 2 files changed, 1638 insertions(+), 1626 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f9598fe1…

1 0

Fwd: Re: Issue regarding Java Interface
by Stefan Pranger 02 Aug '18

02 Aug '18

Hello, I'm currently trying to install ppl with a java interface, which I need to prism-games. I am following their install instructions. So far I have tried to install ppl which I have downloaded from here: http://www.bugseng.com/ppl-download To install ppl I ran: ./configure --enable-interfaces=java make sudo make install As I have written in my first mail I am expecting a .jar file in a subfolder in /usr/local/lib, which I do not have. I have attached the output that the three commands produce. Configure tells me that it can't find any java version. Could it be that ./configure does not recognize my java version? I would really appreciate your help! with best regards, Pranger Stefan -------- Forwarded Message -------- Subject: Re: Issue regarding Java Interface Date: Wed, 1 Aug 2018 16:49:25 +0200 From: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Organization: BUGSENG srl To: Stefan Pranger <stefan.pranger(a)student.tugraz.at> CC: support(a)bugseng.com Hi there. I guess you are using the free version, right? support(a)bugseng.com is for commercial support. Please direct your query to ppl-devel(a)cs.unipr.it . I suggest you include a complete typescript in your message, along with the version of PPL you are trying to build. Kind regards, Roberto Bagnara -- Roberto Bagnara, Ph.D. CEO/CTO, BUGSENG (http://bugseng.com) Member, ISO/IEC JTC1/SC22/WG14 - C Standardization Working Group Member, MISRA C Working Group Mobile: +39 339 8593517 On 08/01/2018 03:38 PM, Stefan Pranger wrote: > Hello, > > I'm currently trying to install ppl with a java interface on my ubuntu 16.04 machine. > > I've downloaded the zip-version of ppl from http://www.bugseng.com/ppl-download and installed it via: > ./configure --enable-interfaces=java > make > sudo make install > > since I passed the enable java interface flag I'm expecting libppl.so in /usr/local/lib as well as a subfolder containing ppl_java.jar and libppl_java.so. The last two are missing. > > When running ./configure the checks for java all return no, which does concern me, since I have java installed: > > java version "1.8.0_181" > Java(TM) SE Runtime Environment (build 1.8.0_181-b13) > Java HotSpot(TM) 64-Bit Server VM (build 25.181-b13, mixed mode) > > I'm going to need ppl for prism-games (https://www.prismmodelchecker.org/games/installation.php) and I followed their installation guide. > > I appreciate any further help. > > > with the best regards > Stefan Pranger >

1 1

Feature request: Access to saturation matrices
by Lovis Anderson 27 Jun '18

27 Jun '18

Hello, thank you for your great library. I'm using it a lot. I have a question respectively a feature request: Is there any way to get the facet-vertex incidence structure? I have found out that ppl internally computes it and saves it in the private class members 1. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_c 2. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_g It would be great to be able to access them. Thanks in advance Lovis Anderson

2 1

[GIT] ppl/ppl(master): Fixed bug recently uncovered in method relation_with ().
by Enea Zaffanella 19 Jun '18

19 Jun '18

Module: ppl/ppl Branch: master Commit: 35fa98086b2d5c0b4711b518a2cf8e4b2c995731 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35fa98086b2d… Author: Enea Zaffanella <enea.zaffanella(a)unipr.it> Date: Tue Jun 19 09:58:47 2018 +0200 Fixed bug recently uncovered in method relation_with(). --- src/Polyhedron_public.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 883e958..930fba4 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -259,7 +259,7 @@ PPL::Polyhedron::relation_with(const Generator& g) const { } // The empty polyhedron cannot subsume a generator. - if (marked_empty()) { + if (is_empty()) { return Poly_Gen_Relation::nothing(); }

1 0

[GIT] ppl/ppl(master): Fixed the expected result for test12:
by Enea Zaffanella 19 Jun '18

19 Jun '18

Module: ppl/ppl Branch: master Commit: 38fbbed4f7cdf34c032e7647419b5217aacce3b6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38fbbed4f7cd… Author: Enea Zaffanella <enea.zaffanella(a)unipr.it> Date: Tue Jun 19 09:53:15 2018 +0200 Fixed the expected result for test12: a generator can not be subsumed by an empty polyhedron. This fix uncovers a bug in the current implementation of method Polyhedron::relation_with(const Generator&) const; The bug was noted while developing the PPLite library. --- tests/Polyhedron/relations3.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/relations3.cc b/tests/Polyhedron/relations3.cc index ef63dbc..f799afb 100644 --- a/tests/Polyhedron/relations3.cc +++ b/tests/Polyhedron/relations3.cc @@ -295,7 +295,7 @@ test12() { print_constraints(ph, "*** ph ***"); nout << "ph.relation_with(line(C)) == " << rel << endl; - Poly_Gen_Relation known_result = Poly_Gen_Relation::subsumes(); + Poly_Gen_Relation known_result = Poly_Gen_Relation::nothing(); return rel == known_result; }

1 0

[GIT] ppl/ppl(master): Use --dump-runtime-variables.
by Abramo Bagnara 18 Jun '18

18 Jun '18

Module: ppl/ppl Branch: master Commit: 35be89c9828198f1ab84cd52ce5f99b3bcb4cf1f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35be89c98281… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Mon Jun 18 20:22:31 2018 +0200 Use --dump-runtime-variables. --- m4/ac_check_swi_prolog.m4 | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/m4/ac_check_swi_prolog.m4 b/m4/ac_check_swi_prolog.m4 index d720f86..2bb7462 100644 --- a/m4/ac_check_swi_prolog.m4 +++ b/m4/ac_check_swi_prolog.m4 @@ -45,11 +45,11 @@ then fi if test x$swi_prolog != x then - swi_prolog_base=`$swi_prolog -dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="$[[a-z]]:$\{0,1\}$.*$";.*/\2/'` - swi_prolog_version=`$swi_prolog -dump-runtime-variables | grep PLVERSION= | sed 's/PLVERSION="$.*$";.*/\1/'` - swi_prolog_arch=`$swi_prolog -dump-runtime-variables | grep PLARCH= | sed 's/PLARCH="$.*$";.*/\1/'` - swi_prolog_libs=`$swi_prolog -dump-runtime-variables | grep PLLIBS= | sed 's/PLLIBS="$.*$";.*/\1/'` - swi_prolog_lib=`$swi_prolog -dump-runtime-variables | grep PLLIB= | sed 's/PLLIB="$.*$";.*/\1/'` + swi_prolog_base=`$swi_prolog --dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="$[[a-z]]:$\{0,1\}$.*$";.*/\2/'` + swi_prolog_version=`$swi_prolog --dump-runtime-variables | grep PLVERSION= | sed 's/PLVERSION="$.*$";.*/\1/'` + swi_prolog_arch=`$swi_prolog --dump-runtime-variables | grep PLARCH= | sed 's/PLARCH="$.*$";.*/\1/'` + swi_prolog_libs=`$swi_prolog --dump-runtime-variables | grep PLLIBS= | sed 's/PLLIBS="$.*$";.*/\1/'` + swi_prolog_lib=`$swi_prolog --dump-runtime-variables | grep PLLIB= | sed 's/PLLIB="$.*$";.*/\1/'` dnl Additional version checks could be inserted here, if necessary.

1 0

documentation and paper links
by Wegscheider 04 May '18

04 May '18

Hi ppl-team, it seems like most links to documentation or paper files for ppl on your website just link back to the homepage. Is this intended? Best regards Fabian Wegscheider

2 1

[GIT] ppl/ppl(master): Disable Kpathsea case-insensitive filename matching.
by Roberto Bagnara 04 May '18

04 May '18

Module: ppl/ppl Branch: master Commit: addd0535f36e4a2734b9b5321e2e0ad398c5e20c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=addd0535f36e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri May 4 09:26:25 2018 +0200 Disable Kpathsea case-insensitive filename matching. Case-insensitive filename matching is done by default in non-system directories starting from TeX Live 2018. --- doc/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 3daf9cc..ffc3c12 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -866,7 +866,7 @@ devref-configured-ocaml-interface.latex-dir \ user-configured-java-interface.latex-dir \ devref-configured-java-interface.latex-dir -TEX_ENV = TEXINPUTS=$(abs_srcdir):$(TEXINPUTS) +TEX_ENV = TEXINPUTS=$(abs_srcdir):$(TEXINPUTS) texmf_casefold_search=0 .SECONDARY: $(LATEX_DIRS)

1 0

clang compilation error (ppl 1.1)
by Vincent Delecroix 17 Apr '18

17 Apr '18

Dear ppl developers, In the frame of our python wrapper pplpy [1] that I already reported on that list, I am facing compilation errors with clang and ppl 1.1 (on a Ubutun trusty distribution). More precisely, the error is {{{ In file included from ppl/linear_algebra.cpp:609: /usr/include/x86_64-linux-gnu/ppl.hh:65043:8: error: missing 'typename' prior to dependent type template name 'OR_Matrix<T>::Pseudo_Row' inline OR_Matrix<T>::Pseudo_Row<U>& ^ /usr/include/x86_64-linux-gnu/ppl.hh:97929:1: error: missing 'typename' prior to dependent type template name 'Determinate<PSET>::Binary_Operator_Assign_Lifter' Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign> ^ 1 warning and 2 errors generated. error: command 'clang' failed with exit status 1 }}} Note that the same file `linear_algebra.cpp` compiles cleanly with gcc. The full logs can be found at [2]. Any help would be appreciated. Best, Vincent [1] https://github.com/videlec/pplpy [2] https://travis-ci.org/videlec/pplpy/builds/367111806

2 1

[GIT] ppl/ppl(master): Revert " Better support for dynamically-loadable modules."
by Roberto Bagnara 28 Mar '18

28 Mar '18

Module: ppl/ppl Branch: master Commit: 5f4acc5462c8c60fd216c0a98ae6b724ea12872a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f4acc5462c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 28 08:20:46 2018 +0200 Revert "Better support for dynamically-loadable modules." This reverts commit bc7ffae942e400c282f1e3abd06db6aa5d434035. --- configure.ac | 8 -------- interfaces/Java/jni/Makefile.am | 5 ----- interfaces/Prolog/Ciao/Makefile.am | 3 --- interfaces/Prolog/GNU/Makefile.am | 3 --- interfaces/Prolog/SICStus/Makefile.am | 3 --- interfaces/Prolog/SWI/Makefile.am | 3 --- interfaces/Prolog/XSB/Makefile.am | 3 --- interfaces/Prolog/YAP/Makefile.am | 3 --- 8 files changed, 0 insertions(+), 31 deletions(-) diff --git a/configure.ac b/configure.ac index 6d62c66..39e02af 100644 --- a/configure.ac +++ b/configure.ac @@ -1281,13 +1281,6 @@ fi AM_CONDITIONAL(BUILD_YAP_PROLOG_INTERFACE, test x$build_yap_prolog_interface = xyes) -# Allow extra Libtool flags (typically to set the rpath) for linking -# dynamically-loadable modules. -AC_ARG_WITH(module-flags, - AS_HELP_STRING([--with-module-flags=XXX], - [add XXX to the linking options for dynamically-loadable modules]), - module_flags="$with_module_flags") - # Test if some Prolog interfaces have to be built. if test x$build_ciao_prolog_interface = xyes \ || test x$build_gnu_prolog_interface = xyes \ @@ -1671,7 +1664,6 @@ AC_SUBST(required_instantiations_ocaml_cxx_headers) AC_SUBST(required_instantiations_ocaml_cxx_sources) AC_SUBST(required_instantiations_ocaml_cxx_objects) AC_SUBST(mlgmp_dir) -AC_SUBST(module_flags) AC_CONFIG_FILES(Makefile ppl.lsm diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am index 0bd5d33..0b0704d 100644 --- a/interfaces/Java/jni/Makefile.am +++ b/interfaces/Java/jni/Makefile.am @@ -64,12 +64,9 @@ NO_UNDEFINED_FLAG = -no-undefined endif NO_UNDEFINED -MODULE_FLAGS = @module_flags@ - if HOST_OS_DARWIN libppl_java_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -avoid-version \ -shrext .jnilib @@ -79,7 +76,6 @@ else !HOST_OS_DARWIN if HOST_OS_MINGW libppl_java_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version \ @@ -88,7 +84,6 @@ $(NO_UNDEFINED_FLAG) \ else !HOST_OS_MINGW libppl_java_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index 6e91715..561c439 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -156,10 +156,7 @@ $(top_builddir)/src/libppl.la \ libppl_ciao_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - libppl_ciao_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 07d178d..4aef5cd 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -151,10 +151,7 @@ $(top_builddir)/src/libppl.la \ libppl_gprolog_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - libppl_gprolog_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index 2c8030a..2cc9061 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -184,10 +184,7 @@ $(top_builddir)/src/libppl.la \ libppl_sicstus_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - libppl_sicstus_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 18e7fbf..dcb8954 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -178,10 +178,7 @@ $(SWI_PROLOG_LD_OPTIONS) libppl_swiprolog_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - libppl_swiprolog_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 7ac1c79..ddce881 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -174,10 +174,7 @@ $(top_builddir)/src/libppl.la \ libppl_xsb_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - libppl_xsb_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 6b5f724..85dbc2a 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -165,10 +165,7 @@ $(top_builddir)/src/libppl.la \ ppl_yap_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ -MODULE_FLAGS = @module_flags@ - ppl_yap_la_LDFLAGS = \ -$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version

1 0