June 2018 - PPL-devel - BUGSENG Mailman

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