- PPL-devel - BUGSENG Mailman

having problem with cygppl_java.dll
by Azlan Ismail 24 Nov '15

24 Nov '15

Hello, For your info, I am referring to cygwin environment. Actually, I need some advice on this problem. I have generated the file based on the following: --> ./configure --enable-interfaces=java --> make --> make install The files generated: cygwin>usr>lib>ppl> -cygppl_java.dll -libppl_java.dll.a -libppl_java.la -ppl_java.jar When I try to load (System.loadLibrary()) the library via eclipse, I got this exception: "java.lang.UnsatisfiedLinkError: C:\cygwin\usr\local\lib\ppl\cygppl_java.dll: The file or directory is corrupted and unreadable" I have reinstalled a few times, but still receiving the same exception. I did try loading a different kind of dll, namely, cygwin1.dll, and it was ok. Any advice is appreciated. Thanks. Azlan

1 0

Re: [PPL-devel] Bug#787486: ppl: FTBFS with swi-prolog 7.x
by Roberto Bagnara 24 Nov '15

24 Nov '15

On 11/23/2015 07:45 PM, Tobias Frost wrote: > it seems that this error is now gone... > > However, it now crashes later during the testsuite. > > (Log attached; Note that I also built it in a pbuilder enviorment with > the same result) We have tried to reproduce the problem without success. Anyway, to accommodate SWI-Prolog version 7.x the attached patches should be applied. Please mail ppl-devel(a)cs.unipr.it if you have further details to allow us reproduce the problem. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/ppl(master): Adapted to SWI-Prolog version 7.x.
by Roberto Bagnara 24 Nov '15

24 Nov '15

Module: ppl/ppl Branch: master 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(master): Warnings avoided.
by Roberto Bagnara 24 Nov '15

24 Nov '15

Module: ppl/ppl Branch: master 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

Fwd: Bug#787486: ppl: FTBFS with swi-prolog 7.x
by Roberto Bagnara 24 Nov '15

24 Nov '15

-------- Forwarded Message -------- Subject: Bug#787486: ppl: FTBFS with swi-prolog 7.x Resent-Date: Mon, 23 Nov 2015 18:48:01 +0000 Resent-From: Tobias Frost <tobi(a)debian.org> Resent-To: debian-bugs-dist(a)lists.debian.org Resent-CC: Michael Tautschnig <mt(a)debian.org> Date: Mon, 23 Nov 2015 19:45:19 +0100 From: Tobias Frost <tobi(a)debian.org> Reply-To: Tobias Frost <tobi(a)debian.org>, 787486(a)bugs.debian.org To: 787486(a)bugs.debian.org Hi, it seems that this error is now gone... However, it now crashes later during the testsuite. (Log attached; Note that I also built it in a pbuilder enviorment with the same result) -- tobi

1 0

[GIT] ppl/ppl(devel): Implemented the quick adjacency check in the conversion procedure.
by Enea Zaffanella 23 Nov '15

23 Nov '15

Module: ppl/ppl Branch: devel Commit: 55f9787ca9c51212ddcf34541d102a11652be9f9 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. --- src/Polyhedron_conversion_templates.hh | 638 ++++++++++++++++++-------------- tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/hypercubes.cc | 35 ++ 3 files changed, 402 insertions(+), 274 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=55f9787c…

1 0

[GIT] ppl/ppl(devel): In Java, throw an exception when trying to build a disequality.
by Enea Zaffanella 19 Nov '15

19 Nov '15

