- PPL-devel - BUGSENG Mailman

can't find "ppl.cma"
by Tie Cheng 21 Sep '11

21 Sep '11

Hello, I have downloaded ppl package and follow the steps to install it under /usr/local/lib... Here is the result of "find -name "*ppl.*"" under "/usr/": ./lib/libppl.so.7.1.0 ./lib/libppl.so.7 ./lib/libcloog-ppl.so.0 ./local/share/man/man3/libppl.3 ./local/share/aclocal/ppl.m4 ./local/include/ppl.hh ./local/lib/libppl.so ./local/lib/libppl.la ./local/lib/libppl.a ./local/lib/libppl.so.9 ./local/lib/libppl.so.9.0.0 I have done "find -name "ppl.cma"" under "/", it finds nothing. Does it mean the package has not been correctly installed? Where do you often find your "ppl.cma"? Thank you very much Tie

2 3

Error: Unbound value Ppl.manager_alloc_strict
by Tie Cheng 21 Sep '11

21 Sep '11

Hello all, I just installed Ppl, here is the result of `find -name "*ppl.*" under /usr/: ./lib/libppl.so.7.1.0 ./lib/libppl.so.7 ./lib/libcloog-ppl.so.0 ./local/share/man/man3/libppl.3 ./local/share/aclocal/ppl.m4 ./local/include/ppl.hh ./local/lib/libppl.so ./local/lib/libppl.la ./local/lib/libppl.a ./local/lib/libppl.so.9 ./local/lib/libppl.so.9.0.0 But when I run the following code by "ocamlc -I /usr/local/lib/ocaml/3.11.2/apron -I /usr/local/lib/ocaml/3.11.2/gmp/ -I /usr/local/lib/ -c file.ml", I got an error "Unbound value Ppl.manager_alloc_strict". open Apron;; open Mpqf;; open Format;; let print_array = Abstract0.print_array;; let lincons1_array_print fmt x = Lincons1.array_print fmt x ;; let generator1_array_print fmt x = Generator1.array_print fmt x ;; let manpk = Polka.manager_alloc_strict();; let manbox = Box.manager_alloc ();; let manoct = Oct.manager_alloc ();; let manppl = Ppl.manager_alloc_strict();; ... Does anyone know what happened? Thank you very much! Tie CHENG

1 0

[GIT] ppl/ppl(bounded_arithmetic): Renamed the temporary names intervals, and corrected the compute of the
by Alberto Gioia 19 Sep '11

19 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2e84249cb381ae212e54cf2de994af3e7d818277 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e84249cb381… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Sep 19 19:35:40 2011 +0200 Renamed the temporary names intervals, and corrected the compute of the boundary upper and lower for the function xor_assign. --- src/Interval.inlines.hh | 151 +++++++++++++++++++++++------------------------ 1 files changed, 73 insertions(+), 78 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2e84249c…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Minor changes.
by Alberto Gioia 19 Sep '11

19 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: bb132ec0901f5629cd56113093a9223141241047 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb132ec0901f… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Sep 19 19:34:28 2011 +0200 Minor changes. --- src/Linear_Form.templates.hh | 3 +-- tests/Concrete_Expression/linearize_int_xor.cc | 19 ++++++++++++------- 2 files changed, 13 insertions(+), 9 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index b7f8764..b697f96 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -416,9 +416,8 @@ operator^=(Linear_Form<C>& f1, const Linear_Form<C>& f2) { return f1; } else if (check_totaly(f1, f2)) { - for (dimension_type i = f2_size; i-- > 0; ) { + for (dimension_type i = f2_size; i-- > 0; ) f1[i] ^= f2[i]; - } return f1; } else diff --git a/tests/Concrete_Expression/linearize_int_xor.cc b/tests/Concrete_Expression/linearize_int_xor.cc index 3492721..db3c0ef 100644 --- a/tests/Concrete_Expression/linearize_int_xor.cc +++ b/tests/Concrete_Expression/linearize_int_xor.cc @@ -74,7 +74,7 @@ bool test01() { Integer_Int_Interval tmp(2); tmp.join_assign(3); - nout << "B in " << tmp << endl; + nout<< "B in " << tmp << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(1), tmp); @@ -241,6 +241,7 @@ test03() { Integer_Int_Interval tmp1(2); tmp1.join_assign(3); nout << "A in " << tmp << " and B in " << tmp1 << endl; + Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -252,6 +253,10 @@ test03() { Integer_Int_Interval inh_term(-2); inh_term.join_assign(-3); + Integer_Int_Interval a1(-1); + + Integer_Int_Interval b1(-1); + Integer_Int_Interval inh_term1(-1); inh_term1.join_assign(-4); @@ -263,8 +268,8 @@ test03() { Int_Constant<C_Expr> coeff_a(Integer_Type, a); Int_Constant<C_Expr> coeff_b(Integer_Type, b); Int_Constant<C_Expr> coeff_inh_term(Integer_Type, inh_term); - Int_Constant<C_Expr> coeff_a1(Integer_Type, a); - Int_Constant<C_Expr> coeff_b1(Integer_Type, a); + Int_Constant<C_Expr> coeff_a1(Integer_Type, a1); + Int_Constant<C_Expr> coeff_b1(Integer_Type, b1); Int_Constant<C_Expr> coeff_inh_term1(Integer_Type, inh_term1); Binary_Operator<C_Expr> term_a(Integer_Type, Binary_Operator<C_Expr>::MUL, @@ -299,9 +304,9 @@ test03() { known_result += b * Integer_Linear_Form(B); known_result += inh_term; - Integer_Linear_Form lf = Integer_Linear_Form(A); - lf *= a; - lf += a * Integer_Linear_Form(B); + Integer_Linear_Form lf = A; + lf *= a1; + lf += b1 * Integer_Linear_Form(B); lf += inh_term1; linearize_int(bxor, oracle, Integer_Linear_Form_Abstract_Store(), result); @@ -390,7 +395,7 @@ test04() { nout << endl; bool ok = result == known_result ; - ; + return ok; }

1 0

[GIT] ppl/ppl(bounded_arithmetic): Modified and corrected noisy output.
by Alberto Gioia 19 Sep '11

19 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 4329b457a9b6d298b56756f7ac94595a21b4c0c3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4329b457a9b6… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Sep 19 12:40:44 2011 +0200 Modified and corrected noisy output. --- tests/Concrete_Expression/linearize_int_and.cc | 6 ++-- tests/Concrete_Expression/linearize_int_lshift.cc | 4 +- tests/Concrete_Expression/linearize_int_or.cc | 22 ++++++++++---------- tests/Concrete_Expression/linearize_int_rshift.cc | 1 - tests/Concrete_Expression/linearize_int_xor.cc | 20 +++++++++--------- 5 files changed, 26 insertions(+), 27 deletions(-) diff --git a/tests/Concrete_Expression/linearize_int_and.cc b/tests/Concrete_Expression/linearize_int_and.cc index 1fcb831..886c5c5 100644 --- a/tests/Concrete_Expression/linearize_int_and.cc +++ b/tests/Concrete_Expression/linearize_int_and.cc @@ -554,11 +554,11 @@ test07() { bool failed_and = false; - nout << "*** " << known_result << " << " << lf << " ***" << endl; + nout << "*** " << known_result << " & " << lf << " ***" << endl; if (!linearize_int(band, oracle, Integer_Linear_Form_Abstract_Store(), result)) { - nout << "*** Linearization failed, the two linear forms have " - << "different size *** " << endl; + nout << "*** Linearization failed, the two linear forms " + << "do not have the same variables. *** " << endl; failed_and = true; } diff --git a/tests/Concrete_Expression/linearize_int_lshift.cc b/tests/Concrete_Expression/linearize_int_lshift.cc index 35c927d..1262d0f 100644 --- a/tests/Concrete_Expression/linearize_int_lshift.cc +++ b/tests/Concrete_Expression/linearize_int_lshift.cc @@ -1498,7 +1498,7 @@ test12() { } /* - Tests linearization A + 4*B + 3*C + [3, 9] >> 3*A + B + 2*C + [9, 12] + Tests linearization A + 4*B + 3*C + [3, 9] << 3*A + B + 2*C + [9, 12] where A in [1, 2], B in [3, 5] and C in [0, 2]. */ bool @@ -1598,7 +1598,7 @@ test13() { linearize_int(lshift, oracle, Integer_Linear_Form_Abstract_Store(), result); - nout << "*** " << known_result << " >> " << lf << " ***" << endl + nout << "*** " << known_result << " << " << lf << " ***" << endl << "*** result *** " << endl << result << endl; known_result << tmp; diff --git a/tests/Concrete_Expression/linearize_int_or.cc b/tests/Concrete_Expression/linearize_int_or.cc index 3749f8b..a3b0206 100644 --- a/tests/Concrete_Expression/linearize_int_or.cc +++ b/tests/Concrete_Expression/linearize_int_or.cc @@ -143,7 +143,7 @@ test02() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); @@ -222,7 +222,7 @@ test03() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -308,7 +308,7 @@ test04() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -386,7 +386,7 @@ test05() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -508,7 +508,7 @@ bool test07() { Integer_Int_Interval tmp(1); Integer_Int_Interval tmp1(5); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -538,11 +538,11 @@ test07() { bool failed_or = false; - nout << "*** " << known_result << " << " << lf << " ***" << endl; + nout << "*** " << known_result << " | " << lf << " ***" << endl; if (!linearize_int(bor, oracle, Integer_Linear_Form_Abstract_Store(), result)) { - nout << "*** Linearization failed, the two linear forms have " - << "different size *** " << endl; + nout << "*** Linearization failed, the two linear forms " + << "do not have the same variables. *** " << endl; failed_or = true; } @@ -627,7 +627,7 @@ test09() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -722,7 +722,7 @@ test10() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " or B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -816,7 +816,7 @@ test11() { tmp.join_assign(4); Integer_Int_Interval tmp1(5); tmp1.join_assign(9); - nout << "A in " << tmp << "and B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); diff --git a/tests/Concrete_Expression/linearize_int_rshift.cc b/tests/Concrete_Expression/linearize_int_rshift.cc index 6ac8ec9..c3a3958 100644 --- a/tests/Concrete_Expression/linearize_int_rshift.cc +++ b/tests/Concrete_Expression/linearize_int_rshift.cc @@ -306,7 +306,6 @@ test02() { tmp2 *= a1; tmp2 += b1 * tmp3; tmp2 += inh_term1; - std::cout << "tmp2 vale " << tmp2 << std::endl; linearize_int(rshift, oracle1, Integer_Linear_Form_Abstract_Store(), result ); diff --git a/tests/Concrete_Expression/linearize_int_xor.cc b/tests/Concrete_Expression/linearize_int_xor.cc index 86289cb..3492721 100644 --- a/tests/Concrete_Expression/linearize_int_xor.cc +++ b/tests/Concrete_Expression/linearize_int_xor.cc @@ -161,7 +161,7 @@ test02() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); @@ -240,7 +240,7 @@ test03() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -326,7 +326,7 @@ test04() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -404,7 +404,7 @@ test05() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -526,7 +526,7 @@ bool test07() { Integer_Int_Interval tmp(1); Integer_Int_Interval tmp1(5); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -556,11 +556,11 @@ test07() { bool failed_xor = false; - nout << "*** " << known_result << " << " << lf << " ***" << endl; + nout << "*** " << known_result << " ^ " << lf << " ***" << endl; if (!linearize_int(bxor, oracle, Integer_Linear_Form_Abstract_Store(), result )) { - nout << "*** Linearization failed, the two linear forms have " - << "different size *** " << endl; + nout << "*** Linearization failed, the two linear forms " + << "do not have the same variables. *** " << endl; failed_xor = true; } @@ -645,7 +645,7 @@ test09() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1); @@ -740,7 +740,7 @@ test10() { tmp.join_assign(1); Integer_Int_Interval tmp1(2); tmp1.join_assign(3); - nout << "A in " << tmp << " xor B in " << tmp1 << endl; + nout << "A in " << tmp << " and B in " << tmp1 << endl; Test_Oracle oracle(Integer_Interval_Abstract_Store(2)); oracle.int_store.set_interval(Variable(0), tmp); oracle.int_store.set_interval(Variable(1), tmp1);

1 0

[GIT] ppl/ppl(bounded_arithmetic): Changed behavior of the function operator<< and operator<< about second
by Alberto Gioia 19 Sep '11

19 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 23dc642f53f4c94db0a5ac1436d72462944bc3a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23dc642f53f4… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Mon Sep 19 12:33:02 2011 +0200 Changed behavior of the function operator<< and operator<< about second operand equal to 0 and eliminated case equal to 1. --- src/Linear_Form.templates.hh | 14 ++------------ 1 files changed, 2 insertions(+), 12 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 15fd3b3..b7f8764 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -431,15 +431,10 @@ template <typename C> Linear_Form<C>& operator<<(Linear_Form<C>& f, const C& n) { C zero(0); - C one(1); dimension_type f_size = f.size(); - if (n == zero) { - f = Linear_Form<C>(zero); - return f; - } - else if (n == one) + if (n == zero) return f; else if (f >= zero || f < zero) { for (dimension_type i = f_size; i-- > 0; ) @@ -456,15 +451,10 @@ template <typename C> Linear_Form<C>& operator>>(Linear_Form<C>& f, const C& n) { C zero(0); - C one(1); dimension_type f_size = f.size(); - if (n == zero) { - f = Linear_Form<C>(zero); - return f; - } - if (n == one) + if (n == zero) return f; else if (f >= zero || f < zero) { for (dimension_type i = f_size; i-- > 0; )

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added into Makefile. am the new test files for bitwise operators.
by Alberto Gioia 15 Sep '11

15 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 6be02a383b2ca36767e161fabccf7145fb0fca64 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6be02a383b2c… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Thu Sep 15 21:03:51 2011 +0200 Added into Makefile.am the new test files for bitwise operators. --- tests/Concrete_Expression/Makefile.am | 16 ++++++++++++++-- 1 files changed, 14 insertions(+), 2 deletions(-) diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 1db0504..7b17383 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -55,7 +55,11 @@ ORIGINAL_TESTS = \ C_Expr \ linearform1 \ linearize \ -linearize_int \ +linearize_int_and \ +linearize_int_or \ +linearize_int_xor \ +linearize_int_lshift \ +linearize_int_rshift \ digitalfilters1 \ bdshape1 \ bdshape2 \ @@ -144,7 +148,15 @@ linearform1_SOURCES = linearform1.cc linearize_SOURCES = linearize.cc -linearize_int_SOURCES = linearize_int.cc +linearize_int_and_SOURCES = linearize_int_and.cc + +linearize_int_or_SOURCES = linearize_int_or.cc + +linearize_int_xor_SOURCES = linearize_int_xor.cc + +linearize_int_lshift_SOURCES = linearize_int_lshift.cc + +linearize_int_rshift_SOURCES = linearize_int_rshift.cc octagonalshape1_SOURCES = octagonalshape1.cc

1 0

[GIT] ppl/ppl(bounded_arithmetic): Splitted function test for operator bitwise.
by Alberto Gioia 15 Sep '11

15 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: ab98e746c91524e9ebe8b8d8dc220e83a7fb51cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab98e746c915… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Thu Sep 15 21:01:21 2011 +0200 Splitted function test for operator bitwise. --- tests/Concrete_Expression/linearize_int_and.cc | 1055 +++++++++++++ tests/Concrete_Expression/linearize_int_lshift.cc | 1629 ++++++++++++++++++++ tests/Concrete_Expression/linearize_int_or.cc | 1020 +++++++++++++ tests/Concrete_Expression/linearize_int_rshift.cc | 1676 +++++++++++++++++++++ tests/Concrete_Expression/linearize_int_xor.cc | 1037 +++++++++++++ 5 files changed, 6417 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=ab98e746…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Corrected Boundary_Type into into xor_assign function.
by Alberto Gioia 15 Sep '11

15 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: db7b7ce8a5b4f16b11aa707060ab782eee9587bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db7b7ce8a5b4… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Thu Sep 15 20:58:52 2011 +0200 Corrected Boundary_Type into into xor_assign function. --- src/Interval.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index e13c73f..1e9d1b6 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -1373,7 +1373,7 @@ Interval<To_Boundary, To_Info>::xor_assign(const From1& x, const From2& y) { Boundary_NS::assign(LOWER, to_lower, to_info, LOWER, f_lower(zero), f_info(zero)); - if (Boundary_NS::is_boundary_infinity(LOWER, f_lower(x1), f_info(x1))) + if (Boundary_NS::is_boundary_infinity(UPPER, f_upper(x1), f_info(x1))) Boundary_NS::assign(UPPER, upper(), info(), UPPER, f_upper(max_value), f_info(max_value)); else {

1 0

[GIT] ppl/ppl(bounded_arithmetic): Corrected comment of the shift function bitwise operators.
by Alberto Gioia 14 Sep '11

14 Sep '11

Module: ppl/ppl Branch: bounded_arithmetic Commit: 265aed6f41ffc44d9920f681bbf472cbb82fefc0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=265aed6f41ff… Author: Alberto Gioia <alberto.gioia1(a)studenti.unipr.it> Date: Wed Sep 14 13:13:33 2011 +0200 Corrected comment of the shift function bitwise operators. Moved the control of bounded of second operand. Added functions for the overloading of bitwise operators. --- src/Interval.inlines.hh | 356 ++++++++++++++++++++++++++++++++++------------- 1 files changed, 261 insertions(+), 95 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=265aed6f…

1 0