- PPL-devel - BUGSENG Mailman

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: 6ead05b6791ed42477f58d8479df4601b6715ff1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ead05b6791e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 08:38:08 2012 +0200 Updated. --- doc/definitions.dox | 42 ++++++++++++++++++++++++++++++------------ 1 files changed, 30 insertions(+), 12 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index d0c2da4..f0ae250 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2958,7 +2958,7 @@ C. Ancourt. <DT>[BA05]</DT> <DD> \anchor BA05 -J. M. Bjorndalen and O. Anshus. +J. M. Bjørndalen and O. Anshus. Lessons learned in benchmarking - Floating point benchmarks: Can you trust them? In Proceedings of the Norsk informatikkonferanse 2005 @@ -3014,8 +3014,6 @@ B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborg R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. A linear domain for analyzing the distribution of numerical values. Report 2005.06, School of Computing, University of Leeds, UK, 2005. - Available at - <a href="http://www.comp.leeds.ac.uk/research/pubs/reports.shtml">http://www.comp.leeds.ac.uk/research/pubs/reports.shtml</a>. </DD> @@ -3409,8 +3407,6 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. abstractions. Computational Geometry: Theory and Applications, 43(5):453-473, 2010. - To appear in print. Available online at - <a href="http://dx.doi.org/10.1016/j.comgeo.2009.09.002">http://dx.doi.org/10.1016/j.comgeo.2009.09.002</a>. </DD> @@ -3451,9 +3447,31 @@ R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella. unabridged version. Quaderno 498, Dipartimento di Matematica, Università di Parma, Italy, 2010. - Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also - published as <tt>arXiv:cs.PL/1004.0944</tt>, available from - <a href="http://arxiv.org/">http://arxiv.org/</a>. + Superseded by \ref BMPZ12a "[BMPZ12a]". + +</DD> + + +<DT>[BMPZ12a]</DT> +<DD> +\anchor BMPZ12a +R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella. + The automatic synthesis of linear ranking functions: The complete + unabridged version. + Report <tt>arXiv:cs.PL/1004.0944v2</tt>, 2012. + Available at <a href="http://arxiv.org/">http://arxiv.org/</a> and + <a href="http://bugseng.com/products/ppl/">http://bugseng.com/products/ppl/</a>. Improved version of + \ref BMPZ10 "[BMPZ10]". + +</DD> + + +<DT>[BMPZ12b]</DT> +<DD> +\anchor BMPZ12b +R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella. + A new look at the automatic synthesis of linear ranking functions. + Information and Computation, 215:47-–67, 2012. </DD> @@ -3518,7 +3536,8 @@ P. Cousot and R. Cousot. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Proceedings of the Sixth Annual ACM Symposium on Principles - of Programming Languages, pages 269-282, New York, 1979. ACM Press. + of Programming Languages, pages 269-282, San Antonio, TX, USA, 1979. ACM + Press. </DD> @@ -3844,8 +3863,7 @@ T. A. Henzinger, J. Preussig, and H. Wong-Toi. \anchor Jea02 B. Jeannet. Convex Polyhedra Library, release 1.1.3c edition, March 2002. - Documentation of the “New Polka” library available at - <a href="http://www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html">http://www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html</a>. + Documentation of the “New Polka” library. </DD> @@ -3869,7 +3887,7 @@ J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, and V. Gurvich. Generating all vertices of a polyhedron is hard. Discrete and Computational Geometry, 2006. - Invited contribution. To appear. + Invited contribution. </DD>

1 0

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: 6fd9b5f1e9987ce5d1a7a1d68ec1b817e4f725b9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd9b5f1e998… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 08:36:53 2012 +0200 Notes fixed. --- doc/ppl.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ppl.bib b/doc/ppl.bib index 3783341..dac0a5f 100644 --- a/doc/ppl.bib +++ b/doc/ppl.bib @@ -1798,7 +1798,7 @@ Summarizing: Edition = "version 1.0 of {POLINE}", Month = sep, Year = 1995, - Note = "documentation taken from source code", + Note = "Documentation taken from source code.", } @Article{HalbwachsPR97, @@ -1986,7 +1986,7 @@ Summarizing: Edition = "release 1.1.3c", Month = mar, Year = 2002, - Note = "documentation of the ``New Polka'' library.", + Note = "Documentation of the ``New Polka'' library.", } @Article{Kuhn56,

1 0

[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