May 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Recompute the sign of the special_equality_row after modyfying it.
by Enea Zaffanella 04 May '12

04 May '12

Module: ppl/ppl Branch: master Commit: 5453b06aa9e87a44354171c588e09397393a0bb6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5453b06aa9e8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri May 4 10:13:05 2012 +0200 Recompute the sign of the special_equality_row after modyfying it. This fixes the bug shown by test04() in tests/PIP_Problem/pipproblem3.cc. --- src/PIP_Tree.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 42a568d..9899dc5 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2416,6 +2416,7 @@ PIP_Solution_Node const dimension_type m_eq = mapping[special_equality_row]; sub_assign(tableau.s[m_eq], v_row); sub_assign(tableau.t[m_eq], p_row); + sign[m_eq] = row_sign(tableau.t[m_eq], big_dimension); } } }

1 0

[GIT] ppl/ppl(master): Added a new test showing a bug in PIP_Problem.
by Enea Zaffanella 04 May '12

04 May '12

Module: ppl/ppl Branch: master Commit: 62166e5b03fd6c3f33168ff6b52e72d732c7a0c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62166e5b03fd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri May 4 09:35:26 2012 +0200 Added a new test showing a bug in PIP_Problem. The test was reduced from a slightly bigger one provided by Fred Mesnard. --- tests/PIP_Problem/pipproblem3.cc | 20 ++++++++++++++++++++ 1 files changed, 20 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem3.cc b/tests/PIP_Problem/pipproblem3.cc index c8f3af8..fd75b32 100644 --- a/tests/PIP_Problem/pipproblem3.cc +++ b/tests/PIP_Problem/pipproblem3.cc @@ -150,10 +150,30 @@ test03() { return ok; } +bool +test04() { + Variable A(0); + Variable B(1); + Variable C(2); + + Constraint_System cs; + cs.insert(A >= 0); + cs.insert(A == B); + cs.insert(A == -1); + + PIP_Problem pip(2); + pip.add_constraints(cs); + + bool ok = !pip.is_satisfiable(); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST_F8(test01); DO_TEST_F8(test02); DO_TEST_F8(test03); + DO_TEST(test04); END_MAIN

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 03 May '12

03 May '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1156e92516d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu May 3 21:40:34 2012 +0200 Make sure template specializations are declared. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3500e3bcc9c9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu May 3 19:11:24 2012 +0200 Avoid implicit conversions changing integer signedness. Detected by ECLAIR service utypflag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c49cfb2f3fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu May 3 15:55:11 2012 +0200 Fixed indentation. Detected by ECLAIR service indntion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af42e4fdf6e4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu May 3 15:17:34 2012 +0200 Avoid C-style casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b36a41761e47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu May 3 14:55:23 2012 +0200 Prefer PPL_UNREACHABLE to PPL_ASSERT(false). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9e934bb246a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 2 08:55:48 2012 +0200 Avoid redundant explicit casts. Detected by ECLAIR service castexpr. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afcc028e5c82… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 2 08:23:11 2012 +0200 Avoid unsigned integer wrap-around in constant expressions. Detected by ECLAIR service cnstwrap. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42943b3d8e70… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 1 15:18:29 2012 +0200 Prefer parentheses to excessive reliance on C++ operator precedence rules. Detected by ECLAIR service exprprns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a80c332f47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 1 15:15:29 2012 +0200 Reduced scope of local variable. Detected by ECLAIR service minscope. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=329c4acd3ead… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 1 15:13:33 2012 +0200 Fixed comment about case-block termination. Detected by ECLAIR service swchsynt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=294b398c6e9e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 1 15:10:49 2012 +0200 Fixed file comment block. Detected by ECLAIR service cmntfile.

1 0

[GIT] ppl/ppl(master): Avoid use C++ library for exact conversion from floating point numbers to string : the library is free to ignore requested precision.
by Abramo Bagnara 03 May '12

03 May '12

Module: ppl/ppl Branch: master Commit: 2bc7eacf2fdbcc750a90907514e16e0ab3aa6584 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bc7eacf2fdb… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu May 3 17:26:43 2012 +0200 Avoid use C++ library for exact conversion from floating point numbers to string: the library is free to ignore requested precision. --- README | 3 - m4/Makefile.am | 3 - m4/ac_cxx_double_binary_format.m4 | 4 +- m4/ac_cxx_double_exact_output.m4 | 141 ------------------ m4/ac_cxx_float_binary_format.m4 | 4 +- m4/ac_cxx_float_exact_output.m4 | 137 ----------------- m4/ac_cxx_long_double_binary_format.m4 | 4 +- m4/ac_cxx_long_double_exact_output.m4 | 254 -------------------------------- src/checked.cc | 33 ++++ src/checked.defs.hh | 2 + src/checked_float.inlines.hh | 54 ++++++- src/checked_mpq.inlines.hh | 20 +--- 12 files changed, 86 insertions(+), 573 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2bc7eacf…

1 0