March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Restore parallelized tests.
by Abramo Bagnara 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: b163fee3b048fe3dd07be912850ec042f4d24b2d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b163fee3b048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 09:41:10 2009 +0200 Restore parallelized tests. --- tests/BD_Shape/Makefile.am | 6 +++++- tests/Box/Makefile.am | 6 +++++- tests/Octagonal_Shape/Makefile.am | 6 +++++- 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 97044a5..cfba93a 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -116,7 +116,11 @@ TEST_CPPFLAGS=-DBD_SHAPE_INSTANCE=mpq_class dist_check_SCRIPTS = run_tests -TESTS = $(srcdir)/run_tests +TESTS = tests + +.PHONY: tests +tests: + +$(srcdir)/run_tests XFAIL_TESTS = diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 53600ef..35caa5f 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -120,7 +120,11 @@ TEST_CPPFLAGS=-DBOX_INSTANCE=rt_r_oc dist_check_SCRIPTS = run_tests -TESTS = $(srcdir)/run_tests +TESTS = tests + +.PHONY: tests +tests: + +$(srcdir)/run_tests XFAIL_TESTS = diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 710f81a..604dac7 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -123,7 +123,11 @@ TEST_CPPFLAGS=-DOCTAGONAL_SHAPE_INSTANCE=mpq_class dist_check_SCRIPTS = run_tests -TESTS = $(srcdir)/run_tests +TESTS = tests + +.PHONY: tests +tests: + +$(srcdir)/run_tests XFAIL_TESTS =

1 0

[GIT] ppl/ppl(master): Minor improvement to documentation.
by Enea Zaffanella 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: 099390e253a3db11a375e0677531ec2ab7d45cc3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099390e253a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:22:58 2009 +0200 Minor improvement to documentation. In the documentation block for \defgroup, do not use \brief if there does not also exist a detailed documentation section (otherwise, doxygen will insert a spurious "More..." link pointing to the same page). --- interfaces/Prolog/Prolog_interface.dox | 2 +- .../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 4b78603..38c88db 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -22,7 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */ /*! \defgroup PPL_Prolog_interface Prolog Language Interface - \brief + The Parma Polyhedra Library comes equipped with an interface for the Prolog language. */ diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 index 6718937..1266272 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 @@ -62,7 +62,7 @@ dnl The Preamble. dnl ================================================================= /*! \defgroup PPL_Prolog_interface Prolog Language Interface - \brief + The Parma Polyhedra Library comes equipped with an interface for the Prolog language. */

1 0

[GIT] ppl/ppl(master): Avoid spurious vertical space in the documentation.
by Enea Zaffanella 30 Mar '09

30 Mar '09

Module: ppl/ppl Branch: master Commit: b17d00bfc0b43f14e56eaa735f2f70495e1001c2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b17d00bfc0b4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:16:28 2009 +0200 Avoid spurious vertical space in the documentation. When adding a member group using doxygen commmand \name and the multiline style special comments, also add a \brief command if there is no detailed documentation for the group. --- interfaces/C/C_interface.dox | 26 ++-- interfaces/C/ppl_c_header.h | 148 ++++++++++---------- .../Fake_Class_for_Doxygen.java | 6 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 18 ++-- .../Parma_Polyhedra_Library.java | 2 +- 5 files changed, 100 insertions(+), 100 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b17d00bf…

1 0

