July 2011 - PPL-devel - BUGSENG Mailman

[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

[GIT] ppl/ppl(bounded_arithmetic): Changed declaration and definition for the left_shift and right_shift operators ,
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 254d5a537bf46056b9f4305ab35860e89c23bfc4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=254d5a537bf4… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 01:16:01 2011 +0200 Changed declaration and definition for the left_shift and right_shift operators, respectively, for the functions operator<< and operator>>. --- src/Linear_Form.defs.hh | 12 +- src/Linear_Form.templates.hh | 367 +++++++++++++++++++++++------------------- 2 files changed, 205 insertions(+), 174 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=254d5a53…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added implementation of the operator<=.
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: e288ab78165d911840adf4a4f770b5355368ae95 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e288ab78165d… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 00:49:55 2011 +0200 Added implementation of the operator<=. --- src/Interval.inlines.hh | 46 +++++++++++++++++++++++++++++++++++----------- 1 files changed, 35 insertions(+), 11 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 4913371..f88fc60 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -186,8 +186,10 @@ operator!=(const T1& x, const T2& y) { template <typename T1, typename T2> inline typename Enable_If<((Is_Singleton<T1>::value || Is_Interval<T1>::value) - && (Is_Singleton<T2>::value || Is_Interval<T2>::value) - && (Is_Interval<T1>::value || Is_Interval<T2>::value)), + && (Is_Singleton<T2>::value + || Is_Interval<T2>::value) + && (Is_Interval<T1>::value + || Is_Interval<T2>::value)), bool>::type operator>=(const T1& x, const T2& y) { PPL_ASSERT(f_OK(x)); @@ -196,8 +198,30 @@ operator>=(const T1& x, const T2& y) { return check_empty_arg(y); else if (check_empty_arg(y)) return false; - return ge(LOWER, f_lower(x), f_info(x), LOWER, f_lower(y), f_info(y)) || - ge(UPPER, f_upper(x), f_info(x), UPPER, f_upper(y), f_info(y)) ; + return + ge(LOWER, f_lower(x), f_info(x), LOWER, f_lower(y), f_info(y)) + && + ge(UPPER, f_upper(x), f_info(x), UPPER, f_upper(y), f_info(y)) ; +} + +template <typename T1, typename T2> +inline typename Enable_If<((Is_Singleton<T1>::value || Is_Interval<T1>::value) + && (Is_Singleton<T2>::value + || Is_Interval<T2>::value) + && (Is_Interval<T1>::value + || Is_Interval<T2>::value)), + bool>::type +operator<=(const T1& x, const T2& y) { + PPL_ASSERT(f_OK(x)); + PPL_ASSERT(f_OK(y)); + if (check_empty_arg(x)) + return check_empty_arg(y); + else if (check_empty_arg(y)) + return false; + return + le(LOWER, f_lower(x), f_info(x), LOWER, f_lower(y), f_info(y)) + && + le(UPPER, f_upper(x), f_info(x), UPPER, f_upper(y), f_info(y)) ; } template <typename Boundary, typename Info> @@ -993,13 +1017,13 @@ Interval<To_Boundary, To_Info>::xor_assign(const From1& x, const From2& y) { Same sign. 0 <= xl <= xu, 0 <= yl <= yu xl <= xu < 0, yl <= yu < 0 - 0 <= XOR(x,y) <= |x+y| + 0 <= XOR(x,y) <= |x + y| */ if (xls >= 0) { - Boundary_NS::assign(UPPER, upperx, infox, - UPPER, f_upper(x), f_info(x)); - Boundary_NS::assign(UPPER, uppery, infoy, - UPPER, f_upper(y), f_info(y)); + Boundary_NS::assign(UPPER, upperx, infox, + UPPER, f_upper(x), f_info(x)); + Boundary_NS::assign(UPPER, uppery, infoy, + UPPER, f_upper(y), f_info(y)); Boundary_NS::assign(LOWER, lower(), to_info, LOWER, f_lower(Constant<0>::value), @@ -1026,9 +1050,9 @@ Interval<To_Boundary, To_Info>::xor_assign(const From1& x, const From2& y) { upper() = std::numeric_limits<To_Boundary>::max(); else { Boundary_NS::neg_assign(UPPER, upperx, infox, - LOWER, f_lower(x), f_info(x)); + UPPER, f_upper(x), f_info(x)); Boundary_NS::neg_assign(UPPER, uppery, infoy, - LOWER, f_lower(y), f_info(y)); + UPPER, f_upper(y), f_info(y)); Boundary_NS::add_assign(UPPER, upper(), to_info, UPPER, upperx, infox, UPPER, uppery, infoy);

1 0

[GIT] ppl/ppl(bounded_arithmetic): Minor correction.
by Alberto Gioia 18 Jul '11

18 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 9d77106c9ff99131903b042e15acba391ec9f45d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d77106c9ff9… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Jul 18 00:44:51 2011 +0200 Minor correction. --- doc/definitions.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 1034c66..ba80d9f 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2821,7 +2821,7 @@ The interval bitwise operators are defined as follow: \begin{cases} \bigl[0, \min(b, b')\bigr], & \text{if $a \geq 0$ and $a' \geq 0$}; \\ - \bigl[0, \max\(b, b')\bigr], + \bigl[0, \max(b, b')\bigr], & \text{if $a \geq 0$ and $b' < 0$, or $b < 0$ and $a' \geq 0$}; \\ \bigl[a + a', \min(b,b')\bigr],

1 0

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

16 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: ebe94840d4f1f9a420bd3d27dad4aaf39fbf2ec3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebe94840d4f1… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Sat Jul 16 13:13:16 2011 +0200 Other fixes to the documentation. --- doc/definitions.dox | 83 ++++++++++++--------------- src/linearize_integer.hh | 142 +++++++++++++++++++++++----------------------- 2 files changed, 107 insertions(+), 118 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ebe94840…

1 0

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

14 Jul '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 49c8c1f720132b1b57be77a6aafe3745302d2808 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49c8c1f72013… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Thu Jul 14 22:38:21 2011 +0200 More fixes to the documentation. --- doc/definitions.dox | 82 +++++++++++----------- src/linearize_integer.hh | 176 +++++++++++++++++++++++----------------------- 2 files changed, 129 insertions(+), 129 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=49c8c1f7…

1 0