June 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): New PPL citations.
by Roberto Bagnara 28 Jun '12

28 Jun '12

Module: ppl/ppl Branch: master Commit: d3eee0d94ca392a2287a5394e57797f4727ec712 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3eee0d94ca3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 28 07:58:30 2012 +0200 New PPL citations. --- doc/ppl_citations.bib | 205 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 204 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d3eee0d9…

1 0

[GIT] ppl/ppl(master): Redundant script removed.
by Roberto Bagnara 28 Jun '12

28 Jun '12

Module: ppl/ppl Branch: master Commit: 6d8e6c803c26f9cc36b45996491278bbb6e3f14d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8e6c803c26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 28 07:44:36 2012 +0200 Redundant script removed. --- devtools/generate_dox_ci_prolog_manual | 28 ---------------------------- 1 files changed, 0 insertions(+), 28 deletions(-) diff --git a/devtools/generate_dox_ci_prolog_manual b/devtools/generate_dox_ci_prolog_manual deleted file mode 100755 index 4e0fb21..0000000 --- a/devtools/generate_dox_ci_prolog_manual +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh -# Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is part of the Parma Polyhedra Library (PPL). -# -# The PPL is free software; you can redistribute it and/or modify it -# under the terms of the GNU General Public License as published by the -# Free Software Foundation; either version 3 of the License, or (at your -# option) any later version. -# -# The PPL is distributed in the hope that it will be useful, but WITHOUT -# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -# for more details. -# -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software Foundation, -# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. -# -# For the most up-to-date information see the Parma Polyhedra Library -# site: http://bugseng.com/products/ppl/ . - -m4 --prefix-builtin -I../../interfaces -I../../interfaces/Prolog \ - --define=m4_configuration_independent \ - ../../interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 \ - > Prolog_interface_blob -mv -f Prolog_interface_blob Prolog_interface.dox

1 0

[GIT] ppl/ppl(master): Upgraded doxygen configuration files to version 1.8. 1.1.
by Enea Zaffanella 27 Jun '12

27 Jun '12

Module: ppl/ppl Branch: master Commit: 88bea81e6b4b463c971a1d7f0376e8ddddbd834a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88bea81e6b4b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jun 27 11:04:58 2012 +0200 Upgraded doxygen configuration files to version 1.8.1.1. --- doc/devref-language-interface.doxyconf.in | 6 ++---- doc/devref.doxyconf-html.in | 6 ++---- doc/devref.doxyconf-latex.in | 6 ++---- doc/user-language-interface.doxyconf.in | 6 ++---- doc/user.doxyconf-html.in | 6 ++---- doc/user.doxyconf-latex.in | 6 ++---- 6 files changed, 12 insertions(+), 24 deletions(-) diff --git a/doc/devref-language-interface.doxyconf.in b/doc/devref-language-interface.doxyconf.in index b9315bb..5ad71ec 100644 --- a/doc/devref-language-interface.doxyconf.in +++ b/doc/devref-language-interface.doxyconf.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = Include_Implementation_Details MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -144,8 +143,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -171,7 +170,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10 diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index c7e1167..c3002b7 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = Include_Implementation_Details MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -172,8 +171,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -199,7 +198,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10 diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 050d8f1..a2bd931 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = Include_Implementation_Details MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -171,8 +170,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -198,7 +197,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10 diff --git a/doc/user-language-interface.doxyconf.in b/doc/user-language-interface.doxyconf.in index 3bb099c..e1b53bb 100644 --- a/doc/user-language-interface.doxyconf.in +++ b/doc/user-language-interface.doxyconf.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = <PPL_SED_ENABLED_SECTIONS> MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -144,8 +143,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -171,7 +170,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10 diff --git a/doc/user.doxyconf-html.in b/doc/user.doxyconf-html.in index 8780319..cf52424 100644 --- a/doc/user.doxyconf-html.in +++ b/doc/user.doxyconf-html.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -147,8 +146,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -174,7 +173,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10 diff --git a/doc/user.doxyconf-latex.in b/doc/user.doxyconf-latex.in index 13e79cf..dfc01dd 100644 --- a/doc/user.doxyconf-latex.in +++ b/doc/user.doxyconf-latex.in @@ -1,4 +1,4 @@ -# Doxyfile 1.8.0 +# Doxyfile 1.8.1.1 #--------------------------------------------------------------------------- # Project related configuration options @@ -78,7 +78,6 @@ GENERATE_DEPRECATEDLIST= YES ENABLED_SECTIONS = MAX_INITIALIZER_LINES = 5 SHOW_USED_FILES = YES -SHOW_DIRECTORIES = NO SHOW_FILES = YES SHOW_NAMESPACES = YES FILE_VERSION_FILTER = @@ -147,8 +146,8 @@ HTML_COLORSTYLE_HUE = 220 HTML_COLORSTYLE_SAT = 100 HTML_COLORSTYLE_GAMMA = 80 HTML_TIMESTAMP = YES -HTML_ALIGN_MEMBERS = YES HTML_DYNAMIC_SECTIONS = NO +HTML_INDEX_NUM_ENTRIES = 100 GENERATE_DOCSET = NO DOCSET_FEEDNAME = "Doxygen generated docs" DOCSET_BUNDLE_ID = org.doxygen.Project @@ -174,7 +173,6 @@ ECLIPSE_DOC_ID = org.doxygen.Project DISABLE_INDEX = NO GENERATE_TREEVIEW = YES ENUM_VALUES_PER_LINE = 4 -USE_INLINE_TREES = NO TREEVIEW_WIDTH = 250 EXT_LINKS_IN_WINDOW = NO FORMULA_FONTSIZE = 10

