November 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Separate words from lexical items.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 5904df66748c501dc7316d8260c76e1c8d010bae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5904df66748c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 20:51:15 2011 +0100 Separate words from lexical items. --- devtools/good_items | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++ devtools/good_words | 53 ++++++++++++-------------------------------------- 2 files changed, 65 insertions(+), 40 deletions(-) diff --git a/devtools/good_items b/devtools/good_items new file mode 100644 index 0000000..b5eaa49 --- /dev/null +++ b/devtools/good_items @@ -0,0 +1,52 @@ +AUT00-13 +BemporadFT00TR +biggl +biggr +bigl +bigm +bigoplus +bigr +cdot +cplusplus +defeq +downarrow +endcode +endverbatim +forall +frac +get_den +get_num +hideinitializer +iff +ine +ingroup +ldots +lfloor +mapsto +mathbf +mathit +mathop +mathord +mathrel +mathrm +mathtt +nbrows +ncols +notin +nrows +overline +pfunc +pmod +rangle +rfloor +rightarrow +scriptstyle +sseq +textrm +tparam +ull +uparrow +varepsilon +xp +yp +zp diff --git a/devtools/good_words b/devtools/good_words index 3346828..94d739d 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,40 +1,13 @@ -aut00-13 -biggl -biggr -bigl -bigm -bigoplus -bigr -cdot -cplusplus -defeq -downarrow -endcode -endverbatim -forall -frac -hideinitializer -iff -ingroup -ldots -lfloor -mapsto -mathbf -mathit -mathop -mathord -mathrel -mathrm -mathtt -notin -overline -pmod -rangle -rfloor -rightarrow -scriptstyle -sseq -textrm -tparam -uparrow -varepsilon +fp +negator +coord +vec +srcptr +setbit +clrbit +tdiv +vr +umod +smod +itv +vsi

1 0

[GIT] ppl/ppl(master): Fixed FSF address.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 1ff38066e4eac32808769e9071ad77594249d33b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff38066e4ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 17:16:54 2011 +0100 Fixed FSF address. Detected by ECLAIR service cmntfile. --- src/OR_Matrix.defs.hh | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/src/OR_Matrix.defs.hh b/src/OR_Matrix.defs.hh index d554906..20ea2fc 100644 --- a/src/OR_Matrix.defs.hh +++ b/src/OR_Matrix.defs.hh @@ -15,9 +15,8 @@ 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -USA. +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/ . */

1 0

[GIT] ppl/ppl(master): Fixed file comment blocks and related mistakes.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: dbedf8514da0b58c7c5ff8c37356a9ffc8d1f835 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbedf8514da0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 15:30:29 2011 +0100 Fixed file comment blocks and related mistakes. Detected by ECLAIR service cmntfile. --- src/CO_Tree.cc | 2 +- src/Checked_Number.cc | 2 +- src/Coefficient_traits_template.hh | 27 +++++++++++++++++++-------- src/DB_Matrix.defs.hh | 2 +- src/DB_Row.defs.hh | 2 +- src/Grid_public.cc | 2 +- src/Linear_Row.defs.hh | 2 +- src/Linear_System.defs.hh | 2 +- src/Makefile.am | 2 +- src/OR_Matrix.defs.hh | 2 +- src/OR_Matrix.inlines.hh | 5 ++--- src/Octagonal_Shape.cc | 5 ++--- src/Octagonal_Shape.inlines.hh | 5 ++--- src/Og_Status.idefs.hh | 5 ++--- src/Og_Status.inlines.hh | 5 ++--- src/{Topology.hh => Topology.types.hh} | 6 +++--- src/checked.cc | 2 +- src/checked.defs.hh | 2 +- src/mp_std_bits.cc | 3 +-- src/mp_std_bits.defs.hh | 3 +-- src/mp_std_bits.inlines.hh | 3 +-- src/swapping_sort.templates.hh | 8 ++++---- 22 files changed, 50 insertions(+), 47 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dbedf851…

1 0

