July 2012 - PPL-devel - BUGSENG Mailman

Regression test failures on OpenBSD
by Edd Barrett 12 Nov '12

12 Nov '12

Hi, Whilst building a port of PPL to OpenBSD I have encountered the following regression test failures: ---8<--- gmake[5]: Entering directory `/usr/ports/pobj/ppl-1.0/ppl-1.0/tests/Concrete_Expression' PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 FAIL: polyhedron1 tests failed: test04 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== ---8<--- This does not give a huge amount of information. How can I get more information? I had a prod around in the tests dir but did not see any obvious log files. I am running OpenBSD-current/amd64 with PPL-1.0 release. Please CC me, I am not subscribed. Thanks -- Edd Barrett Programming Languages and Systems Research University of Kent http://www.cs.kent.ac.uk/people/rpg/eb771/

5 10

Write constraints in JAVA interface as in C++ ?
by Zell 01 Aug '12

01 Aug '12

Hello, If I understand correctly, there is no support in JAVA interface to add constraints as easy as in C++, for example, in C++, cs.insert(B >= 0); cs.insert(A >= 0); cs.insert(B == 5); cs.insert(B <= 7); Otherwise, I do not see the domain Box in JAVA interface. What would be the instruction to enable it? (I am under Mac OS x, for information) Thanks. Zell.

2 3

[GIT] ppl/ppl(master): Use ArrayList instead of Vector for (constraints, .. .) systems in Java.
by Enea Zaffanella 31 Jul '12

31 Jul '12

Module: ppl/ppl Branch: master Commit: 3a754d5e27f20380e6f026e7d8a335a8be14d574 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a754d5e27f2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 31 14:35:42 2012 +0200 Use ArrayList instead of Vector for (constraints, ...) systems in Java. Added a paragraph to the introduction of the user manual to stress that the PPL *_System classes extend ArrayList. While at it, removed many useless import directives. Also fixed a couple of indentation issues. --- .../Artificial_Parameter.java | 3 -- .../Artificial_Parameter_Sequence.java | 5 +-- .../Java/parma_polyhedra_library/Congruence.java | 3 -- .../parma_polyhedra_library/Congruence_System.java | 5 +-- .../Java/parma_polyhedra_library/Constraint.java | 3 -- .../parma_polyhedra_library/Constraint_System.java | 5 +-- .../Java/parma_polyhedra_library/Generator.java | 4 -- .../parma_polyhedra_library/Generator_System.java | 5 +-- .../parma_polyhedra_library/Grid_Generator.java | 2 - .../Grid_Generator_System.java | 6 +-- .../parma_polyhedra_library/Linear_Expression.java | 3 -- .../Java/parma_polyhedra_library/MIP_Problem.java | 3 -- .../parma_polyhedra_library/PIP_Decision_Node.java | 3 -- .../Java/parma_polyhedra_library/PIP_Problem.java | 3 -- .../parma_polyhedra_library/PIP_Solution_Node.java | 3 -- .../parma_polyhedra_library/PIP_Tree_Node.java | 3 -- .../Parma_Polyhedra_Library.java | 18 +++++++++++- .../ppl_interface_generator_java_classes_java.m4 | 3 -- interfaces/Java/tests/C_Polyhedron_test1.java | 21 ++++++-------- interfaces/Java/tests/MIP_Problem_test1.java | 22 ++++++-------- interfaces/Java/tests/NNC_Polyhedron_test1.java | 22 ++++++-------- interfaces/Java/tests/PIP_Problem_test1.java | 30 ++++++++----------- interfaces/Java/tests/PPL_Test.java | 2 - .../Java/tests/Parma_Polyhedra_Library_test1.java | 22 ++++++-------- .../Java/tests/Parma_Polyhedra_Library_test2.java | 18 ++++++------ interfaces/Java/tests/ppl_java_tests_common | 3 -- 26 files changed, 81 insertions(+), 139 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3a754d5e…

1 0

beginner's question: don't you have any examples?
by Z 28 Jul '12

28 Jul '12

Hello, I am using PPL's Java interface for static program analysis. The library is known to be "very user friendly". However, I cannot find a working example (say, a hello world) for PPL. No examples are provided in the user's manual. Could you show me some examples? Thanks. Zell.

3 4

Fwd: Re: Bogus version of floorl() exported by libstdc++
by Roberto Bagnara 18 Jul '12

18 Jul '12

-------- Original Message -------- Subject: Re: Bogus version of floorl() exported by libstdc++ Date: Tue, 17 Jul 2012 14:29:02 -0700 From: Matthew Dempsky <matthew(a)dempsky.org> To: roberto.bagnara(a)bugseng.com Hi Roberto, I believe I just committed a fix for this. Thanks for the report and let me know if you find any more issues. Thanks!

2 1

[GIT] ppl/ppl(master): Avoid a non-portable GNU Make idiom (using $< in a non-suffix rule context).
by Roberto Bagnara 17 Jul '12

17 Jul '12

Module: ppl/ppl Branch: master Commit: 64802610e73c3db4f520cedaebf73eadfc0a4611 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64802610e73c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 17 16:49:39 2012 +0200 Avoid a non-portable GNU Make idiom (using $< in a non-suffix rule context). --- Makefile.am | 4 ++-- src/Makefile.am | 16 ++++++++-------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/Makefile.am b/Makefile.am index 1b80b3d..3cb89d5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -36,10 +36,10 @@ dist_noinst_HEADERS = \ instchk.hh ppl-config.h: config.h $(srcdir)/ppl-config.sed - $(SED) -f $(srcdir)/ppl-config.sed $< >$@ + $(SED) -f $(srcdir)/ppl-config.sed config.h >$@ ppl-config.h.in: config.h.in $(srcdir)/ppl-config.sed - $(SED) -f $(srcdir)/ppl-config.sed $< >$@ + $(SED) -f $(srcdir)/ppl-config.sed config.h.in >$@ DISTCHECK_CONFIGURE_FLAGS = \ --enable-shared diff --git a/src/Makefile.am b/src/Makefile.am index 8a73add..6fb2c3f 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -628,28 +628,28 @@ ppl.hh.sed: Makefile @echo "}" >>$@ ppl.hh: ppl.hh.dist ppl.hh.sed - $(SED) -f ppl.hh.sed $< >$@ + $(SED) -f ppl.hh.sed ppl.hh.dist >$@ rm -f ppl.hh.sed BUGS.hh: BUGS.hh.dist - cp -f $< $@ + cp -f BUGS.hh.dist $@ BUGS.cc: BUGS.cc.dist - cp -f $< $@ + cp -f BUGS.cc.dist $@ COPYING.hh: COPYING.hh.dist - cp -f $< $@ + cp -f COPYING.hh.dist $@ COPYING.cc: COPYING.cc.dist - cp -f $< $@ + cp -f COPYING.cc.dist $@ CREDITS.hh: CREDITS.hh.dist - cp -f $< $@ + cp -f CREDITS.hh.dist $@ CREDITS.cc: CREDITS.cc.dist - cp -f $< $@ + cp -f CREDITS.cc.dist $@ endif !HAVE_PERL if USE_PRECOMPILED_HEADERS ppl.hh.gch: ppl.hh - $(CXXCOMPILE) -xc++-header -o $@ $< + $(CXXCOMPILE) -xc++-header -o $@ ppl.hh PRECOMPILED = ppl.hh.gch

1 0

[GIT] ppl/ppl(master): Changed test04 to print more info when noisy.
by Enea Zaffanella 13 Jul '12

13 Jul '12

Module: ppl/ppl Branch: master Commit: 8a29319f037b70bef7b59992a1f95132aa9254cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a29319f037b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jul 13 15:40:36 2012 +0200 Changed test04 to print more info when noisy. --- tests/Concrete_Expression/polyhedron2.cc | 29 +++++++++++++++++------------ 1 files changed, 17 insertions(+), 12 deletions(-) diff --git a/tests/Concrete_Expression/polyhedron2.cc b/tests/Concrete_Expression/polyhedron2.cc index 8ac9cf3..4577b3d 100644 --- a/tests/Concrete_Expression/polyhedron2.cc +++ b/tests/Concrete_Expression/polyhedron2.cc @@ -119,27 +119,26 @@ test04() { FP_Interval_Abstract_Store store(2); store.set_interval(A, tmp0); store.set_interval(B, tmp0); - FP_Interval tmp(tmp0); - tmp = 2; - tmp /= FP_Interval(3); FP_Linear_Form la(A); FP_Linear_Form lb(B); - FP_Linear_Form lk(tmp); + + FP_Interval tmp(2); + tmp /= FP_Interval(3); C_Polyhedron ph(2); ph.generalized_refine_with_linear_form_inequality( - lk, la, GREATER_THAN); - tmp = 1; - lk -= tmp; + FP_Linear_Form(tmp), la, GREATER_THAN); + tmp = -1; + tmp /= FP_Interval(3); ph.generalized_refine_with_linear_form_inequality( - lk, -la, GREATER_OR_EQUAL); + FP_Linear_Form(tmp), -la, GREATER_OR_EQUAL); + tmp = 1; + tmp /= FP_Interval(3); ph.generalized_refine_with_linear_form_inequality( - lb, -lk, LESS_OR_EQUAL); + lb, FP_Linear_Form(tmp), LESS_OR_EQUAL); tmp = 0; - lk = FP_Linear_Form(tmp); ph.generalized_refine_with_linear_form_inequality( - -lb, lk, LESS_THAN); - print_constraints(ph, "*** ph ***"); + -lb, FP_Linear_Form(tmp), LESS_THAN); C_Polyhedron known_result1(2); known_result1.add_constraint(3*A >= 1); @@ -148,11 +147,17 @@ test04() { known_result1.add_constraint(3*B <= 1); print_constraints(known_result1, "*** known_result1 ***"); + Box<FP_Interval> box(ph); + print_constraints(ph, "*** ph ***"); + print_constraints(box, "*** box ***"); + bool ok1 = ph.contains(known_result1); ph.refine_fp_interval_abstract_store(store); nout << "*** FP_Interval_Abstract_Store ***" << endl; + nout << "tmp0 = " << tmp0 << endl; + nout << "A = " << store.get_interval(A) << endl; bool ok2 = tmp0.contains(store.get_interval(A));

1 0