1 0

[GIT] ppl/ppl(master): Avoid useless namespace closing and reopening.
by Enea Zaffanella 27 Jun '12

27 Jun '12

Module: ppl/ppl Branch: master Commit: 3270894625ee282880216cdf5bce523a8d38ba85 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3270894625ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jun 27 11:04:09 2012 +0200 Avoid useless namespace closing and reopening. --- src/Sparse_Row.defs.hh | 11 ++--------- 1 files changed, 2 insertions(+), 9 deletions(-) diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 9dde180..a089627 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -30,8 +30,6 @@ site: http://bugseng.com/products/ppl/ . */ #include "Coefficient.defs.hh" #include "Dense_Row.types.hh" -namespace Parma_Polyhedra_Library { - #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A finite sparse sequence of coefficients. /*! \ingroup PPL_CXX_interface @@ -57,7 +55,7 @@ namespace Parma_Polyhedra_Library { \see CO_Tree */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -class Sparse_Row { +class Parma_Polyhedra_Library::Sparse_Row { public: @@ -757,7 +755,7 @@ public: Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end); - + PPL_OUTPUT_DECLARATIONS //! Loads the row from an ASCII representation generated using ascii_dump(). @@ -824,7 +822,6 @@ private: dimension_type size_; }; -} // namespace Parma_Polyhedra_Library namespace Parma_Polyhedra_Library { @@ -841,10 +838,6 @@ void swap(Parma_Polyhedra_Library::Sparse_Row& x, void swap(Parma_Polyhedra_Library::Dense_Row& x, Parma_Polyhedra_Library::Sparse_Row& y); -} // namespace std - -namespace Parma_Polyhedra_Library { - #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if and only if \p x and \p y are equal. /*! \relates Sparse_Row */

1 0

[GIT] ppl/ppl(master): Improved section announcing sparse/ dense row representation adoption.
by Enea Zaffanella 27 Jun '12

27 Jun '12

Module: ppl/ppl Branch: master Commit: bf81124478b8102147d413f69d8c23177f4911fe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf81124478b8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jun 27 10:20:11 2012 +0200 Improved section announcing sparse/dense row representation adoption. --- NEWS | 46 ++++++++++++++++++++++++++++++++++++++-------- 1 files changed, 38 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index f220beb..fac7d33 100644 --- a/NEWS +++ b/NEWS @@ -15,14 +15,44 @@ NEWS for version 1.0 (released on June 28, 2012) New and Changed Features ======================== -o Added a generic interface for sequences of coefficients enabling a - seamless switch between the dense or the sparse row representation. - The implementation of many library entities (linear expressions, - constraints, generators, congruences, and their systems) can now be - tailored to the specific usage context, sometimes leading to - significant memory space savings (e.g., for constraint systems - describing weakly relational abstractions such as boxes and - octagonal shapes). +o Significant improvements have been obtained in both time and space + resource usage by the definition of data structures and algorithms + for the case of "sparse rows", i.e., sequences of coefficients + where most of the values are zero. + +o The library fully supports two different representations for rows: + the "dense" representation is an array-like representation tailored + to sequences having most of their coefficients different from zero; + the "sparse" representation saves memory space (as well as CPU + cycles) when most of the coefficients in the sequence are zero. + +o A generic interface allows for a seamless interaction between the + dense and the sparse row representation. Most library entities + (linear expressions, constraints, generators, congruences, and + their systems) can be built using either representation, specified + as a constructor's argument. + +o As a by-product of this sparse/dense refactoring work, efficiency + improvements have been obtained even for those computations that + are still based on the dense row representation. + +o Reasonable default values for the row representation are provided + for each library entity, automatically leading to significant + memory space savings even in old client/library code, e.g., when + dealing with constraint systems describing weakly relational + abstractions such as boxes and octagonal shapes. + +o If desired, these default values can be customized to user's needs + by changing just a few lines of library code. For instance, the + constraint systems stored inside C_Polyhedron and NNC_Polyhedron + objects can be made to use the sparse representation by just + changing the following line in Polyhedron.defs.hh: + + static const Representation default_con_sys_repr = DENSE; + + to become + + static const Representation default_con_sys_repr = SPARSE; Bugfixes

