- PPL-devel - BUGSENG Mailman

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

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: 0b2e3fd90fce1d3618bcfe570747d7635a9ca3f5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b2e3fd90fce… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:59:06 2013 +0200 Updated. --- compile | 2 +- config.guess | 167 +++++++++++++----------- config.sub | 55 ++++----- depcomp | 410 +++++++++++++++++++++++++++++----------------------------- missing | 405 +++++++++++++++++++++------------------------------------- 5 files changed, 472 insertions(+), 567 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0b2e3fd9…

1 0

[GIT] ppl/ppl(master): Put under Git control.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: 772c80b14cb0919a06b794acce9c7073ef6dd490 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772c80b14cb0… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:48:29 2013 +0200 Put under Git control. --- test-driver | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/test-driver b/test-driver new file mode 120000 index 0000000..29fa213 --- /dev/null +++ b/test-driver @@ -0,0 +1 @@ +/usr/local/share/automake-1.14/test-driver \ No newline at end of file

1 0

[GIT] ppl/ppl(master): Use the `subdir-objects' Automake option.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: b6c28667ce94102916879cc23d0b8dde3ad35e3b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c28667ce94… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:47:54 2013 +0200 Use the `subdir-objects' Automake option. --- 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, 12 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index b228713..4bb083e 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/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 = subdir-objects + CIAO_CFLI_FILES = ciao_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 41d09d4..4cbfc1e 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/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 = subdir-objects + GPROLOG_CFLI_FILES = gprolog_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index fe651b2..396e6c8 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/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 = subdir-objects + SICSTUS_CFLI_FILES = sicstus_cfli.h sicstus_cfli.ic sicstus_cfli.cc EXTRA_DIST = \ diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 26d08c8..5f3b8e3 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/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 = subdir-objects + if VALGRIND_TESTS_ENABLED CHECKER = \ diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 862766f..825d88f 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/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 = subdir-objects + XSB_CFLI_FILES = xsb_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 69cfe19..ded9b1b 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/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 = subdir-objects + YAP_CFLI_FILES = yap_cfli.hh EXTRA_DIST = \

1 0

Infinite loop (ab)using the parallel test harness facility
by Roberto Bagnara 23 Jun '13

23 Jun '13

Hi there. The solution we use since several years in the Parma Polyhedra Library to the problem described in this thread http://lists.gnu.org/archive/html/automake/2005-10/msg00058.html does not work with the parallel test harness facility. The symptom is that recompilation with the same set of flags is repeated over and over again. The problem goes away if one reverts to the obsolete serial test harness facility, which would very much like to avoid. A Makefile.am and script affected by this issue are http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=tests/BD… http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=tests/BD… Does anyone spot the cause of the problem? Kind regards, Roberto P.S. Reading the manual we took note of the fact that we should make changes to Makefile.am, such as using LOG_COMPILER instead of TESTS_ENVIRONMENT, but these are orthogonal issue (i.e., the observation above is with an empty TESTS_ENVIRONMENT). -- 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

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