January 2016 - PPL-devel - BUGSENG Mailman

Implementation of convex hull for C_Polyhedron using only constraints
by Tushar Sharma 30 Jan '16

30 Jan '16

Hi all, I am using C_Polyhedron to perform abstract interpretation. The polyhedrons I am dealing with take a lot of time to perform convex hull. The convex hull spends a lot of time in add_and_minimize operation. I was wondering if there is an alternate implementation in PPL 1.1 (or some other unstable version), that performs hull operation using CLP so that I can compare the two implementations. Thanks, Tushar Sharma Graduate Student Computer Sciences University of Wisconsin-Madison

2 1

Octagon Closure on Half Matrix Form
by Markus Kusano 26 Jan '16

26 Jan '16

Hello, After reading a few of the papers on the PPL improvments to the Octagon domain, I have a question on reasoning about the equivalence between the half-matrix and full-matrix strong closure algorithms. Looking at the function `strong_closure_assign()` in `Octagonal_Shape_templates.hh` my understanding is that it computes the strong closure on the triangular (half) matrix twice. So, for each of the k = 0..n steps it visits each cell in the half-matrix twice which is the same as, in the full matrix, visiting each cell and its coherent-cell. Is my understanding correct? I am trying to reason about parallelizing some of the Octagon algorithms. Thanks a bunch, Markus

2 2

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 21 Jan '16

21 Jan '16

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5525b05b000c… Merge: cc65f4c19ad8d6e8005e76605c4dd8f62679c0eb 1a50eab30f191ed0fd9963d4e90a2753d715a6be Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jan 3 15:08:56 2016 +0100 Merge branch 'master' into devel. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc65f4c19ad8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 12:31:01 2015 +0100 Avoid a memory leak due to the global list of dirty temporaries. The memory leak was not causing a real problem, in that the list of dirty temporaries is meant to survive up to the end of the process. However, it could cause a problem if/when the library is extended to become multi-thread safe, since in such a scenario it is meaningful to have a list of dirty temporaries for each thread (to be released on thread exit). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34499fe65376… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 12:18:30 2015 +0100 Avoid a couple of memory leaks in the C interface tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44ae5b13d058… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 26 11:54:30 2015 +0100 Get rid of temporary print previously added for debugging purposes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55f9787ca9c5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 23 13:05:31 2015 +0100 Implemented the quick adjacency check in the conversion procedure. The test allows for significant performce improvements on certain classes of polyhedra (e.g., hypercubes) in that it saves many saturation subset checks. Added preprocessing flags to allow for enabling/disabling the new check (as well as the old quick non-adjacency check). Added new testcase tests/Polyhedron/hypercubes.cc that can be used for a performance comparison. The efficiency benefits can also be appreciated when running the ppl_lcdd demo testsuite. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f45c2558c69e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 16:42:50 2015 +0100 In Java, throw an exception when trying to build a disequality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=673343a9e22e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 12:44:41 2015 +0100 Mention fixed bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7cc92527494… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 12:36:02 2015 +0100 Provide a common, correct implementation for the methods Pointset_Powerset<PSET>::relation_with() working on Constraint and Congruence objects. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbf24268be1c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 12:34:48 2015 +0100 Corrected expected result for test02(). The test shows a bug in current implementation of method Pointset_Powerset<PSET>::relation_with(const Congruence& c) const URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93b1fe4d63f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 12:08:43 2015 +0100 Fixed bug in Pointset_Powerset::relation_with(const Constraint&) const. The bug was causing wrong results for relations strictly_intersects() and saturates() on some inputs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd92d113b4b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 19 11:57:02 2015 +0100 Corrected expected result for test06(). Added a new testcase as test11(). The two tests show a bug in current implementation of method Pointset_Powerset<PSET>::relation_with(const Constraint& c) const

1 0

A Python wrapper for PPL
by Vincent Delecroix 17 Jan '16

17 Jan '16

Dear ppl developers, As I needed it, I isolated the Python wrapper for PPL from the Sage project [1] as a standalone Python package. It can be found here https://github.com/videlec/pplpy https://pypi.python.org/pypi/pplpy/ Any remark or comment is very welcome. Thanks for this very efficient library! All best, Vincent [1] http://sagemath.org

2 1

[GIT] ppl/ppl(devel): Merge branch 'master' into devel.
by Roberto Bagnara 03 Jan '16

03 Jan '16

Module: ppl/ppl Branch: devel Commit: 5525b05b000cfbcff748059f82e86e093c85407f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5525b05b000c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jan 3 15:08:56 2016 +0100 Merge branch 'master' into devel. ---

1 0

[GIT] ppl/ppl(devel): Extended copyright years.
by Roberto Bagnara 03 Jan '16

03 Jan '16

1 0

[GIT] ppl/ppl(devel): Adapted to SWI-Prolog version 7.x.
by Roberto Bagnara 03 Jan '16

03 Jan '16

Module: ppl/ppl Branch: devel Commit: c9b20bc27d2a9931f131b6c3350eadf3c7f33405 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9b20bc27d2a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Nov 24 10:05:32 2015 +0100 Adapted to SWI-Prolog version 7.x. --- interfaces/Prolog/SWI/pl_clpq.pl | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/SWI/pl_clpq.pl b/interfaces/Prolog/SWI/pl_clpq.pl index 3b87de4..ca1854f 100644 --- a/interfaces/Prolog/SWI/pl_clpq.pl +++ b/interfaces/Prolog/SWI/pl_clpq.pl @@ -21,7 +21,8 @@ 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/ . */ -eat_eol. +eat_eol :- + get_code(user_input, _EOL). main :- % FIXME: clearing the prompt as it is done here is a temporary workaround.

1 0

[GIT] ppl/ppl(devel): Warnings avoided.
by Roberto Bagnara 03 Jan '16

03 Jan '16

Module: ppl/ppl Branch: devel Commit: 142a58fa623e5b875efa4bd73f1071688a38f0ed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=142a58fa623e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Nov 24 10:05:15 2015 +0100 Warnings avoided. --- ...face_generator_prolog_generated_test_pl_code.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 index 7b553e3..b2f7c32 100644 --- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 +++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 @@ -947,7 +947,7 @@ ppl_@CLASS@_frequency_6_test :- F_N == F_Nexptd, F_D == F_Dexptd, V_N == V_Nexptd, V_D == V_Dexptd) ; - \+ ppl_@CLASS@_frequency(PS, LE, F_N, F_D, V_N, V_D) + \+ ppl_@CLASS@_frequency(PS, LE, _F_N, _F_D, _V_N, _V_D) ), ppl_@CLASS@_OK(PS), ppl_delete_@CLASS@(PS)

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 03 Jan '16

03 Jan '16

1 0