[GIT] ppl/ppl(master): Added string wrapping helper function to OCaml interface.
by Enea Zaffanella 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: fee0c077d5a0fa9a329b46cf859b355d36d135a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fee0c077d5a0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 22:46:25 2009 +0200 Added string wrapping helper function to OCaml interface. --- interfaces/OCaml/OCaml_interface.dox | 26 +++++++++++++------------- interfaces/OCaml/ppl_ocaml_common.cc | 23 +++++++++++++++++++++++ interfaces/OCaml/ppl_ocaml_globals.ml | 9 ++++++--- interfaces/OCaml/ppl_ocaml_globals.mli | 9 ++++++--- 4 files changed, 48 insertions(+), 19 deletions(-) diff --git a/interfaces/OCaml/OCaml_interface.dox b/interfaces/OCaml/OCaml_interface.dox index 181e147..50c59f1 100644 --- a/interfaces/OCaml/OCaml_interface.dox +++ b/interfaces/OCaml/OCaml_interface.dox @@ -22,7 +22,7 @@ site: http://www.cs.unipr.it/ppl/ . */ /*! \defgroup PPL_OCaml_interface OCaml Language Interface - \brief + The Parma Polyhedra Library comes equipped with an interface for the OCaml language. */ @@ -174,6 +174,9 @@ included with all instantiations of the OCaml interfaces. warranty whatsoever, the C++ compiler used to build the library, where to report bugs and where to look for further information. +<H2><CODE> ppl_max_space_dimension </CODE></H2> + Returns the maximum space dimension the C++ interface can handle. + <H2><CODE> ppl_Coefficient_is_bounded </CODE></H2> Returns true if and only if the coefficients in the C++ interface are bounded. @@ -186,22 +189,19 @@ included with all instantiations of the OCaml interfaces. If the coefficients are bounded, returns the minimum coefficient the C++ interface can handle. -<H2><CODE> ppl_max_space_dimension </CODE></H2> - Returns the maximum space dimension the C++ interface can handle. - -<H2><CODE> ppl_set_timeout_exception_atom name </CODE></H2> - Sets the term to be thrown by timeout exceptions - to <CODE>name</CODE>. - The default value is <CODE>time_out</CODE>. - -<H2><CODE> ppl_timeout_exception_atom</CODE></H2> - Returns the name to be thrown by timeout exceptions +<H2><CODE> ppl_io_wrap_string </CODE></H2> + Utility function for the wrapping of lines of text. + The function wraps the lines of text stored in its first string argument + according to the next three integer arguments, which are interpreted as + the indentation depth, the preferred length for the first line and the + preferred length for all the other lines, respecively; it returns a + string containing the wrapped text. <H2><CODE> ppl_set_timeout c_unsigned </CODE></H2> Computations taking exponential time will be interrupted some time after <CODE>c_unsigned</CODE> ms after that call. - If the computation is interrupted that way, the current timeout - exception atom will be thrown. + If the computation is interrupted that way, a timeout exception + will be thrown. <CODE>c_unsigned</CODE> must be strictly greater than zero. <H2><CODE> ppl_reset_timeout </CODE></H2> diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index 7d87e92..d3a3177 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -1127,6 +1127,29 @@ CATCH_ALL extern "C" CAMLprim value +ppl_io_wrap_string(value src, + value indent_depth, + value preferred_first_line_length, + value preferred_line_length) try { + CAMLparam4(src, indent_depth, preferred_first_line_length, + preferred_line_length); + unsigned cpp_indent_depth + = value_to_unsigned_native<unsigned>(indent_depth); + unsigned cpp_preferred_first_line_length + = value_to_unsigned_native<unsigned>(preferred_first_line_length); + unsigned cpp_preferred_line_length + = value_to_unsigned_native<unsigned>(preferred_line_length); + using IO_Operators::wrap_string; + CAMLreturn(caml_copy_string(wrap_string(String_val(src), + cpp_indent_depth, + cpp_preferred_first_line_length, + cpp_preferred_line_length + ).c_str())); +} +CATCH_ALL + +extern "C" +CAMLprim value ppl_Coefficient_is_bounded(value unit) try { CAMLparam1(unit); CAMLreturn(std::numeric_limits<Coefficient>::is_bounded diff --git a/interfaces/OCaml/ppl_ocaml_globals.ml b/interfaces/OCaml/ppl_ocaml_globals.ml index 9701aba..06e66bf 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.ml +++ b/interfaces/OCaml/ppl_ocaml_globals.ml @@ -117,6 +117,12 @@ unit -> string = "ppl_version" external ppl_banner: unit -> string = "ppl_banner" +external ppl_io_wrap_string: +string -> int -> int -> int -> string = "ppl_io_wrap_string" + +external ppl_max_space_dimension: +unit -> int = "ppl_max_space_dimension" + external ppl_Coefficient_is_bounded: unit -> bool = "ppl_Coefficient_is_bounded" @@ -126,9 +132,6 @@ unit -> Z.t = "ppl_Coefficient_max" external ppl_Coefficient_min: unit -> Z.t = "ppl_Coefficient_min" -external ppl_max_space_dimension: -unit -> int = "ppl_max_space_dimension" - external ppl_set_rounding_for_PPL: unit -> unit = "ppl_set_rounding_for_PPL" diff --git a/interfaces/OCaml/ppl_ocaml_globals.mli b/interfaces/OCaml/ppl_ocaml_globals.mli index 7aad9df..8973162 100644 --- a/interfaces/OCaml/ppl_ocaml_globals.mli +++ b/interfaces/OCaml/ppl_ocaml_globals.mli @@ -116,6 +116,12 @@ val ppl_version: val ppl_banner: unit -> string +val ppl_io_wrap_string: + string -> int -> int -> int -> string + +val ppl_max_space_dimension: + unit -> int + val ppl_Coefficient_is_bounded: unit -> bool @@ -125,9 +131,6 @@ val ppl_Coefficient_max: val ppl_Coefficient_min: unit -> Z.t -val ppl_max_space_dimension: - unit -> int - val ppl_set_rounding_for_PPL: unit -> unit

