February 2010 - PPL-devel - BUGSENG Mailman

Problems with test suite on alpha
by Michael Tautschnig 09 Sep '10

09 Sep '10

Hi PPL developers, I've reported problems with some test cases because of suspected gcc bugs on alpha earlier already. Now it seems that even more test cases are broken, most probably because of the very same bug (I suspect it to be http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966). My question now is: How to proceed? Shall I specifically disable the failing test cases by surrounding them with an #ifndef __alpha__ or disable the entire test suite on alpha? Thanks, Michael

2 6

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 28 Feb '10

28 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28fb0290176d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:24:27 2010 +0100 MIP_Problem: optimize method linear_combine() using find_create(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e942c4e9ba5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:23:36 2010 +0100 Sparse_Row: add method find_create(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d31866513241… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:23:21 2010 +0100 Sparse_Matrix_Row: add method find_create(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48c8d34a3aaa… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:22:47 2010 +0100 Unlimited_Sparse_Row: require backends to have static method next(). Add method find_create(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e727beb01966… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:20:18 2010 +0100 Unlimited_Sparse_Row_Std_List_Backend::dangerous_iterator: add static next() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6d259688ce1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 18:19:07 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend::dangerous_iterator: add static next() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71670f147080… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 17:04:20 2010 +0100 Unlimited_Sparse_Row: require backend-provided iterator types to be different.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 28 Feb '10

28 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a632415434a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:58:19 2010 +0100 MIP_Problem: optimize further steepest_edge_exact_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53b2f89239d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:38:04 2010 +0100 MIP_Problem: optimize method get_exiting_base_index() using get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68803ea857a0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:37:00 2010 +0100 Sparse_Row: added method get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b8fdd935b86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:36:33 2010 +0100 Sparse_Matrix_Row: add method get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a67aa542cb68… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:35:55 2010 +0100 Dense_Row: added method get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3576aeccb44… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:35:12 2010 +0100 Unlimited_Sparse_Row: add two-argument find(), lower_bound(), upper_bound(). Add find2() and get2(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3464077cd03… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Feb 28 16:33:06 2010 +0100 Unlimited_Sparse_Row_Std_List_Backend: make dangerous_iterator and iterator types different.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 28 Feb '10

28 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad48c277bf4b… Merge: 1a2c0feef29d62e7d31c5947a452b6400f2537a8 9b5f5fd6156cef86d35e847a8d38265740737c2f Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 28 11:59:19 2010 +0100 Merge branch 'master' into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:57:58 2010 +0100 Useless comma removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368e94bd2e37… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:42:23 2010 +0100 Removed stuff that will not be included in PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d37735b2febd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:41:56 2010 +0100 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db2f453a9953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:26:09 2010 +0100 Temporarily removed the support for circular intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aa7b67f7fe2… Merge: cef1370849e9e1a196fa73b1009973d53779c4d1 9005a4bc71b38b80205724ac2914731466e5b450 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:03:48 2010 +0100 Merge branch 'master' into floating_point URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9005a4bc71b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:02:19 2010 +0100 Reassign error codes so as to have backward compatibility. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cef1370849e9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:58:21 2010 +0100 Modified return statements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a999ad72d925… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:19:16 2010 +0100 Several corrections in rate limiter tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710e5d5efd12… Author: Fabio <Fabio(a)C1P4.(none)> Date: Tue Feb 23 14:54:34 2010 +0100 Fixed a test on BDShape. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=670c44bcc1e5… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 22:21:24 2010 +0100 Removed whitespaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d085a775bc8… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 22:15:50 2010 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2aee435d05b… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 22 17:35:09 2010 +0100 Fixed digitalfilters1.cc

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 28 Feb '10

28 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2c0feef29d… Merge: dcd1bbb9c1f90b4ac701c25832303bd55066ae04 10e2e18534c3cd348d8f1bba5e3d54f38166bce6 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 28 11:54:37 2010 +0100 Merge branch 'master' into sparse_matrices URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e2e18534c3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 27 10:30:09 2010 +0100 Increase code coverage for PIP_Tree_Node printing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c67f2c8566da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 08:58:00 2010 +0100 Force C++ linking for all the test programs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a89bb0a926a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 07:33:22 2010 +0100 Exception handling fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58befe688ea3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 26 22:08:11 2010 +0100 Throw std::logic_error in case the client asks for watchdogs on a system not supporting them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=768a88bdae63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 25 19:52:31 2010 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3edd591a85e1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 18:55:07 2010 +0100 Simplified initialization of Threshold_Watcher<> static data member. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc751cb13ead… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:42:19 2010 +0100 Added printing functions for PIP tree nodes and improved documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7fc5572e9b7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:27:40 2010 +0100 Added operator<<() for class PIP_Tree_Node, printing the subtree. The output operator is based on public (non-virtual) method print(), which calls the protected (virtual) method print_tree() after properly setting up the needed arguments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99c0578d19f3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 26 17:24:23 2010 +0100 Improve definition of Matrix::const_iterator default constructor.

1 0

[GIT] ppl/ppl(floating_point): Useless comma removed.
by Roberto Bagnara 27 Feb '10

27 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 9b5f5fd6156cef86d35e847a8d38265740737c2f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:57:58 2010 +0100 Useless comma removed. --- interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 3e7938a..b5d8e50 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -340,7 +340,7 @@ enum ppl_enum_error_code { its internal logic. This happens, for instance, when the client attempts to use the timeout facilities on a system that does not support them. */ - PPL_ERROR_LOGIC_ERROR = -12, + PPL_ERROR_LOGIC_ERROR = -12 }; /*! \brief

1 0

[GIT] ppl/ppl(floating_point): Removed stuff that will not be included in PPL 0.11.
by Roberto Bagnara 27 Feb '10

27 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 368e94bd2e3711f6e3c110947c7bd8db51812b5b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368e94bd2e37… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:42:23 2010 +0100 Removed stuff that will not be included in PPL 0.11. --- src/Bool4.defs.hh | 199 -------------------------------------------------- src/Box.defs.hh | 7 -- src/Box.templates.hh | 12 --- src/Makefile.am | 1 - 4 files changed, 0 insertions(+), 219 deletions(-) diff --git a/src/Bool4.defs.hh b/src/Bool4.defs.hh deleted file mode 100644 index c0fe2fe..0000000 --- a/src/Bool4.defs.hh +++ /dev/null @@ -1,199 +0,0 @@ -/* Boolean values set class. - Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - -This file is part of the Parma Polyhedra Library (PPL). - -The PPL is free software; you can redistribute it and/or modify it -under the terms of the GNU General Public License as published by the -Free Software Foundation; either version 3 of the License, or (at your -option) any later version. - -The PPL is distributed in the hope that it will be useful, but WITHOUT -ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with this program; if not, write to the Free Software Foundation, -Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. - -For the most up-to-date information see the Parma Polyhedra Library -site: http://www.cs.unipr.it/ppl/ . */ - -#ifndef PPL_Bool4_defs_hh -#define PPL_Bool4_defs_hh 1 - -#include "globals.types.hh" - -namespace Parma_Polyhedra_Library { - -class Bool4 { -private: - enum { - B_FALSE = 0, - B_TRUE, - B_UNIVERSE, - B_EMPTY, - }; - unsigned char value; - static bool b_from_b4_b4(unsigned int results, unsigned char x, unsigned char y) { - return (results >> (x << 2 | y)) & 1; - } - static unsigned char b4_from_b4(unsigned int results, unsigned char x) { - return (results >> (x << 1)) & 3; - } - static unsigned char b4_from_b4_b4(unsigned int results, unsigned char x, unsigned char y) { - return (results >> (x << 3 | y << 1)) & 3; - } -public: - Bool4() { - } - explicit Bool4(bool v) { - assign(v); - } - explicit Bool4(Degenerate_Element e) { - assign(e); - } - bool is_empty() const { - return value == B_EMPTY; - } - bool is_universe() const { - return value == B_UNIVERSE; - } - bool is_true() const { - return value == B_TRUE; - } - bool is_false() const { - return value == B_FALSE; - } - bool contains(bool v) const { - return value == B_UNIVERSE || value == (v ? B_TRUE : B_FALSE); - } - bool contains(const Bool4& x) const { - // EEEE UUUU TTTT FFFF - // EUTF EUTF EUTF EUTF - // 1000 1111 1010 1001 - return b_from_b4_b4(0x8fa9U, value, x.value); - } - bool strictly_contains(const Bool4& x) const { - // EEEE UUUU TTTT FFFF - // EUTF EUTF EUTF EUTF - // 0000 1011 1000 1000 - return b_from_b4_b4(0x0b88U, value, x.value); - } - bool is_disjoint_from(const Bool4& x) const { - // EEEE UUUU TTTT FFFF - // EUTF EUTF EUTF EUTF - // 1111 1000 1001 1010 - return b_from_b4_b4(0xf89aU, value, x.value); - } - bool equal(const Bool4& x) const { - return value == x.value; - } - void assign(Degenerate_Element e) { - switch (e) { - default: - PPL_ASSERT(0); - /* Fall through */ - case EMPTY: - value = B_EMPTY; - break; - case UNIVERSE: - value = B_UNIVERSE; - break; - } - } - void assign(bool v) { - value = v ? B_TRUE : B_FALSE; - } - void assign(const Bool4& x) { - value = x.value; - } - void complement_assign(const Bool4& x) { - value = x.value ^ B_TRUE; - } - void join_assign(const Bool4& x, const Bool4& y) { - // E E E E U U U U T T T T F F F F - // E U T F E U T F E U T F E U T F - // E U T F U U U U T U T U F U U F - // 1110 0100 1010 1010 0110 0110 0010 1000 - value = b4_from_b4_b4(0xe4aa6628U, x.value, y.value); - } - void intersect_assign(const Bool4& x, const Bool4& y) { - // E E E E U U U U T T T T F F F F - // E U T F E U T F E U T F E U T F - // E E E E E U T F E T T E E F E F - // 1111 1111 1110 0100 1101 0111 1100 1100 - value = b4_from_b4_b4(0xffe4d7ccU, x.value, y.value); - } - void difference_assign(const Bool4& x, const Bool4& y) { - // E E E E U U U U T T T T F F F F - // E U T F E U T F E U T F E U T F - // E E E E U E F T T E E T F E F E - // 1111 1111 1011 0001 0111 1101 0011 0011 - value = b4_from_b4_b4(0xffb17d33U, x.value, y.value); - } - -#define r_bit(v, n) ((v) >> (n) & 1) -#define r_join(v, a, b) (r_bit(v, a) == r_bit(v, b) ? r_bit(v, a) : 2) - -#define br2_to_b4(v) \ - (r_bit(v, 0) | r_bit(v, 1) << 2 | r_join(v, 0, 1) << 4 | \ - r_bit(v, 2) << 8 | r_bit(v, 3) << 10 | r_join(v, 2, 3) << 12 | \ - r_join(v, 0, 2) << 16 | r_join(v, 1, 3) << 18 | \ - 0xffe0c0c0U) - -#define br1_to_b4(v) \ - (r_bit(v, 0) | r_bit(v,1) << 2 | r_join(v, 0, 1) << 4 | 0xc0) - - void not_assign(const Bool4& x) { - // F T - // T F - value = b4_from_b4(br1_to_b4(0x1), x.value); - } - void or_assign(const Bool4& x, const Bool4& y) { - // T T F F - // T F T F - // T T T F - value = b4_from_b4_b4(br2_to_b4(0xe), x.value, y.value); - } - void and_assign(const Bool4& x, const Bool4& y) { - // T T F F - // T F T F - // T F F F - value = b4_from_b4_b4(br2_to_b4(0x8), x.value, y.value); - } - void xor_assign(const Bool4& x, const Bool4& y) { - // T T F F - // T F T F - // F T T F - value = b4_from_b4_b4(br2_to_b4(0x6), x.value, y.value); - } - void implication_assign(const Bool4& x, const Bool4& y) { - // T T F F - // T F T F - // T F T T - value = b4_from_b4_b4(br2_to_b4(0xb), x.value, y.value); - } - void print(std::ostream& os) const { - if (is_empty()) - os << "[]"; - else if (is_false()) - os << "0"; - else if (is_true()) - os << "1"; - else if (is_universe()) - os << "[0, 1]"; - } -}; - -inline std::ostream& -operator<<(std::ostream& os, const Bool4& x) { - x.print(os); - return os; -} - -} // namespace Parma_Polyhedra_Library - -#endif // !defined(PPL_Bool4_defs_hh) - diff --git a/src/Box.defs.hh b/src/Box.defs.hh index b68ac0d..52c201f 100644 --- a/src/Box.defs.hh +++ b/src/Box.defs.hh @@ -1313,9 +1313,6 @@ public: template <typename T> typename Enable_If<Is_Same<T, Box>::value && Is_Same_Or_Derived<Interval_Base, ITV>::value, void>::type CC76_widening_assign(const T& y, unsigned* tp = 0); - template <typename T> - typename Enable_If<Is_Same<T, Box>::value, void>::type - CC76_widening_assign(const T& y, unsigned* tp = 0); /*! \brief Assigns to \p *this the result of computing the @@ -1337,10 +1334,6 @@ public: typename Enable_If<Is_Same<T, Box>::value && Is_Same_Or_Derived<Interval_Base, ITV>::value, void>::type CC76_widening_assign(const T& y, Iterator first, Iterator last); - template <typename T, typename Iterator> - typename Enable_If<Is_Same<T, Box>::value, void>::type - CC76_widening_assign(const T& y, - Iterator first, Iterator last); //! Same as CC76_widening_assign(y, tp). void widening_assign(const Box& y, unsigned* tp = 0); diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 5e7dc5d..3de3094 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -3552,12 +3552,6 @@ Box<ITV>::CC76_widening_assign(const T& y, Iterator first, Iterator last) { } template <typename ITV> -template <typename T, typename Iterator> -typename Enable_If<Is_Same<T, Box<ITV> >::value, void>::type -Box<ITV>::CC76_widening_assign(const T& y, Iterator first, Iterator last) { -} - -template <typename ITV> template <typename T> typename Enable_If<Is_Same<T, Box<ITV> >::value && Is_Same_Or_Derived<Interval_Base, ITV>::value, void>::type Box<ITV>::CC76_widening_assign(const T& y, unsigned* tp) { @@ -3586,12 +3580,6 @@ Box<ITV>::CC76_widening_assign(const T& y, unsigned* tp) { } template <typename ITV> -template <typename T> -typename Enable_If<Is_Same<T, Box<ITV> >::value, void>::type -Box<ITV>::CC76_widening_assign(const T& y, unsigned* tp) { -} - -template <typename ITV> void Box<ITV>::get_limiting_box(const Constraint_System& cs, Box& limiting_box) const { diff --git a/src/Makefile.am b/src/Makefile.am index fb205e6..7c10d46 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -216,7 +216,6 @@ distances.defs.hh \ distances.inlines.hh \ Boundary.defs.hh \ intervals.defs.hh \ -Bool4.defs.hh \ Interval_Info.defs.hh \ Interval_Info.inlines.hh \ Interval_Restriction.defs.hh \

1 0

[GIT] ppl/ppl(floating_point): Missing comma added.
by Roberto Bagnara 27 Feb '10

27 Feb '10

Module: ppl/ppl Branch: floating_point Commit: d37735b2febd063926c563a2098c54cf732e2c9a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d37735b2febd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:41:56 2010 +0100 Missing comma added. --- interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 4043314..3e7938a 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -334,7 +334,7 @@ enum ppl_enum_error_code { An exception has been raised by the PPL as a timeout previously set by the user has expired. */ - PPL_TIMEOUT_EXCEPTION = -11 + PPL_TIMEOUT_EXCEPTION = -11, /*! \hideinitializer The client program attempted to use the PPL in a way that violates its internal logic. This happens, for instance, when the client

1 0

[GIT] ppl/ppl(floating_point): Temporarily removed the support for circular intervals.
by Roberto Bagnara 27 Feb '10

27 Feb '10

Module: ppl/ppl Branch: floating_point Commit: db2f453a9953e6ba1138b2f25396e6a6e2231c91 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db2f453a9953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:26:09 2010 +0100 Temporarily removed the support for circular intervals. --- src/Box.defs.hh | 7 +- src/Box.templates.hh | 6 +- src/Circular_Interval.defs.hh | 1032 ----------------------------------------- src/Makefile.am | 1 - 4 files changed, 6 insertions(+), 1040 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=db2f453a…

1 0

[GIT] ppl/ppl(master): Useless comma removed.
by Roberto Bagnara 27 Feb '10

27 Feb '10

Module: ppl/ppl Branch: master Commit: 9b5f5fd6156cef86d35e847a8d38265740737c2f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b5f5fd6156c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 27 17:57:58 2010 +0100 Useless comma removed. --- interfaces/C/ppl_c_header.h | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index 3e7938a..b5d8e50 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -340,7 +340,7 @@ enum ppl_enum_error_code { its internal logic. This happens, for instance, when the client attempts to use the timeout facilities on a system that does not support them. */ - PPL_ERROR_LOGIC_ERROR = -12, + PPL_ERROR_LOGIC_ERROR = -12 }; /*! \brief

1 0