July 2013 - PPL-devel - BUGSENG Mailman

Make PPL on Macintosh - 2 Tests failed
by Carl Reynolds 23 Jul '13

23 Jul '13

I downloaded ppl-1.0. When I tried to compile it complained about redefinition of 'class std::numeric_limits because I'm using gmp-5.1.2. I found Chia-Hsun Cheng's description of this problem and his fix for it at http://www.cs.unipr.it/pipermail/ppl-devel/2013-January/018590.html and for response that his fix has been added to http://bugseng.com/products/ppl/download/ftp/snapshots/. I downloaded ppl-1.1pre9. It compiled OK, but when I ran 'make check' It gave the error > make check-TESTS > make[5]: Entering directory `/Users/carlreynolds/src/ppl-1.1pre9/tests/Concrete_Expression' > PASS: C_Expr > PASS: linearform1 > PASS: linearize > PASS: digitalfilters1 > PASS: bdshape1 > PASS: bdshape2 > PASS: octagonalshape1 > PASS: octagonalshape2 > tests failed: test04 test05 > FAIL: polyhedron1 > tests failed: test04 test05 > FAIL: polyhedron2 > ====================================== > 2 of 10 tests failed > Please report to ppl-devel(a)cs.unipr.it > ====================================== > make[5]: *** [check-TESTS] Error 1 I'm building ppl on > uname -a > Darwin xxxx.xxxx 11.4.2 Darwin Kernel Version 11.4.2: Thu Aug 23 16:25:48 PDT 2012; root:xnu-1699.32.7~1/RELEASE_X86_64 x86_64 Please let me know if I can help you in any other way. Carl.

4 3

Test universe dimension
by Zhoulai 04 Jul '13

04 Jul '13

Hello, dear PPL developers, I have a naive question. I there built-in function in PPL to test whether an abstract domain has universe dimension (i.e. \top) at index 'k'? For now, the best that I can imagine is to unconstraint dimension 'k' and check whether the original one and the one with dimension 'k' unconstrained equals. I guess this is not the right way in PPL. In addition, maybe 'unconstrain' is approximative, to test equality between the original and the unconstraint does not make sense? What is your opinion? Thank you for your help. Zhoulai p.s for info, I am using Java interface of PPL.

3 2

pre-image operation
by Zhoulai 04 Jul '13

04 Jul '13

Hello, Is there any reference publication for PPL's pre-image operation? The operation is explained at sect. 1.6.9 of user manual but no references is mentioned. I am puzzled how you implemented tpre-image? Thank you. Zhoulai

2 1

[GIT] ppl/ppl(master): Adapted to recent versions of GNU Prolog so as to work on 64-bit machines.
by Roberto Bagnara 03 Jul '13

03 Jul '13

Module: ppl/ppl Branch: master Commit: 389c982894e8622b57712684ea9d30ca4bb8e0e6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=389c982894e8… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 18:10:49 2013 +0200 Adapted to recent versions of GNU Prolog so as to work on 64-bit machines. --- interfaces/Prolog/GNU/gprolog_efli.cc | 13 +++++++------ 1 files changed, 7 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/GNU/gprolog_efli.cc b/interfaces/Prolog/GNU/gprolog_efli.cc index a9bd184..8e19593 100644 --- a/interfaces/Prolog/GNU/gprolog_efli.cc +++ b/interfaces/Prolog/GNU/gprolog_efli.cc @@ -34,9 +34,9 @@ namespace GNU { bool Prolog_has_unbounded_integers; -long Prolog_min_integer; +PlLong Prolog_min_integer; -long Prolog_max_integer; +PlLong Prolog_max_integer; void ppl_Prolog_sysdep_init() { @@ -51,18 +51,19 @@ ppl_Prolog_sysdep_deinit() { int Prolog_get_Coefficient(Prolog_term_ref t, Coefficient& n) { - long v; - Prolog_get_long(t, &v); + assert(Prolog_is_integer(t)); + PlLong v = Pl_Rd_Integer_Check(t); n = v; return 1; } int Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n) { - long l = 0; + PlLong l = 0; Result r = assign_r(l, n, ROUND_IGNORE); - if (result_overflow(r) || !Prolog_put_long(t, l)) + if (result_overflow(r) || l < INT_LOWEST_VALUE || l > INT_GREATEST_VALUE) throw PPL_integer_out_of_range(n); + t = Pl_Mk_Integer(l); return 1; }

1 0

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

03 Jul '13

Module: ppl/ppl Branch: master Commit: f1487c86784d0b54d566502957b8ae5993bf32b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1487c86784d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:19:00 2013 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index ef0ab4d..07d7779 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.1pre9], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre10], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Use the serial test harness in these directories.
by Roberto Bagnara 03 Jul '13

03 Jul '13

Module: ppl/ppl Branch: master Commit: b50626a42ed0285088cf21ca64d005a56671804d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b50626a42ed0… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:18:06 2013 +0200 Use the serial test harness in these directories. --- tests/BD_Shape/Makefile.am | 2 ++ tests/Box/Makefile.am | 2 ++ tests/Concrete_Expression/Makefile.am | 2 ++ tests/Octagonal_Shape/Makefile.am | 2 ++ 4 files changed, 8 insertions(+), 0 deletions(-) diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index a517149..ee2de99 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = serial-tests + if VALGRIND_TESTS_ENABLED CHECKER = \ diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 7b82a18..3009a5c 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = serial-tests + if VALGRIND_TESTS_ENABLED CHECKER = \ diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 8e43812..0ba8e68 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = serial-tests + if VALGRIND_TESTS_ENABLED CHECKER = \ diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 1250565..927fc7e 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = serial-tests + if VALGRIND_TESTS_ENABLED CHECKER = \

1 0

[GIT] ppl/ppl(master): Automake `subdir-objects' option is not for us.
by Roberto Bagnara 03 Jul '13

03 Jul '13

Module: ppl/ppl Branch: master Commit: bd44c928a917ff3ea87dc6bc3df8e6a10a030a26 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd44c928a917… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 3 15:11:38 2013 +0200 Automake `subdir-objects' option is not for us. --- interfaces/Prolog/Ciao/Makefile.am | 2 +- interfaces/Prolog/GNU/Makefile.am | 2 +- interfaces/Prolog/SICStus/Makefile.am | 2 +- interfaces/Prolog/SWI/Makefile.am | 2 +- interfaces/Prolog/XSB/Makefile.am | 2 +- interfaces/Prolog/YAP/Makefile.am | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index 4bb083e..53ffe88 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported CIAO_CFLI_FILES = ciao_cfli.hh diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 4cbfc1e..94286b0 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported GPROLOG_CFLI_FILES = gprolog_cfli.hh diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index 396e6c8..b70d47d 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported SICSTUS_CFLI_FILES = sicstus_cfli.h sicstus_cfli.ic sicstus_cfli.cc diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 5f3b8e3..e522422 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported if VALGRIND_TESTS_ENABLED diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 825d88f..42d464a 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported XSB_CFLI_FILES = xsb_cfli.hh diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index ded9b1b..419ce60 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -21,7 +21,7 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . -AUTOMAKE_OPTIONS = subdir-objects +AUTOMAKE_OPTIONS = -Wno-unsupported YAP_CFLI_FILES = yap_cfli.hh

1 0