- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added a section on README.configure describing dense /sparse row choices.
by Enea Zaffanella 28 Jun '12

28 Jun '12

Module: ppl/ppl Branch: master Commit: e67bf301791f0ccf339effaec8acf17ece69b3a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e67bf301791f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jun 28 11:10:36 2012 +0200 Added a section on README.configure describing dense/sparse row choices. --- README.configure | 62 ++++++++++++++++++++++++++++++++++++++++++----------- 1 files changed, 49 insertions(+), 13 deletions(-) diff --git a/README.configure b/README.configure index 24dfea5..7181c84 100644 --- a/README.configure +++ b/README.configure @@ -9,15 +9,16 @@ Configuration of the Parma Polyhedra Library Contents -------- -1. The Standard Thing (configure, make, make install) -2. Using the Right Version of GMP -3. Using the Right C and C++ Compilers -4. Enabling the Use of Alternative Coefficient Types -5. Configuring the Language Interfaces -6. Configuring for Optimized Performance -7. Configuring for Debugging -8. Programs that Come with the Library -9. Using the Git Sources + 1. The Standard Thing (configure, make, make install) + 2. Using the Right Version of GMP + 3. Using the Right C and C++ Compilers + 4. Enabling the Use of Alternative Coefficient Types + 5. Configuring the Language Interfaces + 6. Configuring for Optimized Performance + 7. Advanced Performance Tuning + 8. Configuring for Debugging + 9. Programs that Come with the Library +10. Using the Git Sources 1. The Standard Thing (configure, make, make install) @@ -373,7 +374,42 @@ in decreasing order of optimization, `--enable-optimization=mild' configure options that are useful for debugging purposes. -7. Configuring for Debugging +7. Advanced Performance Tuning +------------------------------ + +Starting from version 1.0, the library fully supports two different +representations for rows (i.e., sequences of coefficients): + + - 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. + +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. 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. + +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; + + +8. Configuring for Debugging ---------------------------- By default, the PPL is configured with debugging information enabled. @@ -411,7 +447,7 @@ In order to assess the coverage of the PPL test suite, the code to be used in conjunction with the `gcov' coverage testing tool. -8. Programs that Come with the Library +9. Programs that Come with the Library -------------------------------------- The PPL is shipped with two programs that are interesting per se, and @@ -439,8 +475,8 @@ In exchange, you will give up an important opportunity to discover whether the version of PPL you have built has been miscompiled. -9. Using the Git Sources ------------------------- +10. Using the Git Sources +------------------------- If you use the Git sources, then you need recent versions of Autoconf Automake and Libtool installed. After a `git clone' or `git pull'

1 0

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

28 Jun '12

Module: ppl/ppl Branch: master Commit: 3d84573982762eb5025bb5c161feab88393c7818 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d8457398276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 28 08:49:14 2012 +0200 More PPL citations. --- doc/ppl_citations.bib | 244 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 244 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3d845739…

1 0

[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