- PPL-devel - BUGSENG Mailman

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

[GIT] ppl/ppl(polyops): Added test cases for the positive time elapse operator.
by Marco Faella 13 May '13

13 May '13

Module: ppl/ppl Branch: polyops Commit: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b… Author: Marco Faella <marfaella(a)gmail.com> Date: Mon May 13 16:29:50 2013 +0200 Added test cases for the positive time elapse operator. Modified the user manual and the credits in order to acknowledge the new function and its authors, respectively. --- CREDITS | 9 + doc/definitions.dox | 45 ++++ doc/ppl.bib | 29 +++ doc/ppl_citations.bib | 21 -- tests/Polyhedron/Makefile.am | 1 + tests/Polyhedron/postimeelapse1.cc | 429 ++++++++++++++++++++++++++++++++++++ 6 files changed, 513 insertions(+), 21 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ecec8a84…

1 0