1 0

PPL broken for Canadian-cross builds
by Joseph S. Myers 29 Mar '09

29 Mar '09

I tried building GCC with Graphite enabled and all the libraries it requires in a Canadian cross configuration (build = i686-pc-linux-gnu, host = i686-mingw32, target = arm-none-eabi). This failed with: configure:11279: checking for the possibility to control the FPU configure:11282: error: in `/scratch/gcc/nightly-2009-03-19-mainline/arm-none-eabi/obj/ppl-mainline-0-arm-none-eabi-i686-mingw32': configure:11285: error: cannot run test program while cross compiling See `config.log' for more details. If you use AC_RUN_IFELSE you need to have a (safe) default (fourth argument) for cross compiling. An individual case is of course straightforward to fix, but it appears there are other such problems in PPL. For example, the GMP checks appear to treat GMP as not available in the cross compiling case; they should fall back to a compile/link test if they can't do an execution test; having found that I didn't go on to try to work out whether other defaults are safe or not. While the cross case may result in slightly less efficient code (if workarounds have to be enabled for bugs that may in fact not be present), it needs to allow the library to be built and to have all its features (or at least all the features used by GCC: the behavior of GCC on a host must not depend on whether PPL was cross compiled). Would it be possible to have an official 0.10.1 bug-fix release with this fixed (and preferably without changes that would affect the code generated by GCC) for use with GCC 4.4 so that it is possible to enable Graphite in such configurations? -- Joseph S. Myers joseph(a)codesourcery.com

3 7

