February 2011 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Fixed a documentation problem in a \ref Doxygen command.
by Enea Zaffanella 25 Feb '11

25 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: fbf479d9e20adf2d0770990ecec625b5f77e99cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbf479d9e20a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 25 10:57:34 2011 +0100 Fixed a documentation problem in a \ref Doxygen command. --- src/Row.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Row.defs.hh b/src/Row.defs.hh index 2c91f4c..2d580f5 100644 --- a/src/Row.defs.hh +++ b/src/Row.defs.hh @@ -115,7 +115,7 @@ public: /*! Returns <CODE>true</CODE> if successful, <CODE>false</CODE> otherwise. The ASCII representation is as output by - \ref Parma_Polyhedra_Library::Row::Flags::ascii_dump. + \ref Parma_Polyhedra_Library::Row::Flags::ascii_dump(). */ bool ascii_load(std::istream& s);

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 24 Feb '11

24 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78d35df039d1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 23 20:02:26 2011 +0100 Congruence_System: use Congruence::set_space_dimension() instead of Congruence::resize(), in resize_no_copy(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a22a4a268aae… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 23 19:03:38 2011 +0100 Generator_System: contain a Linear_System object instead of inheriting from it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f46e2a9d9bbb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 23 17:59:59 2011 +0100 Generator_System: make some methods public and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8e3dae41108… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 20 22:41:09 2011 +0100 Linear_Expression: contain a Linear_Row object instead of deriving from it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=398e47683433… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 20 22:04:05 2011 +0100 Linear_Expression: inherit from Dense_Row with the 'public' specifier, instead of 'private', and remove most friend declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=626802ef4576… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 23 17:37:23 2011 +0100 Dense_Row: fix regression in ascii_dump(), introduced in commit 0db87bcb.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Avoid (again) using the same macro name for different purposes.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 973b348f57b326c43234bf6495091813aa267a17 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=973b348f57b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 21:01:24 2011 +0100 Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. --- src/Checked_Number.defs.hh | 64 ++++++------ src/Checked_Number.inlines.hh | 230 ++++++++++++++++++++-------------------- 2 files changed, 147 insertions(+), 147 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=973b348f…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Get rid of LaTeX warnings related to package fancyhdr.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 4dfab5d3ee160ea353d864e937f58a6af1158457 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dfab5d3ee16… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 19:26:18 2011 +0100 Get rid of LaTeX warnings related to package fancyhdr. --- doc/devref-language-interface.tex | 4 +++- doc/devref.tex | 4 +++- doc/user-language-interface.tex | 4 +++- doc/user.tex | 4 +++- 4 files changed, 12 insertions(+), 4 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 88577c7..72247f1 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -25,7 +25,7 @@ % For the most up-to-date information see the Parma Polyhedra Library % site: http://www.cs.unipr.it/ppl/ . -\documentclass[a4paper]{article} +\documentclass[a4paper,twoside]{article} \usepackage{a4wide} \usepackage{makeidx} \usepackage{fancyhdr} @@ -63,6 +63,8 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +\setlength{\headheight}{24pt} + %% This only applies to the title: it avoids a pdf duplicate link error. \pagenumbering{Alph} diff --git a/doc/devref.tex b/doc/devref.tex index 5c37226..4b98434 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -25,7 +25,7 @@ % For the most up-to-date information see the Parma Polyhedra Library % site: http://www.cs.unipr.it/ppl/ . -\documentclass[a4paper]{article} +\documentclass[a4paper,twoside]{article} \usepackage{a4wide} \usepackage{makeidx} \usepackage{fancyhdr} @@ -62,6 +62,8 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +\setlength{\headheight}{24pt} + %% This only applies to the title: it avoids a pdf duplicate link error. \pagenumbering{Alph} diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 467ea6c..93c3d43 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -25,7 +25,7 @@ % For the most up-to-date information see the Parma Polyhedra Library % site: http://www.cs.unipr.it/ppl/ . -\documentclass[a4paper]{article} +\documentclass[a4paper,twoside]{article} \usepackage{a4wide} \usepackage{makeidx} \usepackage{fancyhdr} @@ -63,6 +63,8 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +\setlength{\headheight}{24pt} + %% This only applies to the title: it avoids a pdf duplicate link error. \pagenumbering{Alph} diff --git a/doc/user.tex b/doc/user.tex index 09acdf4..9b7eb66 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -25,7 +25,7 @@ % For the most up-to-date information see the Parma Polyhedra Library % site: http://www.cs.unipr.it/ppl/ . -\documentclass[a4paper]{article} +\documentclass[a4paper,twoside]{article} \usepackage{a4wide} \usepackage{makeidx} \usepackage{fancyhdr} @@ -62,6 +62,8 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +\setlength{\headheight}{24pt} + %% This only applies to the title: it avoids a pdf duplicate link error. \pagenumbering{Alph}

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Avoid duplicate PDF labels in the configured C interface manuals.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: fd99c696ace5e8aa3b450eaac39e4c09100b561e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd99c696ace5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 18:32:51 2011 +0100 Avoid duplicate PDF labels in the configured C interface manuals. --- doc/Makefile.am | 8 ++++++++ doc/devref-language-interface.doxyconf.in | 3 ++- doc/user-language-interface.doxyconf.in | 3 ++- interfaces/C/C_interface.dox | 8 ++++++++ 4 files changed, 20 insertions(+), 2 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 5a2efcc..aa547e0 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -875,6 +875,7 @@ $(SED_LATEX_OPTION) \ # C Language Interface Targets SED_C_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>//' \ -e 's/<PPL_SED_LANGUAGE_NAME>/C/' \ -e 's/<PPL_SED_INTERFACE_NAME>/c-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' @@ -955,6 +956,7 @@ $(DEVREF_C_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) # (System Independent) Prolog Language Interface Targets SED_PROLOG_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>//' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Prolog/' \ -e 's/<PPL_SED_INTERFACE_NAME>/prolog-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' @@ -1031,6 +1033,7 @@ $(DEVREF_PROLOG_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) # OCaml Language Interface Targets SED_OCAML_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>//' \ -e 's/<PPL_SED_LANGUAGE_NAME>/OCaml/' \ -e 's/<PPL_SED_INTERFACE_NAME>/ocaml-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>/\\usepackage{ocamldoc}/' @@ -1124,6 +1127,7 @@ $(DEVREF_OCAML_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) # Java Language Interface Targets SED_JAVA_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>//' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Java/' \ -e 's/<PPL_SED_INTERFACE_NAME>/java-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' @@ -1206,6 +1210,7 @@ $(DEVREF_JAVA_INTERFACE_STUFF) $(DEVREF_CORE_HTML_DIR) if BUILD_C_INTERFACE SED_CONFIGURED_C_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>/PPL_DOXYGEN_CONFIGURED_MANUAL/' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Configured C/' \ -e 's/<PPL_SED_INTERFACE_NAME>/configured-c-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' @@ -1290,6 +1295,7 @@ endif BUILD_C_INTERFACE if BUILD_SOME_PROLOG_INTERFACES SED_CONFIGURED_PROLOG_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>/PPL_DOXYGEN_CONFIGURED_MANUAL/' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Configured Prolog/' \ -e 's/<PPL_SED_INTERFACE_NAME>/configured-prolog-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' @@ -1372,6 +1378,7 @@ endif BUILD_SOME_PROLOG_INTERFACES if BUILD_OCAML_INTERFACE SED_CONFIGURED_OCAML_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>/PPL_DOXYGEN_CONFIGURED_MANUAL/' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Configured OCaml/' \ -e 's/<PPL_SED_INTERFACE_NAME>/configured-ocaml-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>/\\usepackage{ocamldoc}/' @@ -1463,6 +1470,7 @@ endif BUILD_OCAML_INTERFACE if BUILD_JAVA_INTERFACE SED_CONFIGURED_JAVA_OPTION = \ + -e 's/<PPL_SED_CONFIGURED_MANUAL>/PPL_DOXYGEN_CONFIGURED_MANUAL/' \ -e 's/<PPL_SED_LANGUAGE_NAME>/Configured Java/' \ -e 's/<PPL_SED_INTERFACE_NAME>/configured-java-interface/' \ -e 's/<PPL_SED_USEPACKAGE_OCAMLDOC>//' diff --git a/doc/devref-language-interface.doxyconf.in b/doc/devref-language-interface.doxyconf.in index e277689..9f5204b 100644 --- a/doc/devref-language-interface.doxyconf.in +++ b/doc/devref-language-interface.doxyconf.in @@ -219,7 +219,8 @@ EXPAND_ONLY_PREDEF = YES SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = -PREDEFINED = PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS \ +PREDEFINED = <PPL_SED_CONFIGURED_MANUAL> \ + PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS \ PPL_PROTO(protos):=protos EXPAND_AS_DEFINED = DECLARE_CONVERSIONS \ CATCH_ALL diff --git a/doc/user-language-interface.doxyconf.in b/doc/user-language-interface.doxyconf.in index 852427b..8db43fc 100644 --- a/doc/user-language-interface.doxyconf.in +++ b/doc/user-language-interface.doxyconf.in @@ -219,7 +219,8 @@ EXPAND_ONLY_PREDEF = YES SEARCH_INCLUDES = YES INCLUDE_PATH = INCLUDE_FILE_PATTERNS = -PREDEFINED = PPL_PROTO(protos):=protos +PREDEFINED = <PPL_SED_CONFIGURED_MANUAL> \ + PPL_PROTO(protos):=protos EXPAND_AS_DEFINED = PPL_TYPE_DECLARATION \ PPL_DECLARE_PRINT_FUNCTIONS \ PPL_DECLARE_ASCII_DUMP_LOAD_FUNCTIONS \ diff --git a/interfaces/C/C_interface.dox b/interfaces/C/C_interface.dox index e0a99e4..df185b3 100644 --- a/interfaces/C/C_interface.dox +++ b/interfaces/C/C_interface.dox @@ -39,12 +39,16 @@ site: http://www.cs.unipr.it/ppl/ . */ space-dimension compatible. */ +#if !defined(PPL_DOXYGEN_CONFIGURED_MANUAL) + /*! \brief Opaque pointer \ingroup Datatypes */ typedef struct ppl_Polyhedron_tag* ppl_Polyhedron_t; /*! \brief Opaque pointer to const object \ingroup Datatypes */ typedef struct ppl_Polyhedron_tag const* ppl_const_Polyhedron_t; +#endif /* !defined(PPL_DOXYGEN_CONFIGURED_MANUAL) */ + /*! \brief \name Constructors and Assignment for C_Polyhedron */ /*@{*/ @@ -1456,6 +1460,8 @@ ppl_Polyhedron_bounded_H79_extrapolation_assign manipulation of the collection of disjuncts. */ +#if !defined(PPL_DOXYGEN_CONFIGURED_MANUAL) + /*! \brief Opaque pointer \ingroup Datatypes */ typedef struct ppl_Pointset_Powerset_C_Polyhedron_tag* ppl_Pointset_Powerset_C_Polyhedron_t; @@ -1492,6 +1498,8 @@ typedef struct ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag* typedef struct ppl_Pointset_Powerset_C_Polyhedron_const_iterator_tag const* ppl_const_Pointset_Powerset_C_Polyhedron_const_iterator_t; +#endif /* !defined(PPL_DOXYGEN_CONFIGURED_MANUAL) */ + /*! \brief \name Construction, Initialization and Destruction */ /*@{*/

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Fixed a duplicate hypertarget error in the generated PDF documentation.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: ba564c8ac5442a6f9d63a2e7924f45a88ab252e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba564c8ac544… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 16:59:33 2011 +0100 Fixed a duplicate hypertarget error in the generated PDF documentation. --- doc/devref-language-interface.tex | 3 +++ doc/devref.tex | 3 +++ doc/user-language-interface.tex | 3 +++ doc/user.tex | 3 +++ 4 files changed, 12 insertions(+), 0 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 95433cb..88577c7 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -63,6 +63,9 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +%% This only applies to the title: it avoids a pdf duplicate link error. +\pagenumbering{Alph} + \begin{document} \title{ The Parma Polyhedra Library \\ diff --git a/doc/devref.tex b/doc/devref.tex index aaf6576..5c37226 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -62,6 +62,9 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +%% This only applies to the title: it avoids a pdf duplicate link error. +\pagenumbering{Alph} + \begin{document} \title{ The Parma Polyhedra Library \\ diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index cec3a71..467ea6c 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -63,6 +63,9 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +%% This only applies to the title: it avoids a pdf duplicate link error. +\pagenumbering{Alph} + \begin{document} \title{ The Parma Polyhedra Library \\ diff --git a/doc/user.tex b/doc/user.tex index e973054..09acdf4 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -62,6 +62,9 @@ \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{} \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}} +%% This only applies to the title: it avoids a pdf duplicate link error. +\pagenumbering{Alph} + \begin{document} \title{ The Parma Polyhedra Library \\

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Avoid using the same macro name for different purposes.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 2eae52a87027ae94e59b3fb9736a4d29e93a1f10 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eae52a87027… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 23 14:10:31 2011 +0100 Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen. --- src/Checked_Number.defs.hh | 34 +++++++++++++++++----------------- src/Checked_Number.inlines.hh | 36 ++++++++++++++++++------------------ 2 files changed, 35 insertions(+), 35 deletions(-) diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index 767ba41..de6875d 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -479,38 +479,38 @@ template <typename To, typename To_Policy> typename Enable_If<Is_Native_Or_Checked<To>::value, Result>::type assign_r(To& to, char* x, Rounding_Dir dir); -#define FUNC1(name) \ +#define FUNC1_A(name) \ template <typename To, typename From> \ typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ Result>::type \ name(To& to, const From& x, Rounding_Dir dir); -FUNC1(assign_r) -FUNC1(floor_assign_r) -FUNC1(ceil_assign_r) -FUNC1(trunc_assign_r) -FUNC1(neg_assign_r) -FUNC1(abs_assign_r) -FUNC1(sqrt_assign_r) +FUNC1_A(assign_r) +FUNC1_A(floor_assign_r) +FUNC1_A(ceil_assign_r) +FUNC1_A(trunc_assign_r) +FUNC1_A(neg_assign_r) +FUNC1_A(abs_assign_r) +FUNC1_A(sqrt_assign_r) -#undef FUNC1 +#undef FUNC1_A -#define FUNC1(name) \ +#define FUNC1_B(name) \ template <typename To, typename From> \ typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ Result>::type \ name(To& to, const From& x, int exp, Rounding_Dir dir); -FUNC1(add_2exp_assign_r) -FUNC1(sub_2exp_assign_r) -FUNC1(mul_2exp_assign_r) -FUNC1(div_2exp_assign_r) -FUNC1(smod_2exp_assign_r) -FUNC1(umod_2exp_assign_r) +FUNC1_B(add_2exp_assign_r) +FUNC1_B(sub_2exp_assign_r) +FUNC1_B(mul_2exp_assign_r) +FUNC1_B(div_2exp_assign_r) +FUNC1_B(smod_2exp_assign_r) +FUNC1_B(umod_2exp_assign_r) -#undef FUNC1 +#undef FUNC1_B #define FUNC2(name) \ template <typename To, typename From1, typename From2> \ diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index f27559b..b9a7b42 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -344,7 +344,7 @@ assign_r(To& to, const char* x, Rounding_Dir dir) { dir); } -#define FUNC1(name, func) \ +#define FUNC1_A(name, func) \ template <typename To, typename From> \ inline typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ @@ -359,18 +359,18 @@ name(To& to, const From& x, Rounding_Dir dir) { \ rounding_dir(dir)), dir); \ } -FUNC1(construct, construct_ext) -FUNC1(assign_r, assign_ext) -FUNC1(floor_assign_r, floor_ext) -FUNC1(ceil_assign_r, ceil_ext) -FUNC1(trunc_assign_r, trunc_ext) -FUNC1(neg_assign_r, neg_ext) -FUNC1(abs_assign_r, abs_ext) -FUNC1(sqrt_assign_r, sqrt_ext) +FUNC1_A(construct, construct_ext) +FUNC1_A(assign_r, assign_ext) +FUNC1_A(floor_assign_r, floor_ext) +FUNC1_A(ceil_assign_r, ceil_ext) +FUNC1_A(trunc_assign_r, trunc_ext) +FUNC1_A(neg_assign_r, neg_ext) +FUNC1_A(abs_assign_r, abs_ext) +FUNC1_A(sqrt_assign_r, sqrt_ext) -#undef FUNC1 +#undef FUNC1_A -#define FUNC1(name, func) \ +#define FUNC1_B(name, func) \ template <typename To, typename From> \ inline typename Enable_If<Is_Native_Or_Checked<To>::value \ && Is_Native_Or_Checked<From>::value, \ @@ -387,14 +387,14 @@ name(To& to, const From& x, int exp, Rounding_Dir dir) { \ dir); \ } -FUNC1(add_2exp_assign_r, add_2exp_ext) -FUNC1(sub_2exp_assign_r, sub_2exp_ext) -FUNC1(mul_2exp_assign_r, mul_2exp_ext) -FUNC1(div_2exp_assign_r, div_2exp_ext) -FUNC1(smod_2exp_assign_r, smod_2exp_ext) -FUNC1(umod_2exp_assign_r, umod_2exp_ext) +FUNC1_B(add_2exp_assign_r, add_2exp_ext) +FUNC1_B(sub_2exp_assign_r, sub_2exp_ext) +FUNC1_B(mul_2exp_assign_r, mul_2exp_ext) +FUNC1_B(div_2exp_assign_r, div_2exp_ext) +FUNC1_B(smod_2exp_assign_r, smod_2exp_ext) +FUNC1_B(umod_2exp_assign_r, umod_2exp_ext) -#undef FUNC1 +#undef FUNC1_B #define FUNC2(name, func) \ template <typename To, typename From1, typename From2> \

1 0

Re: [PPL-devel] [Doxygen-users] A problem with hypertarget.
by Enea Zaffanella 23 Feb '11

23 Feb '11

Il 23/02/2011 10:14, Enea Zaffanella ha scritto: > When producing a PDF file with PDF_HYPERLINKS = yes, > the latex generated by a template class documentation such as [...] > which results in the following warning: > > Package hyperref Warning: Token not allowed in a PDF string (Unicode): > (hyperref) removing `math shift' on input line 4. > > The problem is in the use of `$' inside a hypertarget. > > The attached patch solves this issue by adding a boolean status flag > (insideHypertarget) to classes LatexGenerator and LatexDocVisitor. > > NOTE: the patch only addresses the cases of $<$ and $>$. The same problem occurs on code looking like the following: template <bool a, bool b> struct Templ<a || b> {}; Here the generated LaTeX looks like \hypertarget{structTempl_3_01a_7_7b_01_4}{ \section{Templ\texorpdfstring{$<$}{<} a$|$$|$b \texorpdfstring{$>$}{>} Struct Template Reference} [...] where there are two occurrences of $|$. These too should be replaced by something like \texorpdfstring{$|$}{|} but it is unclear to me where such a correction should be applied. Enea.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Two items added.
by Roberto Bagnara 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 72a111f1970f695972c4103d0ff8a082a0133349 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72a111f1970f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:25:28 2011 +0100 Two items added. --- NEWS | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index b0ed095..008dd32 100644 --- a/NEWS +++ b/NEWS @@ -23,6 +23,10 @@ o Fixed the semantics of the `--disable-fpmath' configure option o The PPL no longer overwrites the SIGILL signal handler. +o Minor documentation fixes. + +o Portability improved. + -------------------------------------------------------------------------- NEWS for version 0.11.1 (released on February 20, 2011)

1 0

[GIT] ppl/ppl(ppl-0_11-branch): When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.
by Roberto Bagnara 23 Feb '11

23 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 83f416e885442110a6007591082fabef78d9676d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=83f416e88544… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 23 13:23:28 2011 +0100 When cross-compiling, assume that GMP has been compiled with support for propagating exceptions. --- m4/ac_check_gmp.m4 | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index c5dd1c9..8c2af74 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -181,8 +181,8 @@ int main() { ac_cv_gmp_supports_exceptions=yes, AC_MSG_RESULT(no) ac_cv_gmp_supports_exceptions=no, - AC_MSG_RESULT([assuming not]) - ac_cv_gmp_supports_exceptions=no) + AC_MSG_RESULT([assuming yes]) + ac_cv_gmp_supports_exceptions=yes) gmp_supports_exceptions=${ac_cv_gmp_supports_exceptions} if test x"$gmp_supports_exceptions" = xyes

1 0