May 2013 - PPL-devel - BUGSENG Mailman

Looking for PPL libs for Windows
by Jay Wells 31 May '13

31 May '13

Hello, I'd like to use the PPL library to handle vertex enumeration in a Windows x64 application but I'm having trouble building the source (.configure can't find cl.exe version, and link failing because it can't find oldnames.lib). I've looked for binaries (libs or dlls) in mingw and cygwin but I can't find anything. Can you please provide some guidance where I could find some existing PPL libs? Thank you, Jay Wells

2 1

Cardinality of integers of a abstract domain in ppl
by Zhoulai 30 May '13

30 May '13

Dear all, I would like to know whether PPL library has built - in way to count the number of integers satisfying an abstract domain in PPL ? Say, a domain of Int64_box has a constraint {x<=2, -x<=0} which has cardinality 3, for {x>=0}, the cardinality would be 2ˆ32 if it is the greatest integer. The motivation is to roughly compare the precisions of two groups of analyses. Thanks. Zell.

3 2

[GIT] ppl/ppl(master): Fixed typo in the Java interface for method `frequency' and added testcase .
by Enea Zaffanella 26 May '13

26 May '13

Module: ppl/ppl Branch: master Commit: 34b0df5dbf13b9c2b1fe637eb5984fdc84bbb3de URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34b0df5dbf13… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun May 26 20:33:25 2013 +0200 Fixed typo in the Java interface for method `frequency' and added testcase. Bug reported by Gianluca Amato. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 2 +- ...l_interface_generator_java_classes_java_code.m4 | 4 ++-- interfaces/Java/tests/C_Polyhedron_test1.java | 11 +++++++++++ 3 files changed, 14 insertions(+), 3 deletions(-) diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 index 99d35a2..0123266 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 @@ -607,7 +607,7 @@ Java_parma_1polyhedra_1library_@1CLASS@_@1MAXMIN@__Lparma_1polyhedra_1library_Li m4_define(`ppl_@CLASS@_frequency_code', `dnl JNIEXPORT jboolean JNICALL -Java_parma_1polyhedra_1library_@1CLASS@_1frequency__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2 +Java_parma_1polyhedra_1library_@1CLASS@_frequency (JNIEnv* env, jobject j_this, jobject j_le, jobject j_freqn, jobject j_freqd, jobject j_valn, jobject j_vald) { try { diff --git a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 index 3f71d75..66c4194 100644 --- a/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 +++ b/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4 @@ -252,8 +252,8 @@ m4_define(`ppl_@CLASS@_frequency_code', ___END_OF_FILE___ ___BEGIN_OF_FILE___ @CLASS@.java << ___END_OF_FILE___ public native boolean frequency(Linear_Expression expr, - Coefficient freq_n, Coefficient freq_d, - Coefficient val_n, Coefficient val_d); + Coefficient freq_n, Coefficient freq_d, + Coefficient val_n, Coefficient val_d); ') diff --git a/interfaces/Java/tests/C_Polyhedron_test1.java b/interfaces/Java/tests/C_Polyhedron_test1.java index 674d4aa..a55840d 100644 --- a/interfaces/Java/tests/C_Polyhedron_test1.java +++ b/interfaces/Java/tests/C_Polyhedron_test1.java @@ -114,6 +114,17 @@ public class C_Polyhedron_test1 { return ok; } + public static boolean test04() { + Coefficient freq_n = new Coefficient(0); + Coefficient freq_d = new Coefficient(0); + Coefficient val_n = new Coefficient(0); + Coefficient val_d = new Coefficient(0); + Linear_Expression le + = new Linear_Expression_Coefficient(new Coefficient(0)); + C_Polyhedron ph = new C_Polyhedron(0, Degenerate_Element.UNIVERSE); + return ph.frequency(le, freq_n, freq_d, val_n, val_d); + } + public static void main(String[] args) { Parma_Polyhedra_Library.initialize_library(); boolean test_result_ok =

1 0

frequency and java bindings
by Gianluca Amato 26 May '13

26 May '13

Hi, I think there is a bug in the "frequency" method in the PPL java bindings. Every time it is called, the UnsatisfiedLinkError excpetion is thrown. Here is an example for the C_Polyehdron class, but the same happens for other classes. import parma_polyhedra_library.*; public class ProvaPPL { public static void main(String[] args) { System.load("/usr/local/lib/ppl/libppl_java.so"); Parma_Polyhedra_Library.initialize_library(); Coefficient c1 = new Coefficient(0); Coefficient c2 = new Coefficient(0); Coefficient c3 = new Coefficient(0); Coefficient c4 = new Coefficient(0); Linear_Expression le = new Linear_Expression_Variable(new Variable(0)); C_Polyhedron v = new C_Polyhedron(3, Degenerate_Element.UNIVERSE); v.frequency(le, c1, c2, c3, c4); } } --gianluca

2 1

running aclocal fails on ppl 0.11.2 - ppl_interface_instantiations.m4 does not exist
by Sardan Alexandru Cezar-B41700 23 May '13

23 May '13

Hello, I'm trying to integrate ppl 0.11.2 into the Yocto build environment, for use as a backend for CLooG. While running aclocal I get the following error: NOTE: Executing ACLOCAL="aclocal --system-acdir=/home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/aclocal-copy/ -- automake-acdir=/home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/sysroots/x86_64-linux/usr/share/aclocal-1.12" autoreconf --verbose --install --force --exclude=autopoint -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/m4/ autoreconf: Entering directory `.' autoreconf: configure.ac: not using Gettext autoreconf: running: aclocal --system-acdir=/home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/aclocal-copy/ --automake-acdir=/home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/sysroots/x86_64-linux/usr/share/aclocal-1.12 -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/m4/ -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ -I /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/m4/ --force -I m4 aclocal: error: /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ppl_interface_generator_common_dat.m4:33: file 'ppl_interface_instantiations.m4' does not exist autoreconf: aclocal failed with exit status: 1 ERROR: autoreconf execution failed. I'm using the release tarball from http://bugseng.com/products/ppl/download/ftp/releases/0.11.2/ppl-0.11.2.tar… Shouldn't ppl_interface_instantiations.m4 be automatically generated? I also tried excluding the interfaces folder but with no success. Thanks, Alex --- Alexandru-Cezar Sărdan Freescale Semiconductor Romania SRL 45, Tudor Vladimirescu Street Tati Business Center Bucharest 050881, Romania Phone: +40 21 3052051 E-mail: alexandru.sardan(a)freescale.com

2 6

[GIT] ppl/ppl(master): The documentation details of the Polyhedron:: conversion() static method
by Enea Zaffanella 16 May '13

16 May '13

Module: ppl/ppl Branch: master Commit: 5090488bd0422649dce45d6766586e558a85c17c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5090488bd042… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Thu May 16 16:55:55 2013 +0200 The documentation details of the Polyhedron::conversion() static method are not meant for the user manual. --- src/Polyhedron_conversion_templates.hh | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/Polyhedron_conversion_templates.hh b/src/Polyhedron_conversion_templates.hh index f013b91..91d4772 100644 --- a/src/Polyhedron_conversion_templates.hh +++ b/src/Polyhedron_conversion_templates.hh @@ -60,6 +60,8 @@ namespace Parma_Polyhedra_Library { the polyhedron (when \p dest is a system of generators) or equality constraints (when \p dest is a system of constraints). + \if Include_Implementation_Details + For simplicity, all the following comments assume we are converting a constraint system \p source to a generator system \p dest; the comments for the symmetric case can be obtained by duality. @@ -345,6 +347,8 @@ namespace Parma_Polyhedra_Library { of \f$P\f$. These two adjacent rays build a ray equal to \f$\vect{r}\f$ and so \f$\vect{r}\f$ is redundant. + + \endif */ template <typename Source_Linear_System, typename Dest_Linear_System> dimension_type

1 0

[GIT] ppl/ppl(polyops): New commits
by Roberto Bagnara 15 May '13

15 May '13

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7d3f2d9ed… Merge: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd b06285533ca60251c4132d1c388c64bdcbea62aa Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 21:44:45 2013 +0200 Merge branch 'master' into polyops URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b06285533ca6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 21:42:21 2013 +0200 Switch to the new GLPK API routines. Old API routines where completely removed in GLPK 4.49. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b86ec7da4ab… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 20:49:09 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8162935006ec… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 20:48:47 2013 +0200 Converted to free MPS format. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46edbeca8906… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat May 11 17:55:04 2013 +0200 Apparently, some versions of Doxygen require this line. (Thanks to Matthias Klose.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e0684a9671… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Apr 21 12:13:39 2013 +0200 Trailing white space removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1d8b8f5b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:10:57 2013 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bb7f2f4bbb… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:07:33 2013 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66224fd3373… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:06:39 2013 +0200 Fixed capitalization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fd4b05e30ba… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Thu Apr 4 12:22:48 2013 +0200 Added a testcase showing an issue in method MIP_Problem::OK(). The method checks for too strong (i.e., invlaid) invariants in the case of a MIP_Problem subject to space dimnesion additions. Modified method OK() to check those invariants on the "internal" space dimension, rather the external one. While at it, modified private method MIP_Problem::process_pending_constraints() to avoid returning a bool value (which is never checked). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eaac930eb9a0… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun Mar 3 16:03:15 2013 +0100 Fixed constructor from a different partially reduced product element. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f09547a592… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun Mar 3 15:43:46 2013 +0100 Fix indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=464f7b65bde5… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Sun Mar 3 15:42:56 2013 +0100 Activate a couple of tests that were ignored. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad11ba0a2159… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Wed Feb 27 15:28:02 2013 +0100 Complete application of systematic file header renaming. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3822e9ecd078… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Jan 30 09:20:06 2013 +0100 Added missing line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09a5a4484a03… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Jan 21 21:09:16 2013 +0100 Obsolete link updated.

1 0

[GIT] ppl/ppl(master): Switch to the new GLPK API routines.
by Roberto Bagnara 15 May '13

15 May '13

Module: ppl/ppl Branch: master Commit: b06285533ca60251c4132d1c388c64bdcbea62aa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b06285533ca6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 21:42:21 2013 +0200 Switch to the new GLPK API routines. Old API routines where completely removed in GLPK 4.49. --- demos/ppl_lpsol/ppl_lpsol.c | 151 +++++++++++++++++++++++------------------- 1 files changed, 83 insertions(+), 68 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b0628553…

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 15 May '13

15 May '13

Module: ppl/ppl Branch: master Commit: 5b86ec7da4ab63224e8371a4ba170ef071248c25 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b86ec7da4ab… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 20:49:09 2013 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 2f4b1ce..ef0ab4d 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre8], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre9], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Converted to free MPS format.
by Roberto Bagnara 15 May '13

15 May '13

Module: ppl/ppl Branch: master Commit: 8162935006ec89232a82108cb261a2aa203d8028 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8162935006ec… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed May 15 20:48:47 2013 +0200 Converted to free MPS format. --- demos/ppl_lpsol/examples/blend.mps | 717 ++++++++++++++++++----------------- demos/ppl_lpsol/examples/sample.mps | 30 +- 2 files changed, 378 insertions(+), 369 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=81629350…

1 0