[GIT] ppl/ppl(master): Moved changelogs and PostScript and PDF versions of the GPL to the
by Roberto Bagnara 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: dbd1c20c619271a14ec0411b532f5a4e1246402b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd1c20c6192… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 18:37:57 2009 +0200 Moved changelogs and PostScript and PDF versions of the GPL to the `docs' subpackages. This saves considerable space on the live media. --- fedora/ppl.spec | 18 +++++++++++++----- 1 files changed, 13 insertions(+), 5 deletions(-) diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 270d723..616189f 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -2,7 +2,7 @@ Name: ppl Version: 0.10 -Release: 10%{?dist} +Release: 11%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries @@ -253,12 +253,11 @@ mv \ %doc %{_datadir}/doc/%{name}-%{version}/BUGS %doc %{_datadir}/doc/%{name}-%{version}/COPYING %doc %{_datadir}/doc/%{name}-%{version}/CREDITS -%doc %{_datadir}/doc/%{name}-%{version}/ChangeLog %doc %{_datadir}/doc/%{name}-%{version}/NEWS %doc %{_datadir}/doc/%{name}-%{version}/README %doc %{_datadir}/doc/%{name}-%{version}/README.configure %doc %{_datadir}/doc/%{name}-%{version}/TODO -%doc %{_datadir}/doc/%{name}-%{version}/gpl.* +%doc %{_datadir}/doc/%{name}-%{version}/gpl.txt %{_libdir}/libppl.so.* %{_libdir}/libppl_c.so.* %{_bindir}/ppl-config @@ -345,8 +344,11 @@ mv \ %files docs %defattr(-,root,root,-) +%doc %{_datadir}/doc/%{name}-%{version}/ChangeLog* %doc %{_datadir}/doc/%{name}-%{version}/README.doc %doc %{_datadir}/doc/%{name}-%{version}/fdl.* +%doc %{_datadir}/doc/%{name}-%{version}/gpl.pdf +%doc %{_datadir}/doc/%{name}-%{version}/gpl.ps.gz %doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}-html/ %doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}-html/ #%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}-html/ @@ -367,10 +369,9 @@ mv \ %doc %{_datadir}/doc/%{name}-%{version}/pwl/BUGS %doc %{_datadir}/doc/%{name}-%{version}/pwl/COPYING %doc %{_datadir}/doc/%{name}-%{version}/pwl/CREDITS -%doc %{_datadir}/doc/%{name}-%{version}/pwl/ChangeLog %doc %{_datadir}/doc/%{name}-%{version}/pwl/NEWS %doc %{_datadir}/doc/%{name}-%{version}/pwl/README -%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.* +%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.txt %{_libdir}/libpwl.so.* %dir %{_datadir}/doc/%{name}-%{version}/pwl @@ -386,8 +387,11 @@ mv \ %files pwl-docs %defattr(-,root,root,-) +%doc %{_datadir}/doc/%{name}-%{version}/pwl/ChangeLog* %doc %{_datadir}/doc/%{name}-%{version}/pwl/README.doc %doc %{_datadir}/doc/%{name}-%{version}/pwl/fdl.* +%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.ps.gz +%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.pdf %doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5-html/ %doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.pdf %doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.ps.gz @@ -401,6 +405,10 @@ mv \ rm -rf %{buildroot} %changelog +* Sun Mar 29 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10-11 +- Moved changelogs and PostScript and PDF versions of the GPL to the + `docs' subpackages. This saves considerable space on the live media. + * Tue Mar 24 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10-10 - There are no GNU Prolog packages available on ia64: disable the GNU Prolog interface also on those platforms (besides ppc64, s390 and s390x).

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: 0ff53b9222267c5d545c44ae090c7c5aa2f15438 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff53b922226… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:49:19 2009 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 27246ab..52203fd 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,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],[0.10.1pre8],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre9],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Temporary workaround to force linking with C++.
by Roberto Bagnara 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: 1f90de71c3311b5ff8d69d535580227c00374f96 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f90de71c331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:48:31 2009 +0200 Temporary workaround to force linking with C++. --- interfaces/C/tests/Makefile.am | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am index 5137508..d303e7e 100644 --- a/interfaces/C/tests/Makefile.am +++ b/interfaces/C/tests/Makefile.am @@ -72,6 +72,11 @@ formatted_output.c \ print_to_buffer.h \ print_to_buffer.c +# Dummy C++ source to cause C++ linking. +# FIXME: why isn't enough to do this for libppl_c_tests.a? +nodist_EXTRA_formatted_output_SOURCES = \ +dummy.cc + #watchdog1_SRCS = watchdog1.cc noinst_HEADERS = \

1 0

[GIT] ppl/ppl(master): Improved the OCaml interfacing of PPL dimensions and coefficients.
by Enea Zaffanella 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: d9f5ad39c726c0cd68a395a5ca8a63371c516e71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f5ad39c726… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 11:46:51 2009 +0200 Improved the OCaml interfacing of PPL dimensions and coefficients. Added new helper functions: - value_to_unsigned_native<U_Int> - ppl_dimension_to_value - value_to_ppl_dimension - mpz_ptr_val and mpz_class_val - build_ppl_Variable. Prefer using Val_emptylist to Val_int(0). --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 104 +++++------ interfaces/OCaml/ppl_ocaml_common.cc | 206 +++++++++----------- interfaces/OCaml/ppl_ocaml_common.defs.hh | 12 +- interfaces/OCaml/ppl_ocaml_common.inlines.hh | 46 ++++- interfaces/OCaml/tests/test1.ml | 8 + 5 files changed, 201 insertions(+), 175 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d9f5ad39…

1 0

[GIT] ppl/ppl(master): Disable these tests on the Alpha.
by Roberto Bagnara 29 Mar '09

29 Mar '09

Module: ppl/ppl Branch: master Commit: cc202a760bf05b37ccab6a20b443ca87831ad2d0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc202a760bf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 08:48:27 2009 +0000 Disable these tests on the Alpha. --- tests/MIP_Problem/exceptions1.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/tests/MIP_Problem/exceptions1.cc b/tests/MIP_Problem/exceptions1.cc index 360c6e0..1662ef3 100644 --- a/tests/MIP_Problem/exceptions1.cc +++ b/tests/MIP_Problem/exceptions1.cc @@ -485,6 +485,8 @@ test19() { } // namespace BEGIN_MAIN +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); @@ -504,4 +506,5 @@ BEGIN_MAIN DO_TEST(test17); DO_TEST(test18); DO_TEST(test19); +#endif END_MAIN

1 0