June 2012 - PPL-devel - BUGSENG Mailman

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: ac5b71f627b8fb9c0ce9a63704f73babfd70d0c0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac5b71f627b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 08:15:01 2012 +0200 Updated. --- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/ppl-config.1 | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index c938752..9d5ebb8 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. -.TH PPL_LCDD "1" "April 2012" "ppl_lcdd 0.12.1" "User Commands" +.TH PPL_LCDD "1" "June 2012" "ppl_lcdd 1.0" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index be4f9f8..52f1231 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. -.TH PPL_LPSOL "1" "April 2012" "ppl_lpsol 0.12.1" "User Commands" +.TH PPL_LPSOL "1" "June 2012" "ppl_lpsol 1.0" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 5faef8e..0b55367 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. -.TH PPL_PIPS "1" "April 2012" "ppl_pips 0.12.1" "User Commands" +.TH PPL_PIPS "1" "June 2012" "ppl_pips 1.0" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index fab9a20..b7dae3d 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.4. -.TH PPL-CONFIG "1" "April 2012" "ppl-config 0.12.1" "User Commands" +.TH PPL-CONFIG "1" "June 2012" "ppl-config 1.0" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS

1 0

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

27 Jun '12

1 0

[GIT] ppl/ppl(master): Unconditionally distribute the man page.
by Roberto Bagnara 27 Jun '12

27 Jun '12

Module: ppl/ppl Branch: master Commit: ff9eb6ed7c3da9a3aff82d2b3689b61c4c98edf3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff9eb6ed7c3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 07:44:33 2012 +0200 Unconditionally distribute the man page. --- demos/ppl_lpsol/Makefile.am | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index 56dcaa1..44a4f7d 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -36,6 +36,9 @@ expected_int32_a \ expected_int64 \ expected_int64_a +dist_man_MANS = \ +ppl_lpsol.1 + if BUILD_C_INTERFACE if HAVE_GLPK @@ -77,9 +80,6 @@ noinst_LIBRARIES = libglpk_set_d_eps.a libglpk_set_d_eps_a_SOURCES = \ glpk_set_d_eps.c -dist_man_MANS = \ -ppl_lpsol.1 - COEFFICIENT_MNEMONIC = @coefficient_mnemonic@ if ASSERTIONS_ENABLED

1 0

[GIT] ppl/ppl(master): Fixed fpu rounding set/restore.
by Abramo Bagnara 26 Jun '12

26 Jun '12