Module: ppl/ppl Branch: devel Commit: f45c2558c69e3e906ac214b9f33c10813250d664 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. --- .../Java/parma_polyhedra_library/Constraint.java | 2 + .../Java/tests/Parma_Polyhedra_Library_test2.java | 22 ++++++++++++++++++++ 2 files changed, 24 insertions(+), 0 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Constraint.java b/interfaces/Java/parma_polyhedra_library/Constraint.java index fbcc9c6..9df78c5 100644 --- a/interfaces/Java/parma_polyhedra_library/Constraint.java +++ b/interfaces/Java/parma_polyhedra_library/Constraint.java @@ -47,6 +47,8 @@ public class Constraint { */ public Constraint(Linear_Expression le1, Relation_Symbol rel_sym, Linear_Expression le2) { + if (rel_sym == Relation_Symbol.NOT_EQUAL) + throw new Invalid_Argument_Exception("Invalid relation symbol"); lhs = le1.clone(); rhs = le2.clone(); kind = rel_sym; diff --git a/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java b/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java index 6e11183..a040e16 100644 --- a/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java +++ b/interfaces/Java/tests/Parma_Polyhedra_Library_test2.java @@ -51,6 +51,28 @@ public class Parma_Polyhedra_Library_test2 { max_dimension); } + public static boolean test03() { + Linear_Expression_Variable le_a + = new Linear_Expression_Variable(new Variable(0)); + Linear_Expression le_zero + = new Linear_Expression_Coefficient(new Coefficient("0")); + try { + Constraint c = new Constraint(le_a, + Relation_Symbol.NOT_EQUAL, + le_zero); + } + catch (Invalid_Argument_Exception e) { + PPL_Test.println_if_noisy("Expected invalid argument exception" + + " caught!"); + PPL_Test.println_if_noisy(e.getMessage()); + return true; + } + PPL_Test.println_if_noisy("Expected invalid argument exception" + + " NOT caught!"); + return false; + } + + public static void main(String[] args) { Parma_Polyhedra_Library.initialize_library(); boolean test_result_ok =

1 0

[GIT] ppl/ppl(devel): Mention fixed bug.
by Enea Zaffanella 19 Nov '15

19 Nov '15

Module: ppl/ppl Branch: devel Commit: 673343a9e22e99f6ecb9e1bdb2c733369047d9fc 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. --- NEWS | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index ea2858f..e4f862f 100644 --- a/NEWS +++ b/NEWS @@ -22,6 +22,13 @@ o TO BE WRITTEN Bugfixes ======== +o Fixed a bug in the implementation of methods + Pointset_Powerset<PSET>::relation_with(const Constraint&) const; + and + Pointset_Powerset<PSET>::relation_with(const Congruence&) const; + whereby the computed result for relations strictly_intersects() + and saturates() could have been wrong. + o Fixed a bug in the implementation of dense rows. o Portability improved.

1 0

[GIT] ppl/ppl(devel): Provide a common, correct implementation for the methods
by Enea Zaffanella 19 Nov '15

19 Nov '15

Module: ppl/ppl Branch: devel Commit: e7cc925274945a76599d9601a24e001adfc534a1 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. --- src/Pointset_Powerset_defs.hh | 7 ++++ src/Pointset_Powerset_inlines.hh | 12 ++++++++ src/Pointset_Powerset_templates.hh | 56 +---------------------------------- 3 files changed, 21 insertions(+), 54 deletions(-) diff --git a/src/Pointset_Powerset_defs.hh b/src/Pointset_Powerset_defs.hh index 32615fb..6d4e321 100644 --- a/src/Pointset_Powerset_defs.hh +++ b/src/Pointset_Powerset_defs.hh @@ -1294,6 +1294,13 @@ private: typename Cert::Compare>& y_cert_ms) const; + /*! \brief + Template helper: common implementation for constraints + and congruences. + */ + template <typename Cons_or_Congr> + Poly_Con_Relation relation_with_aux(const Cons_or_Congr& c) const; + // FIXME: here it should be enough to befriend the template constructor // template <typename QH> // Pointset_Powerset(const Pointset_Powerset<QH>&), diff --git a/src/Pointset_Powerset_inlines.hh b/src/Pointset_Powerset_inlines.hh index 460999e..54b03da 100644 --- a/src/Pointset_Powerset_inlines.hh +++ b/src/Pointset_Powerset_inlines.hh @@ -233,6 +233,18 @@ Pointset_Powerset<PSET>::time_elapse_assign(const Pointset_Powerset& y) { } template <typename PSET> +inline Poly_Con_Relation +Pointset_Powerset<PSET>::relation_with(const Constraint& c) const { + return relation_with_aux(c); +} + +template <typename PSET> +inline Poly_Con_Relation +Pointset_Powerset<PSET>::relation_with(const Congruence& cg) const { + return relation_with_aux(cg); +} + +template <typename PSET> inline bool Pointset_Powerset<PSET> ::geometrically_covers(const Pointset_Powerset& y) const { diff --git a/src/Pointset_Powerset_templates.hh b/src/Pointset_Powerset_templates.hh index f2858c1..0f160a3 100644 --- a/src/Pointset_Powerset_templates.hh +++ b/src/Pointset_Powerset_templates.hh @@ -829,61 +829,9 @@ Pointset_Powerset<PSET>::strictly_contains(const Pointset_Powerset& y) const { } template <typename PSET> +template <typename Cons_or_Congr> Poly_Con_Relation -Pointset_Powerset<PSET>::relation_with(const Congruence& cg) const { - const Pointset_Powerset& x = *this; - - /* *this is included in cg if every disjunct is included in cg */ - bool is_included = true; - /* *this is disjoint with cg if every disjunct is disjoint with cg */ - bool is_disjoint = true; - /* *this strictly_intersects with cg if some disjunct strictly - intersects with cg */ - bool is_strictly_intersecting = false; - /* *this saturates cg if some disjunct saturates cg and - every disjunct is either disjoint from cg or saturates cg */ - bool saturates_once = false; - bool may_saturate = true; - for (Sequence_const_iterator si = x.sequence.begin(), - s_end = x.sequence.end(); si != s_end; ++si) { - Poly_Con_Relation relation_i = si->pointset().relation_with(cg); - if (!relation_i.implies(Poly_Con_Relation::is_included())) { - is_included = false; - } - if (!relation_i.implies(Poly_Con_Relation::is_disjoint())) { - is_disjoint = false; - } - if (relation_i.implies(Poly_Con_Relation::strictly_intersects())) { - is_strictly_intersecting = true; - } - if (relation_i.implies(Poly_Con_Relation::saturates())) { - saturates_once = true; - } - else if (!relation_i.implies(Poly_Con_Relation::is_disjoint())) { - may_saturate = false; - } - } - - Poly_Con_Relation result = Poly_Con_Relation::nothing(); - if (is_included) { - result = result && Poly_Con_Relation::is_included(); - } - if (is_disjoint) { - result = result && Poly_Con_Relation::is_disjoint(); - } - if (is_strictly_intersecting) { - result = result && Poly_Con_Relation::strictly_intersects(); - } - if (saturates_once && may_saturate) { - result = result && Poly_Con_Relation::saturates(); - } - - return result; -} - -template <typename PSET> -Poly_Con_Relation -Pointset_Powerset<PSET>::relation_with(const Constraint& c) const { +Pointset_Powerset<PSET>::relation_with_aux(const Cons_or_Congr& c) const { const Pointset_Powerset& x = *this; /* *this is included in c if every disjunct is included in c */

1 0

[GIT] ppl/ppl(devel): Corrected expected result for test02().
by Enea Zaffanella 19 Nov '15

19 Nov '15

Module: ppl/ppl Branch: devel Commit: bbf24268be1c2af275ee76f9eb790feb2a63cbc2 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 --- tests/Powerset/relationwith1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Powerset/relationwith1.cc b/tests/Powerset/relationwith1.cc index a76856c..0a730be 100644 --- a/tests/Powerset/relationwith1.cc +++ b/tests/Powerset/relationwith1.cc @@ -54,15 +54,15 @@ test02() { C_Polyhedron ph2(1); ph2.add_constraint(x == 2); - Pointset_Powerset<C_Polyhedron> ps(1, EMPTY); + Pointset_Powerset<C_Polyhedron> ps(1, EMPTY); ps.add_disjunct(ph1); ps.add_disjunct(ph2); Congruence cg((x %= 1) / 0); Poly_Con_Relation rel = ps.relation_with(cg); - Poly_Con_Relation known_rel = Poly_Con_Relation::saturates(); + Poly_Con_Relation known_rel = Poly_Con_Relation::strictly_intersects(); bool ok = (rel == known_rel);

1 0