- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 3f39d87e7df348bc42eab3ccbd1f5954bccf5167 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f39d87e7df3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 16:43:24 2011 +0100 Updated. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 4 ++-- interfaces/OCaml/ppl_ocaml_common.cc | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index 33e84d7..9718516 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -45,7 +45,7 @@ namespace Interfaces { namespace OCaml { struct custom_operations m4_current_interface`'_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "m4_current_interface"|COMMA| custom_`'m4_current_interface`'_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| @@ -1057,7 +1057,7 @@ custom_@CLASS@_iterator_finalize(value v) { } struct custom_operations @CLASS@_iterator_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| + "com.bugseng.ppl" "." PPL_VERSION "." "@CLASS@_iterator"|COMMA| custom_@CLASS@_iterator_finalize|COMMA| custom_compare_default|COMMA| custom_hash_default|COMMA| diff --git a/interfaces/OCaml/ppl_ocaml_common.cc b/interfaces/OCaml/ppl_ocaml_common.cc index ae2185e..f369c4e 100644 --- a/interfaces/OCaml/ppl_ocaml_common.cc +++ b/interfaces/OCaml/ppl_ocaml_common.cc @@ -770,7 +770,7 @@ custom_MIP_Problem_finalize(value v) { } static struct custom_operations MIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "MIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "MIP_Problem", custom_MIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -798,7 +798,7 @@ custom_PIP_Problem_finalize(value v) { } static struct custom_operations PIP_Problem_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Problem", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Problem", custom_PIP_Problem_finalize, custom_compare_default, custom_hash_default, @@ -820,7 +820,7 @@ unregistered_value_p_PIP_Problem(const PIP_Problem& ph) { // In principle, we could directly store a PIP_Tree_Node* in a Caml 'value': // the use of a Custom_tag block is anyway recommended by Caml manual. static struct custom_operations PIP_Tree_Node_custom_operations = { - "it.unipr.cs.ppl" "." PPL_VERSION "." "PIP_Tree_Node", + "com.bugseng.ppl" "." PPL_VERSION "." "PIP_Tree_Node", custom_finalize_default, custom_compare_default, custom_hash_default,

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 1e0bc0eb2947232cc0f207f4c63c91773b1dc11f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e0bc0eb2947… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:43:08 2011 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index d035793..912af57 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Allow `--with-gmp-build' to be used with `--enable-shared'.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 2f98bbb6a85b18aecbe9da3bc0d48bb36ac6b089 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f98bbb6a85b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:39:47 2011 +0100 Allow `--with-gmp-build' to be used with `--enable-shared'. (Thanks to Serge Belyshev.) --- m4/ac_check_gmp.m4 | 11 +++++++---- src/Makefile.am | 1 + 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index dbb747c..469f536 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -53,6 +53,8 @@ then gmp_library_options="-L$gmp_library_paths" fi +gmp_libs="-lgmpxx -lgmp" + AC_ARG_WITH(gmp-build, AS_HELP_STRING([--with-gmp-build=DIR], [use a non-installed build of GMP in DIR]), @@ -62,15 +64,15 @@ AC_ARG_WITH(gmp-build, then AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together]) else - gmp_library_paths="$gmp_build_dir$PATH_SEPARATOR$gmp_build_dir/.libs:$gmp_build_dir/tune" - gmp_library_options="-L$gmp_build_dir -L$gmp_build_dir/.libs" - gmp_library_options="$gmp_library_options -L$gmp_build_dir/tune" gmp_srcdir=`echo @abs_srcdir@ | $gmp_build_dir/config.status --file=-` gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune -I$gmp_srcdir" + gmp_libs="$gmp_build_dir/libgmp.la $gmp_build_dir/libgmpxx.la" fi) -gmp_library_options="$gmp_library_options -lgmpxx -lgmp" +gmp_library_options="$gmp_library_options $gmp_libs" +ac_save_CXX="$CXX" +CXX="libtool --mode=link $CXX" ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS" @@ -221,4 +223,5 @@ AC_LANG_POP(C++) eval $shared_library_path_env_var=\"$ac_save_shared_library_path\" LIBS="$ac_save_LIBS" CPPFLAGS="$ac_save_CPPFLAGS" +CXX="$ac_save_CXX" ]) diff --git a/src/Makefile.am b/src/Makefile.am index d674d6a..bea3a7b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -81,6 +81,7 @@ ppl-config.cc \ ppl.hh ppl_config_LDADD = \ +@extra_libraries@ \ libppl.la if USE_NATIVE_INTEGERS

1 0

[GIT] ppl/ppl(master): Front matter updated for all manuals.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 404a6777b9a775d91a1934069f92be332bc09576 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=404a6777b9a7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 14:31:25 2011 +0100 Front matter updated for all manuals. --- doc/devref-language-interface.tex | 53 ++++++++++++++++++++++-------- doc/devref.tex | 64 ++++++++++++++++++++++-------------- doc/user-language-interface.tex | 2 +- doc/user.tex | 2 +- 4 files changed, 80 insertions(+), 41 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 4bb3374..400bcf8 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -35,6 +35,7 @@ \usepackage{textcomp} \usepackage{alltt} \usepackage{times} +\usepackage{tocloft} \usepackage{ifpdf} \ifpdf \usepackage[pdftex, @@ -58,22 +59,23 @@ \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} -\renewcommand{\footrulewidth}{0.4pt} -\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/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://bugseng.com/products/ppl/} for more information.}} +\renewcommand{\footrulewidth}{0.4pt} +\fancyfoot{} +\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}} +\fancyfoot[RE,LO]{\scriptsize The PPL <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://bugseng.com} for more information.} \setlength{\headheight}{24pt} -%% This only applies to the title: it avoids a pdf duplicate link error. -\pagenumbering{Alph} - \begin{document} \title{ +\includegraphics[height=9cm]{ppl_logo.pdf} \\ +\ \\ The Parma Polyhedra Library \\ <PPL_SED_LANGUAGE_NAME> Language Interface \\ -Developer's Manual\thanks{This work - has been partly supported by: +Developer's Manual\thanks{This work is based on previous work also by +Elisa Ricci, Sara Bonini, Andrea Pescetti, Angela Stazzone, Tatiana Zolo. +This work has been partly supported by: University of Parma's FIL scientific research project (ex 60\%) ``Pure and Applied Mathematics''; MURST project @@ -97,16 +99,24 @@ Developer's Manual\thanks{This work } \author{ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} \\ -Patricia M. Hill\thanks{hill(a)comp.leeds.ac.uk, - School of Computing, University of Leeds, U.K.} \\ + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Patricia M. Hill\thanks{patricia.hill(a)bugseng.com, + BUGSENG srl.} \\ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Abramo Bagnara\thanks{abramo.bagnara(a)bugseng.com, + BUGSENG srl.} \\ } -\maketitle +{\sffamily\maketitle} +\thispagestyle{empty} +\clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it) \\ +Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com) + This document describes the Parma Polyhedra Library (PPL). @@ -135,7 +145,22 @@ site: \begin{center} \href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/} \end{center} +\vfill +\begin{center} +\includegraphics[width=5cm]{bugseng_logo.pdf} +\end{center} +\vfill +\clearpage{\pagestyle{empty}\cleardoublepage} + +% The following command is needed to have the right footer on +% the first page of the TOC. +\addtocontents{toc}{\protect\thispagestyle{fancy}} + +% Make sure there is enough space in the TOC for long subsection numbers. +\addtolength{\cftsubsecnumwidth}{1em} \pagenumbering{roman} \tableofcontents +\clearpage{\pagestyle{empty}\cleardoublepage} + \pagenumbering{arabic} diff --git a/doc/devref.tex b/doc/devref.tex index ada8a89..66e724b 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -35,6 +35,7 @@ \usepackage{textcomp} \usepackage{alltt} \usepackage{times} +\usepackage{tocloft} \usepackage{ifpdf} \ifpdf \usepackage[pdftex, @@ -57,21 +58,22 @@ \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} -\renewcommand{\footrulewidth}{0.4pt} -\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/} for more information.}]{} -\lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://bugseng.com/products/ppl/} for more information.}} +\renewcommand{\footrulewidth}{0.4pt} +\fancyfoot{} +\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}} +\fancyfoot[RE,LO]{\small The PPL Developer's Manual (version $projectnumber). See \url{http://bugseng.com} for more information.} \setlength{\headheight}{24pt} -%% This only applies to the title: it avoids a pdf duplicate link error. -\pagenumbering{Alph} - \begin{document} \title{ +\includegraphics[height=9cm]{ppl_logo.pdf} \\ +\ \\ The Parma Polyhedra Library \\ -Developer's Manual\thanks{This work - has been partly supported by: +Developer's Manual\thanks{This work is based on previous work also by +Elisa Ricci, Sara Bonini, Andrea Pescetti, Angela Stazzone, Tatiana Zolo. +This work has been partly supported by: University of Parma's FIL scientific research project (ex 60\%) ``Pure and Applied Mathematics''; MURST project @@ -95,27 +97,24 @@ Developer's Manual\thanks{This work } \author{ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} \\ -Patricia M. Hill\thanks{hill(a)comp.leeds.ac.uk, - School of Computing, University of Leeds, U.K.} \\ + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Patricia M. Hill\thanks{patricia.hill(a)bugseng.com, + BUGSENG srl.} \\ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} \\ -\ \\ -based on previous work also by \\ -\ \\ -Elisa Ricci \\ -\ \\ -and \\ -\ \\ -Sara Bonini \\ -Andrea Pescetti \\ -Angela Stazzone \\ -Tatiana Zolo + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Abramo Bagnara\thanks{abramo.bagnara(a)bugseng.com, + BUGSENG srl.} \\ } -\maketitle +{\sffamily\maketitle} +\thispagestyle{empty} +\clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it) \\ +Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com) + This document describes the Parma Polyhedra Library (PPL). @@ -144,7 +143,22 @@ site: \begin{center} \href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/} \end{center} +\vfill +\begin{center} +\includegraphics[width=5cm]{bugseng_logo.pdf} +\end{center} +\vfill +\clearpage{\pagestyle{empty}\cleardoublepage} + +% The following command is needed to have the right footer on +% the first page of the TOC. +\addtocontents{toc}{\protect\thispagestyle{fancy}} + +% Make sure there is enough space in the TOC for long subsection numbers. +\addtolength{\cftsubsecnumwidth}{1em} \pagenumbering{roman} \tableofcontents +\clearpage{\pagestyle{empty}\cleardoublepage} + \pagenumbering{arabic} diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 9202db5..cb4f0a0 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -113,7 +113,7 @@ Abramo Bagnara\thanks{abramo.bagnara(a)bugseng.com, \clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).\\ +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it) \\ Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com) diff --git a/doc/user.tex b/doc/user.tex index 0c34e8f..19eb24e 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -112,7 +112,7 @@ Abramo Bagnara\thanks{abramo.bagnara(a)bugseng.com, \clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).\\ +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it) \\ Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com)

1 0

[GIT] ppl/ppl(master): Front matter updated.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 0f1868b0e4ea2b0044c310c4cbd30543cda70b29 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f1868b0e4ea… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:30:14 2011 +0100 Front matter updated. --- doc/user-language-interface.tex | 48 +++++++++++++++++++++++++++++--------- 1 files changed, 36 insertions(+), 12 deletions(-) diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 8906acf..9202db5 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -35,6 +35,7 @@ \usepackage{textcomp} \usepackage{alltt} \usepackage{times} +\usepackage{tocloft} \usepackage{ifpdf} \ifpdf \usepackage[pdftex, @@ -58,18 +59,18 @@ \usepackage{ppl} \makeindex \setcounter{tocdepth}{2} -\renewcommand{\footrulewidth}{0.4pt} -\rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://bugseng.com/products/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://bugseng.com/products/ppl/} for more information.}} +\renewcommand{\footrulewidth}{0.4pt} +\fancyfoot{} +\fancyfoot[LE,RO]{\includegraphics[height=0.4cm]{ppl_logo_no_ppl.pdf}} +\fancyfoot[RE,LO]{\scriptsize The PPL <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://bugseng.com} for more information.} \setlength{\headheight}{24pt} -%% This only applies to the title: it avoids a pdf duplicate link error. -\pagenumbering{Alph} - \begin{document} \title{ +\includegraphics[height=9cm]{ppl_logo.pdf} \\ +\ \\ The Parma Polyhedra Library \\ <PPL_SED_LANGUAGE_NAME> Language Interface \\ User's Manual\thanks{This work @@ -97,16 +98,24 @@ User's Manual\thanks{This work } \author{ Roberto Bagnara\thanks{bagnara(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} \\ -Patricia M. Hill\thanks{hill(a)comp.leeds.ac.uk, - School of Computing, University of Leeds, U.K.} \\ + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Patricia M. Hill\thanks{patricia.hill(a)bugseng.com, + BUGSENG srl.} \\ Enea Zaffanella\thanks{zaffanella(a)cs.unipr.it, - Department of Mathematics, University of Parma, Italy.} + Department of Mathematics, University of Parma, Italy, + and BUGSENG srl.} \\ +Abramo Bagnara\thanks{abramo.bagnara(a)bugseng.com, + BUGSENG srl.} \\ } -\maketitle +{\sffamily\maketitle} +\thispagestyle{empty} +\clearpage{\pagestyle{empty}\cleardoublepage} \newpage -Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it).\\ +Copyright \copyright\ 2010--2011 BUGSENG srl (http://bugseng.com) + This document describes the Parma Polyhedra Library (PPL). @@ -135,7 +144,22 @@ site: \begin{center} \href{http://bugseng.com/products/ppl/}{\tt http://bugseng.com/products/ppl/} \end{center} +\vfill +\begin{center} +\includegraphics[width=5cm]{bugseng_logo.pdf} +\end{center} +\vfill +\clearpage{\pagestyle{empty}\cleardoublepage} + +% The following command is needed to have the right footer on +% the first page of the TOC. +\addtocontents{toc}{\protect\thispagestyle{fancy}} + +% Make sure there is enough space in the TOC for long subsection numbers. +\addtolength{\cftsubsecnumwidth}{1em} \pagenumbering{roman} \tableofcontents +\clearpage{\pagestyle{empty}\cleardoublepage} + \pagenumbering{arabic}

1 0

[GIT] ppl/ppl(master): No longer pass the `draft' option to package `hyperref'.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: d068194797b8e5616faf7d7d886d45eccd736a6f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d068194797b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:15:06 2011 +0100 No longer pass the `draft' option to package `hyperref'. --- doc/user.tex | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/user.tex b/doc/user.tex index 2def09b..0c34e8f 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -42,14 +42,14 @@ pagebackref=true, colorlinks=true, linkcolor=blue, - unicode,draft + unicode ]{hyperref} \else \usepackage[ps2pdf, pagebackref=true, colorlinks=true, linkcolor=blue, - unicode,draft + unicode ]{hyperref} \usepackage{pspicture} \fi

1 0

[GIT] ppl/ppl(master): Front matter improved.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 90af93944187c36c2c4a10f8a0de90dccb26311e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90af93944187… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:14:02 2011 +0100 Front matter improved. --- doc/bugseng_logo.eps | 199 ++++++++++++------------ doc/bugseng_logo.pdf | Bin 4002 -> 4035 bytes doc/bugseng_logo.svg | 8 +- doc/ppl_logo.eps | 397 ++++++++++++++++++++++++----------------------- doc/ppl_logo.pdf | Bin 4959 -> 5061 bytes doc/ppl_logo.svg | 8 +- doc/ppl_logo_no_ppl.eps | 358 +++++++++++++++++++++--------------------- doc/ppl_logo_no_ppl.pdf | Bin 4669 -> 4805 bytes doc/ppl_logo_no_ppl.svg | 8 +- doc/user.tex | 15 ++- 10 files changed, 509 insertions(+), 484 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=90af9394…

1 0

[GIT] ppl/ppl(master): Fixed Doxygen \relates command.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 0d548ed615ab76352fc1d204fd3e2edaee78da44 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d548ed615ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 11:13:20 2011 +0100 Fixed Doxygen \relates command. --- src/Og_Status.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Og_Status.inlines.hh b/src/Og_Status.inlines.hh index f788ad0..663a48b 100644 --- a/src/Og_Status.inlines.hh +++ b/src/Og_Status.inlines.hh @@ -158,7 +158,7 @@ const char yes = '+'; const char no = '-'; const char sep = ' '; -/*! \relates Parma_Polyhedra_Library::Octagonal_Shape<T>::Status +/*! \relates Parma_Polyhedra_Library::Octagonal_Shape::Status Reads a keyword and its associated on/off flag from \p s. Returns <CODE>true</CODE> if the operation is successful, returns <CODE>false</CODE> otherwise.

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 42cca8187f6d0388c58ef693611dfc1ab932a717 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42cca8187f6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 09:48:05 2011 +0100 Typo fixed. --- doc/user.tex | 3 ++- m4/ac_check_gmp.m4 | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/user.tex b/doc/user.tex index 62faa88..9502d6f 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -36,7 +36,8 @@ \usepackage{alltt} \usepackage{times} \usepackage{tocloft} -\usepackage{ifpdf} +\usepackage{sectsty} +\allsectionsfont{\sffamily}\usepackage{ifpdf} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 87a178e..dbb747c 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -57,7 +57,7 @@ AC_ARG_WITH(gmp-build, AS_HELP_STRING([--with-gmp-build=DIR], [use a non-installed build of GMP in DIR]), gmp_build_dir=$with_gmp_build - if test -n "$with_gmp" + if test -n "$with_gmp" \ || test -n "$with_gmp_include" || test -n "$with_gmp_lib" then AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together])

1 0

[GIT] ppl/ppl(master): New logos.
by Roberto Bagnara 06 Nov '11

06 Nov '11

Module: ppl/ppl Branch: master Commit: 7d35c7b6b16a6e22014871b72fdec1e889ed7c0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d35c7b6b16a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 6 09:25:05 2011 +0100 New logos. --- doc/.gitignore | 2 +- doc/bugseng_logo.eps | 201 ++++++++++++++++++++++++++++++++++++++++++ doc/bugseng_logo.pdf | Bin 0 -> 4002 bytes doc/bugseng_logo.svg | 60 +++++++++++++ doc/ppl_logo.eps | 2 +- doc/ppl_logo.pdf | Bin 4963 -> 4959 bytes doc/ppl_logo.svg | 222 ++++++++++++++++++++++++++++------------------- doc/ppl_logo_no_ppl.eps | 2 +- doc/ppl_logo_no_ppl.pdf | Bin 4678 -> 4669 bytes doc/ppl_logo_no_ppl.svg | 14 ++-- 10 files changed, 403 insertions(+), 100 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7d35c7b6…

1 0