[GIT] ppl/ppl(master): Conflicts resolved.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: a9a6632bfcc7a546a2a7edcb636e47f60e4839b4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9a6632bfcc7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:25:15 2011 +0100 Conflicts resolved. --- src/BD_Shape.inlines.hh | 22 ++-------------------- 1 files changed, 2 insertions(+), 20 deletions(-) diff --git a/src/BD_Shape.inlines.hh b/src/BD_Shape.inlines.hh index 6004ae7..48c0241 100644 --- a/src/BD_Shape.inlines.hh +++ b/src/BD_Shape.inlines.hh @@ -798,22 +798,13 @@ BD_Shape<T>::CC76_extrapolation_assign(const BD_Shape& y, unsigned* tp) { template <typename T> inline void BD_Shape<T>::H79_widening_assign(const BD_Shape& y, unsigned* tp) { -<<<<<<< HEAD - // See the documentation for polyhedra. - C_Polyhedron px(constraints()); - C_Polyhedron py(y.constraints()); - px.H79_widening_assign(py, tp); - BD_Shape x(px); - m_swap(x); -======= // Compute the H79 widening on polyhedra. // TODO: provide a direct implementation. C_Polyhedron ph_x(constraints()); C_Polyhedron ph_y(y.constraints()); ph_x.H79_widening_assign(ph_y, tp); BD_Shape x(ph_x); - swap(x); ->>>>>>> Project vocabulary fixes. + m_swap(x); PPL_ASSERT(OK()); } @@ -828,22 +819,13 @@ inline void BD_Shape<T>::limited_H79_extrapolation_assign(const BD_Shape& y, const Constraint_System& cs, unsigned* tp) { -<<<<<<< HEAD - // See the documentation for polyhedra. - C_Polyhedron px(constraints()); - C_Polyhedron py(y.constraints()); - px.limited_H79_extrapolation_assign(py, cs, tp); - BD_Shape x(px); - m_swap(x); -======= // Compute the limited H79 extrapolation on polyhedra. // TODO: provide a direct implementation. C_Polyhedron ph_x(constraints()); C_Polyhedron ph_y(y.constraints()); ph_x.limited_H79_extrapolation_assign(ph_y, cs, tp); BD_Shape x(ph_x); - swap(x); ->>>>>>> Project vocabulary fixes. + m_swap(x); PPL_ASSERT(OK()); }

1 0

[GIT] ppl/ppl(master): Project vocabulary fixes.
by Roberto Bagnara 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 98475d291117f687b61cdaef3971f76bde4fe3bd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98475d291117… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 7 10:21:57 2011 +0100 Project vocabulary fixes. Detected by ECLAIR service idntvcbl. --- src/BD_Shape.defs.hh | 2 +- src/BD_Shape.inlines.hh | 33 ++++++-- src/BD_Shape.templates.hh | 43 +++++----- src/Bit_Matrix.defs.hh | 1 - src/Box.defs.hh | 6 +- src/Box.templates.hh | 196 ++++++++++++++++++++++---------------------- 6 files changed, 151 insertions(+), 130 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=98475d29…

1 0

[GIT] ppl/ppl(master): Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 1597df4105756ddeab2027e8e837d97c9924bb4b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1597df410575… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:50:41 2011 +0100 Let Doxygen expand macro PPL_USE_SPARSE_MATRIX as defined. --- doc/devref-language-interface.doxyconf.in | 3 ++- doc/devref.doxyconf-html.in | 3 ++- doc/devref.doxyconf-latex.in | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/doc/devref-language-interface.doxyconf.in b/doc/devref-language-interface.doxyconf.in index 9f5204b..32c1bb5 100644 --- a/doc/devref-language-interface.doxyconf.in +++ b/doc/devref-language-interface.doxyconf.in @@ -223,7 +223,8 @@ PREDEFINED = <PPL_SED_CONFIGURED_MANUAL> \ PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS \ PPL_PROTO(protos):=protos EXPAND_AS_DEFINED = DECLARE_CONVERSIONS \ - CATCH_ALL + CATCH_ALL \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 99bfb68..8a67bd5 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -521,7 +521,8 @@ SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS +EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 500665e..dce5cac 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -519,7 +519,8 @@ SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS +EXPAND_AS_DEFINED = PPL_OUTPUT_DECLARATIONS \ + PPL_USE_SPARSE_MATRIX SKIP_FUNCTION_MACROS = YES #--------------------------------------------------------------------------- # Configuration::additions related to external references

1 0

[GIT] ppl/ppl(master): Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 5d31265f3e17b7e1d0d03d0009a1906b2d03165c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d31265f3e17… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:48:31 2011 +0100 Renamed macros USE_PPL_SPARSE_MATRIX to use PPL_ prefix. --- src/MIP_Problem.cc | 24 ++++++++++++------------ src/MIP_Problem.defs.hh | 8 ++++---- src/Matrix.defs.hh | 2 +- src/Matrix.types.hh | 6 +++--- src/PIP_Tree.cc | 6 +++--- src/Row.defs.hh | 2 +- src/Row.types.hh | 6 +++--- src/globals.defs.hh | 4 ++-- tests/CO_Tree/cotree1.cc | 6 +++--- tests/Sparse_Matrix/sparsematrix1.cc | 6 +++--- tests/Sparse_Matrix/sparserow1.cc | 6 +++--- 11 files changed, 38 insertions(+), 38 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5d31265f…

1 0

[GIT] ppl/ppl(master): Added a few missing \relates Doxygen commands.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 8594db9c59a6466420892b6e814ba968b268e3cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8594db9c59a6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:10:27 2011 +0100 Added a few missing \relates Doxygen commands. --- src/Sparse_Matrix.cc | 2 ++ src/Sparse_Row.cc | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/Sparse_Matrix.cc b/src/Sparse_Matrix.cc index 1ece20c..cfa4709 100644 --- a/src/Sparse_Matrix.cc +++ b/src/Sparse_Matrix.cc @@ -173,6 +173,7 @@ PPL::Sparse_Matrix::OK() const { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Matrix */ bool PPL::operator==(const Sparse_Matrix& x, const Sparse_Matrix& y) { if (x.num_rows() != y.num_rows()) @@ -185,6 +186,7 @@ PPL::operator==(const Sparse_Matrix& x, const Sparse_Matrix& y) { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Matrix */ bool PPL::operator!=(const Sparse_Matrix& x, const Sparse_Matrix& y) { return !(x == y); diff --git a/src/Sparse_Row.cc b/src/Sparse_Row.cc index 9688ba3..64e224b 100644 --- a/src/Sparse_Row.cc +++ b/src/Sparse_Row.cc @@ -514,6 +514,7 @@ PPL::Sparse_Row::OK(dimension_type /* capacity */) const { return OK(); } +/*! \relates Parma_Polyhedra_Library::Sparse_Row */ bool PPL::operator==(const Sparse_Row& x, const Sparse_Row& y) { if (x.size() != y.size()) @@ -550,6 +551,7 @@ PPL::operator==(const Sparse_Row& x, const Sparse_Row& y) { return true; } +/*! \relates Parma_Polyhedra_Library::Sparse_Row */ bool PPL::operator!=(const Sparse_Row& x, const Sparse_Row& y) { return !(x == y);

1 0

[GIT] ppl/ppl(master): The swapping methods of PPL types are now named m_swap.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 43b2e9cc5db328ba4c6f6619473bd0ce873012e1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b2e9cc5db3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:09:46 2011 +0100 The swapping methods of PPL types are now named m_swap. --- doc/definitions.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index be78f1c..8ed3f61 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -279,7 +279,7 @@ descriptors since they are also used in <EM>generic</EM> PPL operations. <CODE>intersection_assign()</CODE>, <CODE>upper_bound_assign()</CODE>, <CODE>difference_assign()</CODE>, <CODE>time_elapse_assign()</CODE>, <CODE>widening_assign()</CODE>, - <CODE>concatenate_assign()</CODE>, <CODE>%swap()</CODE> + <CODE>concatenate_assign()</CODE>, <CODE>m_swap()</CODE> modify the semantic GD, possibly with an argument semantic GD of the same class.

1 0

[GIT] ppl/ppl(master): swap functions for PPL types are now defined in the PPL namespace.
by Enea Zaffanella 07 Nov '11

07 Nov '11

Module: ppl/ppl Branch: master Commit: 2f19c7ff69b6a4b4a282077e74c54d089a2f9f9e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f19c7ff69b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 7 09:07:37 2011 +0100 swap functions for PPL types are now defined in the PPL namespace. --- src/namespaces.hh | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/namespaces.hh b/src/namespaces.hh index db8f843..b122fe1 100644 --- a/src/namespaces.hh +++ b/src/namespaces.hh @@ -167,10 +167,8 @@ namespace YAP { The Parma Polyhedra Library conforms to the C++ standard and, in particular, as far as reserved names are concerned (17.4.3.1, [lib.reserved.names]). The PPL, however, defines several - template specializations for the standard library function templates - <CODE>swap()</CODE> and <CODE>iter_swap()</CODE> (25.2.2, [lib.alg.swap]), - and for the class template <CODE>numeric_limits</CODE> - (18.2.1, [lib.limits]). + template specializations for the standard library class template + <CODE>numeric_limits</CODE> (18.2.1, [lib.limits]). \note The PPL provides the specializations of the class template

1 0