1 0

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: b953bd3a4260008a5bbde84139da0d7e50994fa3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b953bd3a4260… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 09:05:59 2012 +0200 Updated. --- doc/libppl.3 | 8 ++++---- doc/libppl_c.3 | 16 ++++++++-------- doc/ppl-config.1 | 10 +++++----- doc/ppl-config_extra_man_text | 10 +++++----- 4 files changed, 22 insertions(+), 22 deletions(-) diff --git a/doc/libppl.3 b/doc/libppl.3 index 7b3e4fa..691b187 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "April 2012" "PPL 0.12.1" "libppl overview" +.TH libppl "3" "June 2012" "PPL 1.0" "libppl overview" .SH NAME libppl \- the C++ interface of the Parma Polyhedra Library @@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library User's Manual (version 1.0)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -61,7 +61,7 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)", +.IR "The Parma Polyhedra Library User's Manual (version 1.0)", you can find many examples of use in the directories .B tests (see the @@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions. .BR ppl-config(1) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)", +.IR "The Parma Polyhedra Library User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 19fbc4e..aa76d21 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "April 2012" "PPL 0.12.1" "libppl_c overview" +.TH libppl_c "3" "June 2012" "PPL 1.0" "libppl_c overview" .SH NAME libppl_c \- the C interface of the Parma Polyhedra Library @@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library User's Manual (version 1.0)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -48,9 +48,9 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library User's Manual (version 1.0)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)" you can find examples of use in the directories .B interfaces/C/tests and @@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users). .SH "RETURN VALUES" All the PPL C interface functions return an int: a negative value means that an error occurred. See -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)" for the error codes. .SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS" @@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions. .BR libppl(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)", +.IR "The Parma Polyhedra Library User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index b7dae3d..3c18381 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -117,26 +117,26 @@ Report bugs to <ppl\-devel(a)cs.unipr.it>. .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index 8561dd4..63852a8 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.12)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR .

1 0

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: e3e1b20071b160060c6c2105969615a3275b98f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3e1b20071b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 09:01:15 2012 +0200 Updated. --- TODO | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/TODO b/TODO index 75b2e0d..4c74e74 100644 --- a/TODO +++ b/TODO @@ -1,6 +1,6 @@ -Enhancements for PPL 0.13 or later versions -=========================================== +Enhancements for PPL 1.1 or later versions +========================================== - Make all the *affine*image() methods uniform as far as the specification is concerned. @@ -65,8 +65,8 @@ Enhancements for PPL 0.13 or later versions - Any_Pointset domain: check the interface for lacking or useless methods. -Enhancements for PPL 0.14 or later versions -=========================================== +Enhancements for PPL 1.2 or later versions +========================================== - Find a way to let the GMP and checked-int versions of the PPL coexist so as to allow using them in the same application.

1 0

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

27 Jun '12

Module: ppl/ppl Branch: master Commit: dbcdb6795a1aaa30cc3e103a2ca086ff4b80022b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbcdb6795a1a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jun 27 09:00:14 2012 +0200 Updated. --- NEWS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 3ff2c3f..f220beb 100644 --- a/NEWS +++ b/NEWS @@ -9,7 +9,7 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- -NEWS for version 1.0 (released on June 27, 2012) +NEWS for version 1.0 (released on June 28, 2012) -------------------------------------------------------------------------- New and Changed Features

1 0

[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