- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Make sure the run-time tests for GMP can find GMP' s shared libraries.
by Roberto Bagnara 24 Jul '11

24 Jul '11

Module: ppl/ppl Branch: master Commit: 5436da20afde0109292c5cfda908b9c96622fe97 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5436da20afde… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 24 17:12:53 2011 +0200 Make sure the run-time tests for GMP can find GMP's shared libraries. --- configure.ac | 10 ++++++++++ m4/ac_check_gmp.m4 | 11 +++++++++-- 2 files changed, 19 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 25951a9..8a675d9 100644 --- a/configure.ac +++ b/configure.ac @@ -501,23 +501,33 @@ case "${host_os}" in cygwin*) cygwin=yes no_undefined=yes + shared_library_path_env_var=PATH ;; darwin*) darwin=yes + shared_library_path_env_var=DYLD_LIBRARY_PATH + ;; +hpux*) + hpux=yes + shared_library_path_env_var=SHLIB_PATH ;; mingw*) mingw=yes no_undefined=yes + shared_library_path_env_var=PATH ;; solaris*) solaris=yes + shared_library_path_env_var=LD_LIBRARY_PATH ;; *) + shared_library_path_env_var=LD_LIBRARY_PATH ;; esac AM_CONDITIONAL(HOST_OS_CYGWIN, test x$cygwin = xyes) AM_CONDITIONAL(HOST_OS_DARWIN, test x$darwin = xyes) +AM_CONDITIONAL(HOST_OS_HPUX, test x$hpux = xyes) AM_CONDITIONAL(HOST_OS_MINGW, test x$mingw = xyes) AM_CONDITIONAL(HOST_OS_SOLARIS, test x$solaris = xyes) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index f00cb6d..03a37fb 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -38,7 +38,8 @@ AC_ARG_WITH(gmp-lib, if test -n "$with_gmp" then gmp_include_options="-I$with_gmp/include" - gmp_library_options="-L$with_gmp/lib" + gmp_library_paths="$with_gmp/lib" + gmp_library_options="-L$gmp_library_paths" fi if test -n "$with_gmp_include" @@ -48,7 +49,8 @@ fi if test -n "$with_gmp_lib" then - gmp_library_options="-L$with_gmp_lib" + gmp_library_paths="$with_gmp_lib/lib" + gmp_library_options="-L$gmp_library_paths" fi AC_ARG_WITH(gmp-build, @@ -59,6 +61,7 @@ AC_ARG_WITH(gmp-build, || test -n "$with_gmp_include" || test -n "$with_gmp_lib" then gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune" + gmp_library_paths="$gmp_build_dir:$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" else @@ -71,6 +74,9 @@ ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS" LIBS="$LIBS $gmp_library_options" +eval ac_save_shared_library_path_env_var="\$$shared_library_path_env_var" +eval $shared_library_path_env_var=$gmp_library_paths + AC_LANG_PUSH(C++) AC_MSG_CHECKING([for the GMP library version 4.1.3 or above]) @@ -210,6 +216,7 @@ AC_DEFINE_UNQUOTED(PPL_GMP_SUPPORTS_EXCEPTIONS, $value, fi AC_LANG_POP(C++) +eval $shared_library_path_env_var=$ac_save_shared_library_path_env_var LIBS="$ac_save_LIBS" CPPFLAGS="$ac_save_CPPFLAGS" ])

1 0

[GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.
by Roberto Bagnara 23 Jul '11

23 Jul '11

Module: ppl/ppl Branch: master Commit: dd51d715bd632799ef00cc9ceb5814f120927a05 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd51d715bd63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 23 14:12:41 2011 +0200 Fixed uses of PPL_HAVE_DECL_GETRUSAGE. (Thanks to Thomas Cort.) --- utils/timings.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/utils/timings.cc b/utils/timings.cc index 819d965..243cf06 100644 --- a/utils/timings.cc +++ b/utils/timings.cc @@ -51,7 +51,7 @@ static struct timeval saved_ru_utime; void start_clock() { -#if defined(PPL_HAVE_DECL_GETRUSAGE) && defined(PPL_HAVE_TIMEVAL) +#if PPL_HAVE_DECL_GETRUSAGE && defined(PPL_HAVE_TIMEVAL) struct rusage rsg; if (getrusage(RUSAGE_SELF, &rsg) != 0) { cerr << "getrusage failed: " << strerror(errno) << endl; @@ -64,7 +64,7 @@ start_clock() { void print_clock(ostream& s) { -#if defined(PPL_HAVE_DECL_GETRUSAGE) && defined(PPL_HAVE_TIMEVAL) +#if PPL_HAVE_DECL_GETRUSAGE && defined(PPL_HAVE_TIMEVAL) struct rusage rsg; if (getrusage(RUSAGE_SELF, &rsg) != 0) { cerr << "getrusage failed: " << strerror(errno) << endl;

2 3

[GIT] ppl/ppl(master): New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and
by Roberto Bagnara 23 Jul '11

23 Jul '11

Module: ppl/ppl Branch: master Commit: 1f0282c0cb86a7a9d86fb21721b985bab2b60bd5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f0282c0cb86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jul 23 12:36:26 2011 +0200 New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' and `--with-gmp-lib=DIR'. These supersede the (now removed) option `--with-gmp-prefix'. (The old option never really worked; hopefully this is the last change in this area.) --- NEWS | 15 +- configure.ac | 4 +- m4/Makefile.am | 3 - m4/ac_check_gmp.m4 | 67 +++-- m4/lib-ld.m4 | 109 -------- m4/lib-link.m4 | 777 ---------------------------------------------------- m4/lib-prefix.m4 | 224 --------------- 7 files changed, 51 insertions(+), 1148 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1f0282c0…

1 0

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

20 Jul '11

Module: ppl/ppl Branch: master Commit: 7cb6f2087a64f4c9d15a15b2b9f38b7792780c35 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cb6f2087a64… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Jul 20 19:19:17 2011 +0200 Updated. --- m4/lib-ld.m4 | 27 ++++++++++++------------- m4/lib-link.m4 | 55 +++++++++++++++++++++++++++++++++-------------------- m4/lib-prefix.m4 | 2 +- 3 files changed, 48 insertions(+), 36 deletions(-) diff --git a/m4/lib-ld.m4 b/m4/lib-ld.m4 index e4863f2..ae003f7 100644 --- a/m4/lib-ld.m4 +++ b/m4/lib-ld.m4 @@ -1,5 +1,5 @@ -# lib-ld.m4 serial 4 (gettext-0.18) -dnl Copyright (C) 1996-2003, 2009 Free Software Foundation, Inc. +# lib-ld.m4 serial 5 (gettext-0.18.2) +dnl Copyright (C) 1996-2003, 2009-2011 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, dnl with or without modifications, as long as this notice is preserved. @@ -31,15 +31,14 @@ AC_REQUIRE([AC_CANONICAL_HOST])dnl # Prepare PATH_SEPARATOR. # The user is always right. if test "${PATH_SEPARATOR+set}" != set; then - echo "#! /bin/sh" >conf$$.sh - echo "exit 0" >>conf$$.sh - chmod +x conf$$.sh - if (PATH="/nonexistent;."; conf$$.sh) >/dev/null 2>&1; then - PATH_SEPARATOR=';' - else - PATH_SEPARATOR=: - fi - rm -f conf$$.sh + # Determine PATH_SEPARATOR by trying to find /bin/sh in a PATH which + # contains only /bin. Note that ksh looks also at the FPATH variable, + # so we have to set that as well for the test. + PATH_SEPARATOR=: + (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 \ + && { (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 \ + || PATH_SEPARATOR=';' + } fi ac_prog=ld if test "$GCC" = yes; then @@ -59,7 +58,7 @@ if test "$GCC" = yes; then # Canonicalize the path of ld ac_prog=`echo $ac_prog| sed 's%\\\\%/%g'` while echo $ac_prog | grep "$re_direlt" > /dev/null 2>&1; do - ac_prog=`echo $ac_prog| sed "s%$re_direlt%/%"` + ac_prog=`echo $ac_prog| sed "s%$re_direlt%/%"` done test -z "$LD" && LD="$ac_prog" ;; @@ -89,9 +88,9 @@ AC_CACHE_VAL([acl_cv_path_LD], # Break only if it was the GNU/non-GNU ld that we prefer. case `"$acl_cv_path_LD" -v 2>&1 < /dev/null` in *GNU* | *'with BFD'*) - test "$with_gnu_ld" != no && break ;; + test "$with_gnu_ld" != no && break ;; *) - test "$with_gnu_ld" != yes && break ;; + test "$with_gnu_ld" != yes && break ;; esac fi done diff --git a/m4/lib-link.m4 b/m4/lib-link.m4 index 2f8b7ff..e7c9ba9 100644 --- a/m4/lib-link.m4 +++ b/m4/lib-link.m4 @@ -1,5 +1,5 @@ -# lib-link.m4 serial 20 (gettext-0.18) -dnl Copyright (C) 2001-2009 Free Software Foundation, Inc. +# lib-link.m4 serial 26 (gettext-0.18.2) +dnl Copyright (C) 2001-2011 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, dnl with or without modifications, as long as this notice is preserved. @@ -18,9 +18,9 @@ AC_DEFUN([AC_LIB_LINKFLAGS], [ AC_REQUIRE([AC_LIB_PREPARE_PREFIX]) AC_REQUIRE([AC_LIB_RPATH]) - pushdef([Name],[translit([$1],[./-], [___])]) - pushdef([NAME],[translit([$1],[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([Name],[m4_translit([$1],[./+-], [____])]) + pushdef([NAME],[m4_translit([$1],[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) AC_CACHE_CHECK([how to link with lib[]$1], [ac_cv_lib[]Name[]_libs], [ AC_LIB_LINKFLAGS_BODY([$1], [$2]) ac_cv_lib[]Name[]_libs="$LIB[]NAME" @@ -58,9 +58,9 @@ AC_DEFUN([AC_LIB_HAVE_LINKFLAGS], [ AC_REQUIRE([AC_LIB_PREPARE_PREFIX]) AC_REQUIRE([AC_LIB_RPATH]) - pushdef([Name],[translit([$1],[./-], [___])]) - pushdef([NAME],[translit([$1],[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([Name],[m4_translit([$1],[./+-], [____])]) + pushdef([NAME],[m4_translit([$1],[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) dnl Search for lib[]Name and define LIB[]NAME, LTLIB[]NAME and INC[]NAME dnl accordingly. @@ -74,8 +74,19 @@ AC_DEFUN([AC_LIB_HAVE_LINKFLAGS], AC_CACHE_CHECK([for lib[]$1], [ac_cv_lib[]Name], [ ac_save_LIBS="$LIBS" - LIBS="$LIBS $LIB[]NAME" - AC_TRY_LINK([$3], [$4], + dnl If $LIB[]NAME contains some -l options, add it to the end of LIBS, + dnl because these -l options might require -L options that are present in + dnl LIBS. -l options benefit only from the -L options listed before it. + dnl Otherwise, add it to the front of LIBS, because it may be a static + dnl library that depends on another static library that is present in LIBS. + dnl Static libraries benefit only from the static libraries listed after + dnl it. + case " $LIB[]NAME" in + *" -l"*) LIBS="$LIBS $LIB[]NAME" ;; + *) LIBS="$LIB[]NAME $LIBS" ;; + esac + AC_LINK_IFELSE( + [AC_LANG_PROGRAM([[$3]], [[$4]])], [ac_cv_lib[]Name=yes], [ac_cv_lib[]Name='m4_if([$5], [], [no], [[$5]])']) LIBS="$ac_save_LIBS" @@ -105,6 +116,8 @@ AC_DEFUN([AC_LIB_HAVE_LINKFLAGS], dnl Determine the platform dependent parameters needed to use rpath: dnl acl_libext, dnl acl_shlibext, +dnl acl_libname_spec, +dnl acl_library_names_spec, dnl acl_hardcode_libdir_flag_spec, dnl acl_hardcode_libdir_separator, dnl acl_hardcode_direct, @@ -147,15 +160,15 @@ dnl package. This declaration must occur before an AC_LIB_LINKFLAGS or similar dnl macro call that searches for libname. AC_DEFUN([AC_LIB_FROMPACKAGE], [ - pushdef([NAME],[translit([$1],[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([NAME],[m4_translit([$1],[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) define([acl_frompackage_]NAME, [$2]) popdef([NAME]) pushdef([PACK],[$2]) - pushdef([PACKUP],[translit(PACK,[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([PACKUP],[m4_translit(PACK,[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) define([acl_libsinpackage_]PACKUP, - m4_ifdef([acl_libsinpackage_]PACKUP, [acl_libsinpackage_]PACKUP[[, ]],)[lib$1]) + m4_ifdef([acl_libsinpackage_]PACKUP, [m4_defn([acl_libsinpackage_]PACKUP)[, ]],)[lib$1]) popdef([PACKUP]) popdef([PACK]) ]) @@ -168,14 +181,14 @@ dnl in ${LIB${NAME}_PREFIX}/$acl_libdirstem. AC_DEFUN([AC_LIB_LINKFLAGS_BODY], [ AC_REQUIRE([AC_LIB_PREPARE_MULTILIB]) - pushdef([NAME],[translit([$1],[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([NAME],[m4_translit([$1],[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) pushdef([PACK],[m4_ifdef([acl_frompackage_]NAME, [acl_frompackage_]NAME, lib[$1])]) - pushdef([PACKUP],[translit(PACK,[abcdefghijklmnopqrstuvwxyz./-], - [ABCDEFGHIJKLMNOPQRSTUVWXYZ___])]) + pushdef([PACKUP],[m4_translit(PACK,[abcdefghijklmnopqrstuvwxyz./+-], + [ABCDEFGHIJKLMNOPQRSTUVWXYZ____])]) pushdef([PACKLIBS],[m4_ifdef([acl_frompackage_]NAME, [acl_libsinpackage_]PACKUP, lib[$1])]) dnl Autoconf >= 2.61 supports dots in --with options. - pushdef([P_A_C_K],[m4_if(m4_version_compare(m4_defn([m4_PACKAGE_VERSION]),[2.61]),[-1],[translit(PACK,[.],[_])],PACK)]) + pushdef([P_A_C_K],[m4_if(m4_version_compare(m4_defn([m4_PACKAGE_VERSION]),[2.61]),[-1],[m4_translit(PACK,[.],[_])],PACK)]) dnl By default, look in $includedir and $libdir. use_additional=yes AC_LIB_WITH_FINAL_PREFIX([ @@ -232,7 +245,7 @@ AC_DEFUN([AC_LIB_LINKFLAGS_BODY], names_already_handled="$names_already_handled $name" dnl See if it was already located by an earlier AC_LIB_LINKFLAGS dnl or AC_LIB_HAVE_LINKFLAGS call. - uppername=`echo "$name" | sed -e 'y|abcdefghijklmnopqrstuvwxyz./-|ABCDEFGHIJKLMNOPQRSTUVWXYZ___|'` + uppername=`echo "$name" | sed -e 'y|abcdefghijklmnopqrstuvwxyz./+-|ABCDEFGHIJKLMNOPQRSTUVWXYZ____|'` eval value=\"\$HAVE_LIB$uppername\" if test -n "$value"; then if test "$value" = yes; then diff --git a/m4/lib-prefix.m4 b/m4/lib-prefix.m4 index 4b7ee33..7e5f0bd 100644 --- a/m4/lib-prefix.m4 +++ b/m4/lib-prefix.m4 @@ -1,5 +1,5 @@ # lib-prefix.m4 serial 7 (gettext-0.18) -dnl Copyright (C) 2001-2005, 2008-2009 Free Software Foundation, Inc. +dnl Copyright (C) 2001-2005, 2008-2011 Free Software Foundation, Inc. dnl This file is free software; the Free Software Foundation dnl gives unlimited permission to copy and/or distribute it, dnl with or without modifications, as long as this notice is preserved.

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added new control on the second parameter of the operator<< and operator>>
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: e6269c05822db0b1baafe700a108030a0b362523 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6269c05822d… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 12:37:18 2011 +0200 Added new control on the second parameter of the operator<< and operator>> function, respectively for the two bitwise operators. --- src/Linear_Form.templates.hh | 8 ++++++-- 1 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index ea00c35..2240a2a 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -606,7 +606,9 @@ operator<<(Linear_Form<C>& f, const C& n) { dimension_type f_size = f.size(); - if (f >= zero) { + if (n == zero) + return f = Linear_Form<C>(zero); + else if (f >= zero) { if (n >= zero) { exp.assign((typename C::boundary_type)ldexp(1.0, n.lower())); exp.join_assign((typename C::boundary_type)ldexp(1.0, n.upper())); @@ -682,7 +684,9 @@ operator>>(Linear_Form<C>& f, const C& n) { dimension_type f_size = f.size(); - if (f >= zero) { + if (n == zero) + return f = Linear_Form<C>(zero); + else if (f >= zero) { if (n >= zero) { exp.assign((typename C::boundary_type)ldexp(1.0, n.lower())); exp.join_assign((typename C::boundary_type)ldexp(1.0, n.upper()));

1 0

[GIT] ppl/ppl(bounded_arithmetic): Other fixes to the documentation.
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9ab3009a39c5963478f645fcc32b56a7b70a9781 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ab3009a39c5… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 11:39:24 2011 +0200 Other fixes to the documentation. --- src/linearize_integer.hh | 177 +++++++++++++++++++++++++++++----------------- 1 files changed, 113 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9ab3009a…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added new command for " Linear form arithmetics".
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 82aeb81d04242ba54e33ab7369728df7e5ec5aba URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82aeb81d0424… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 11:36:38 2011 +0200 Added new command for "Linear form arithmetics". --- doc/ppl.sty | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/doc/ppl.sty b/doc/ppl.sty index c124981..a9ae12e 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -198,6 +198,7 @@ \newcommand*{\amlf}{\boxtimes^{\#}} \newcommand*{\linexpr}[1]{\llparenthesis #1 \rrparenthesis} \newcommand*{\linexprenv}[3]{\llparenthesis #1 \rrparenthesis \left \llbracket #2, #3 \right \rrbracket} +\newcommand*{\linexprenvvar}[3]{\llparenthesis #1 \rrparenthesis #2 \left \llbracket #3 \right \rrbracket} % Interval integer bitwise

1 0

[GIT] ppl/ppl(bounded_arithmetic): Changed names of parameters of the function of the operator<< and opeartor >>,
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 7e741cc82db5f6d3779a20edf8d3e7766cf71eb0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e741cc82db5… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 09:10:13 2011 +0200 Changed names of parameters of the function of the operator<< and opeartor>>, respectively for the bitwise operators left_shift and right_shift. --- src/Linear_Form.defs.hh | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Linear_Form.defs.hh b/src/Linear_Form.defs.hh index d96afc0..a6fec57 100644 --- a/src/Linear_Form.defs.hh +++ b/src/Linear_Form.defs.hh @@ -197,17 +197,17 @@ template <typename C> Linear_Form<C>& operator^=(Linear_Form<C>& f1, const Linear_Form<C>& f2); -//! Returns the linear form \p f << \p n and assigns it to \p e1. +//! Returns the linear form \p f << \p n. /*! \relates Linear_Form */ template <typename C> Linear_Form<C>& operator<<(Linear_Form<C>& f, const C& n); -//! Returns the linear form \p f >> \p n and assigns it to \p e1. +//! Returns the linear form \p f >> \p n. /*! \relates Linear_Form */ template <typename C> Linear_Form<C>& -operator>>(Linear_Form<C>& f1, const C& n); +operator>>(Linear_Form<C>& f, const C& n); //! Returns <CODE>true</CODE> if and only if \p x and \p y are equal. /*! \relates Linear_Form */ @@ -564,9 +564,9 @@ private: friend Linear_Form<C>& operator^=<C>(Linear_Form<C>& f1, const Linear_Form<C>& f2); friend Linear_Form<C>& - operator<<<C>(Linear_Form<C>& f1, const C& n); + operator<<<C>(Linear_Form<C>& f, const C& n); friend Linear_Form<C>& - operator>><C>(Linear_Form<C>& f1, const C& f2); + operator>><C>(Linear_Form<C>& f, const C& n); friend bool operator==<C>(const Linear_Form<C>& x, const Linear_Form<C>& y);

1 0

[GIT] ppl/ppl(bounded_arithmetic): Other changes to the output noisy.
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 65932e2ce5239e65a498dc2459c5013e8318b5a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65932e2ce523… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 01:34:18 2011 +0200 Other changes to the output noisy. --- tests/Concrete_Expression/linearize_int.cc | 679 +++++++++++++--------------- 1 files changed, 321 insertions(+), 358 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=65932e2c…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Modified the documentation for rshift_linearize_int rshift_linearize_int function .
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2a8ce75696ba1bc77589eb182655a8918374cf70 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a8ce75696ba… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 01:20:55 2011 +0200 Modified the documentation for rshift_linearize_int rshift_linearize_int function. --- src/linearize_integer.hh | 138 ++++++++++++++++++++++++++++++--------------- 1 files changed, 92 insertions(+), 46 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2a8ce756…

1 0