Module: ppl/ppl Branch: master Commit: e7616abe63c69c53b9c921ce52424495020c111c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7616abe63c6… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Jun 26 22:26:58 2012 +0200 Fixed fpu rounding set/restore. --- tests/Polyhedron/randphull1.cc | 6 ------ 1 files changed, 0 insertions(+), 6 deletions(-) diff --git a/tests/Polyhedron/randphull1.cc b/tests/Polyhedron/randphull1.cc index 44103a5..eb43cdd 100644 --- a/tests/Polyhedron/randphull1.cc +++ b/tests/Polyhedron/randphull1.cc @@ -99,10 +99,6 @@ point_on_the_unit_n_sphere(unsigned n, std::vector<float>& coordinate) { assert(n >= 2); - // Many libm implementations only work with round-to-nearest. - // See, e.g, http://sources.redhat.com/bugzilla/show_bug.cgi?id=3976 - restore_pre_PPL_rounding(); - if (n == 2) { coordinate[0] *= sin(theta[0]); coordinate[1] *= cos(theta[0]); @@ -114,8 +110,6 @@ point_on_the_unit_n_sphere(unsigned n, coordinate[i] *= sin_theta_n_2; coordinate[n-1] *= cos(theta[n-2]); } - - set_rounding_for_PPL(); } void

1 0

[GIT] ppl/ppl(master): Use macro PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS to exclude several
by Enea Zaffanella 26 Jun '12

26 Jun '12

Module: ppl/ppl Branch: master Commit: 781172d6774932de15fddef7b0e55f42573ef357 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=781172d67749… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 26 15:27:52 2012 +0200 Use macro PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS to exclude several classes/functions from user documentation. While at it, also wrap several long lines. --- src/Dense_Row.defs.hh | 6 ++ src/Expression_Hide_Inhomo.defs.hh | 2 + src/Expression_Hide_Last.defs.hh | 5 +- src/Linear_Expression.defs.hh | 36 ++++++--- src/Linear_Expression_Impl.defs.hh | 120 +++++++++++++++++++------------ src/Linear_Expression_Interface.defs.hh | 97 ++++++++++++++++--------- src/Matrix.defs.hh | 8 ++- src/Sparse_Row.defs.hh | 21 +++++- src/Swapping_Vector.defs.hh | 2 + 9 files changed, 196 insertions(+), 101 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=781172d6…

1 0

[GIT] ppl/ppl(master): Version bumped.
by Roberto Bagnara 26 Jun '12

26 Jun '12

Module: ppl/ppl Branch: master Commit: 3033ad3bd74cabead7dbc8ee574490fd1a1d8ccc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3033ad3bd74c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 26 11:20:06 2012 +0200 Version bumped. --- src/Makefile.am | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 3affe9d..8a73add 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -58,8 +58,9 @@ # 0.11 9:0:0 # 0.12 10:0:0 # 0.12.1 11:0:0 +# 1.0 12:0:0 -LIBPPL_LT_CURRENT = 11 +LIBPPL_LT_CURRENT = 12 LIBPPL_LT_REVISION = 0 LIBPPL_LT_AGE = 0

1 0

Question about looping through lattice vertices inside a bounded convex polyhedron
by SADOVSKY, ALEXANDER V. (ARC-AFH) 26 Jun '12

26 Jun '12

Hello, I have a bounded convex polytope, defined by a collection of linear inequalities. What I need is to be able to loop programmatically through all points that have integer coordinates and are contained in the polytope. There are some occurrences of the string "loop" in the documentation, but I couldn't understand what "loops" are meant there, nor how to write, say, a FOR- or WHILE-loop that will list all the points in the finite set I described above. Any help would be greatly appreciated. Thanks, Alex Sadovsky NASA Ames Research Center AFH, Mail stop 210-6 Moffett Field, CA 94035 650 604 2331 (ph) 650 604 0174 (f)

2 1

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 25 Jun '12

25 Jun '12

Module: ppl/ppl Branch: master Commit: 9c2f92ded8c06688ce7d6f0cda5e2f6cb8d2e4c5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c2f92ded8c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 25 07:30:01 2012 +0200 Indentation fixed. --- tests/Polyhedron/watchdog1.cc | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc index f48e875..21f067e 100644 --- a/tests/Polyhedron/watchdog1.cc +++ b/tests/Polyhedron/watchdog1.cc @@ -84,9 +84,9 @@ timed_compute_open_hypercube_generators(dimension_type dimension, int csecs) { // If Watchdog objects are not supported, an std::logic_error exception // will be thrown: this is normal. catch (const std::logic_error& e) { - nout << "std::logic_error exception caught: \n" << e.what() << std::endl; - exit(0); -} + nout << "std::logic_error exception caught: \n" << e.what() << std::endl; + exit(0); + } #endif // !PPL_WATCHDOG_OBJECTS_ARE_SUPPORTED catch (const std::exception& e) { nout << "unexpected std::exception caught: \n" << e.what() << endl;

1 0

[GIT] ppl/ppl(master): Cater for systems where Watchdog objects are not supported.
by Roberto Bagnara 25 Jun '12

25 Jun '12

Module: ppl/ppl Branch: master Commit: 1fdc42b117a044a92a4c3fc74835477fe4437d6a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fdc42b117a0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jun 25 07:28:43 2012 +0200 Cater for systems where Watchdog objects are not supported. --- tests/MIP_Problem/mipproblem2.cc | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/tests/MIP_Problem/mipproblem2.cc b/tests/MIP_Problem/mipproblem2.cc index 3f436c5..60a07b0 100644 --- a/tests/MIP_Problem/mipproblem2.cc +++ b/tests/MIP_Problem/mipproblem2.cc @@ -139,6 +139,14 @@ bool test01() { nout << "timeout, as expected" << endl; return true; } +#if !PPL_WATCHDOG_OBJECTS_ARE_SUPPORTED + // If Watchdog objects are not supported, an std::logic_error exception + // will be thrown: this is normal. + catch (const std::logic_error& e) { + nout << "std::logic_error exception caught: \n" << e.what() << std::endl; + exit(0); + } +#endif // !PPL_WATCHDOG_OBJECTS_ARE_SUPPORTED catch (const std::overflow_error& e) { abandon_expensive_computations = 0; if (std::numeric_limits<Coefficient>::is_integer

1 0

[GIT] ppl/ppl(master): Removed a couple of typedefs.
by Enea Zaffanella 23 Jun '12

23 Jun '12

Module: ppl/ppl Branch: master Commit: 1ea5be453eb3cdac4d5cfd35fe9b4b866a4d8f11 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ea5be453eb3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jun 23 14:56:59 2012 +0200 Removed a couple of typedefs. These have become useless (and confusing) after the merge of sparse_matrices. --- .../C/ppl_c_implementation_common.inlines.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.inlines.hh b/interfaces/C/ppl_c_implementation_common.inlines.hh index 3057913..3e3e8f0 100644 --- a/interfaces/C/ppl_c_implementation_common.inlines.hh +++ b/interfaces/C/ppl_c_implementation_common.inlines.hh @@ -47,7 +47,6 @@ DECLARE_CONVERSIONS(Constraint, Constraint) DECLARE_CONVERSIONS(Constraint_System, Constraint_System) -typedef Constraint_System::const_iterator Constraint_System_const_iterator; DECLARE_CONVERSIONS(Constraint_System_const_iterator, Constraint_System_const_iterator) @@ -55,7 +54,6 @@ DECLARE_CONVERSIONS(Generator, Generator) DECLARE_CONVERSIONS(Generator_System, Generator_System) -typedef Generator_System::const_iterator Generator_System_const_iterator; DECLARE_CONVERSIONS(Generator_System_const_iterator, Generator_System_const_iterator)

1 0