May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 2ee98075c306fdfa4051cb88adb49e68d3123b7d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee98075c306… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:13:31 2009 +0200 Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'. --- src/Checked_Number.defs.hh | 8 ++++---- src/Coefficient.types.hh | 2 +- src/checked.defs.hh | 2 +- src/checked_float.inlines.hh | 38 +++++++++++++++++++------------------- 4 files changed, 25 insertions(+), 25 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2ee98075…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Fixed return type.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 0cb27e7158a1d4546ecba3e3141cf5bd90f4f5e2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cb27e7158a1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 20:05:05 2009 +0200 Fixed return type. --- src/checked.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/checked.defs.hh b/src/checked.defs.hh index 0efe776..0324d46 100644 --- a/src/checked.defs.hh +++ b/src/checked.defs.hh @@ -321,7 +321,7 @@ namespace Checked { #define PPL_SPECIALIZE_SGN(func, From) \ PPL_SPECIALIZE_FUN1_0_0(sgn, func, Result_Relation, const, From) #define PPL_SPECIALIZE_CMP(func, Type1, Type2) \ - PPL_SPECIALIZE_FUN2_0_0(cmp, func, Result, const, Type1, const, Type2) + PPL_SPECIALIZE_FUN2_0_0(cmp, func, Result_Relation, const, Type1, const, Type2) #define PPL_SPECIALIZE_CLASSIFY(func, Type) \ PPL_SPECIALIZE_FUN1_0_3(classify, func, Result, const, Type, bool, bool, bool) #define PPL_SPECIALIZE_IS_NAN(func, Type) \

1 0

[GIT] ppl/ppl(bounded_arithmetic): Use Bounded_Integer_Coefficient_Policy as the policy for checked coefficients .
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: eb89cfe6722ad09d1c84a4f342df676343733986 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb89cfe6722a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:01:01 2009 +0200 Use Bounded_Integer_Coefficient_Policy as the policy for checked coefficients. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index cefc30a..0e13e32 100644 --- a/configure.ac +++ b/configure.ac @@ -599,7 +599,7 @@ then AC_DEFINE(PPL_NATIVE_INTEGERS, 1, [Defined if the integral type to be used for coefficients is a native one.]) elif test x"$coefficient_kind" = xchecked then - coefficient_type="Parma_Polyhedra_Library::Checked_Number<int${coefficient_bits}_t>" + coefficient_type="Parma_Polyhedra_Library::Checked_Number<int${coefficient_bits}_t, Bounded_Integer_Coefficient_Policy>" AC_DEFINE_UNQUOTED(PPL_COEFFICIENT_TYPE, $coefficient_type) AC_DEFINE_UNQUOTED(PPL_COEFFICIENT_BITS, $coefficient_bits) AC_DEFINE(PPL_CHECKED_INTEGERS, 1, [Defined if the integral type to be used for coefficients is a checked one.])

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added Bounded_Integer_Coefficient_Policy .
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: a8f95c123cd384619f2be9584dad762930352426 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8f95c123cd3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:00:32 2009 +0200 Added Bounded_Integer_Coefficient_Policy. --- src/Coefficient.inlines.hh | 13 +++++- src/Coefficient.types.hh | 90 ++++++++++++++++++++++++++++++++++++++++++-- 2 files changed, 97 insertions(+), 6 deletions(-) diff --git a/src/Coefficient.inlines.hh b/src/Coefficient.inlines.hh index 1e02b8a..4a7f68b 100644 --- a/src/Coefficient.inlines.hh +++ b/src/Coefficient.inlines.hh @@ -25,6 +25,15 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { +#ifdef PPL_CHECKED_INTEGERS +inline void +Bounded_Integer_Coefficient_Policy::handle_result(Result r) { + if (result_overflow(r)) + throw_result_exception(r); +} +#endif // PPL_CHECKED_INTEGERS + + #if defined(PPL_CHECKED_INTEGERS) || defined(PPL_NATIVE_INTEGERS) inline Coefficient_traits::const_reference Coefficient_zero() { @@ -39,7 +48,7 @@ Coefficient_one() { static Coefficient one(1); return one; } -#endif +#endif // defined(PPL_CHECKED_INTEGERS) || defined(PPL_NATIVE_INTEGERS) #ifdef PPL_GMP_INTEGERS inline Coefficient_traits::const_reference @@ -54,7 +63,7 @@ Coefficient_one() { assert(*Coefficient_one_p != 0); return *Coefficient_one_p; } -#endif +#endif // PPL_GMP_INTEGERS } // namespace Parma_Polyhedra_Library diff --git a/src/Coefficient.types.hh b/src/Coefficient.types.hh index bb4f7d1..f785663 100644 --- a/src/Coefficient.types.hh +++ b/src/Coefficient.types.hh @@ -18,6 +18,88 @@ PURPOSE. */ namespace Parma_Polyhedra_Library { +//! A policy for checked bounded integer coefficients. +/*! \ingroup PPL_CXX_interface */ +struct Bounded_Integer_Coefficient_Policy { + //! Check for overflowed result. + const_bool_nodef(check_overflow, true); + + //! Do not check for attempts to add infinities with different sign. + const_bool_nodef(check_inf_add_inf, false); + + //! Do not check for attempts to subtract infinities with same sign. + const_bool_nodef(check_inf_sub_inf, false); + + //! Do not check for attempts to multiply infinities by zero. + const_bool_nodef(check_inf_mul_zero, false); + + //! Do not check for attempts to divide by zero. + const_bool_nodef(check_div_zero, false); + + //! Do not check for attempts to divide infinities. + const_bool_nodef(check_inf_div_inf, false); + + //! Do not check for attempts to compute remainder of infinities. + const_bool_nodef(check_inf_mod, false); + + //! Do not checks for attempts to take the square root of a negative number. + const_bool_nodef(check_sqrt_neg, false); + + //! Do not handle not-a-number special value. + const_bool_nodef(has_nan, false); + + //! Handle infinity special values if \p T have them. + const_bool_nodef(has_infinity, false); + + /*! \brief + The checked number can always be safely converted to the + underlying type \p T and vice-versa. + */ + const_bool_nodef(convertible, true); + + //! Do not honor requests to check for FPU inexact results. + const_bool_nodef(fpu_check_inexact, false); + + //! Do not make extra checks to detect FPU NaN results. + const_bool_nodef(check_nan_result, true); + + /*! \brief + For constructors, by default use the same rounding used by + underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_NATIVE; + + /*! \brief + For overloaded operators (operator+(), operator-(), ...), by + default use the same rounding used by the underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_NATIVE; + + /*! \brief + For input functions, by default use the same rounding used by + the underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_NATIVE; + + /*! \brief + For output functions, by default use the same rounding used by + the underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_NATIVE; + + /*! \brief + For all other functions, by default use the same rounding used by + the underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_NATIVE; + + /*! \brief + Handles \p r: called by all constructors, operators and functions that + do not return a Result value. + */ + static void handle_result(Result r); +}; + #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Coefficient traits specialization for 8 bits checked integers. /*! \ingroup PPL_CXX_interface */ @@ -72,14 +154,14 @@ namespace Parma_Polyhedra_Library { /*! \ingroup PPL_CXX_interface Objects of type Coefficient are used to implement the integral valued coefficients occurring in linear expressions, constraints, generators, - intervals, bounding boxes and so on. Depending on the chosen + intervals, bounding boxes and so on. Depending on the chosen configuration options (see file <CODE>README.configure</CODE>), a Coefficient may actually be: - The GMP_Integer type, which in turn is an alias for the <CODE>mpz_class</CODE> type implemented by the C++ interface - of the GMP library (this is the default configuration); - - An instance of the Checked_Number class template: with its default - policy (Checked_Number_Default_Policy), this implements overflow + of the GMP library (this is the default configuration). + - An instance of the Checked_Number class template: with the policy + Bounded_Integer_Coefficient_Policy, this implements overflow detection on top of a native integral type (available template instances include checked integers having 8, 16, 32 or 64 bits); with the Checked_Number_Transparent_Policy, this is a wrapper

1 0

[GIT] ppl/ppl(bounded_arithmetic): Checked_Number_Transparent_Policy properly commented.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 986d10992053242105651081978671648bf2b051 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986d10992053… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 19:59:13 2009 +0200 Checked_Number_Transparent_Policy properly commented. --- src/checked.defs.hh | 61 +++++++++++++++++++++++++++++++++++++++----------- 1 files changed, 47 insertions(+), 14 deletions(-) diff --git a/src/checked.defs.hh b/src/checked.defs.hh index 840cc80..0efe776 100644 --- a/src/checked.defs.hh +++ b/src/checked.defs.hh @@ -555,49 +555,82 @@ extern Not_A_Number NOT_A_NUMBER; #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T> struct Checked_Number_Transparent_Policy { - //! Checks for overflowed result. + //! Do not check for overflowed result. const_bool_nodef(check_overflow, false); - //! Checks for attempts to add infinities with different sign. + //! Do not check for attempts to add infinities with different sign. const_bool_nodef(check_inf_add_inf, false); - //! Checks for attempts to subtract infinities with same sign. + //! Do not check for attempts to subtract infinities with same sign. const_bool_nodef(check_inf_sub_inf, false); - //! Checks for attempts to multiply infinities by zero. + //! Do not check for attempts to multiply infinities by zero. const_bool_nodef(check_inf_mul_zero, false); - //! Checks for attempts to divide by zero. + //! Do not check for attempts to divide by zero. const_bool_nodef(check_div_zero, false); - //! Checks for attempts to divide infinities. + //! Do not check for attempts to divide infinities. const_bool_nodef(check_inf_div_inf, false); - //! Checks for attempts to compute remainder of infinities. + //! Do not check for attempts to compute remainder of infinities. const_bool_nodef(check_inf_mod, false); - //! Checks for attempts to take the square root of a negative number. + //! Do not check for attempts to take the square root of a negative number. const_bool_nodef(check_sqrt_neg, false); - //! Handles not-a-number special value. + //! Handle not-a-number special value if \p T has it. const_bool_nodef(has_nan, std::numeric_limits<T>::has_quiet_NaN); - //! Handles infinity special values. + //! Handle infinity special values if \p T have them. const_bool_nodef(has_infinity, std::numeric_limits<T>::has_infinity); - //! Representation is identical to primitive. + /*! \brief + The checked number can always be safely converted to the + underlying type \p T and vice-versa. + */ const_bool_nodef(convertible, true); - //! When true, requests to check for FPU inexact result are honored. + //! Do not honor requests to check for FPU inexact results. const_bool_nodef(fpu_check_inexact, false); - //! Return V_NAN on NaN result also for native extended. + //! Do not make extra checks to detect FPU NaN results. const_bool_nodef(check_nan_result, false); + + /*! \brief + For constructors, by default use the same rounding used by + underlying type. + */ static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_NATIVE; + + /*! \brief + For overloaded operators (operator+(), operator-(), ...), by + default use the same rounding used by the underlying type. + */ static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_NATIVE; - static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_NATIVE; + + /*! \brief + For input functions, by default use the same rounding used by + the underlying type. + */ static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_NATIVE; + + /*! \brief + For output functions, by default use the same rounding used by + the underlying type. + */ static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_NATIVE; + + /*! \brief + For all other functions, by default use the same rounding used by + the underlying type. + */ + static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_NATIVE; + + /*! \brief + Handles \p r: called by all constructors, operators and functions that + do not return a Result value. + */ static void handle_result(Result r); };

1 0

[GIT] ppl/ppl(bounded_arithmetic): Fixed topological closure for unbounded intervals.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: cbcb69446ece2df3a18078f633b953b873899963 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcb69446ece… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 11:39:15 2009 +0200 Fixed topological closure for unbounded intervals. --- src/Interval.defs.hh | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index c2ef9c1..d9b958d 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -468,9 +468,10 @@ public: void topological_closure_assign() { if (!Info::store_open || is_empty()) return; - - info().set_boundary_property(LOWER, OPEN, false); - info().set_boundary_property(UPPER, OPEN, false); + if (lower_is_open() && !lower_is_boundary_infinity()) + info().set_boundary_property(LOWER, OPEN, false); + if (upper_is_open() && !upper_is_boundary_infinity()) + info().set_boundary_property(UPPER, OPEN, false); } void remove_inf() {

1 0

[GIT] ppl/ppl(bounded_arithmetic): Reorganized and separated Result classes to be more informative.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 8c816f458ca9fdf391fb94a3a967c40da69ae211 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c816f458ca9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 11:48:59 2009 +0200 Reorganized and separated Result classes to be more informative. --- src/Boundary.defs.hh | 31 +++++---- src/Box.templates.hh | 7 +- src/Checked_Number.cc | 10 +-- src/Checked_Number.inlines.hh | 32 +++++----- src/Circular_Interval.defs.hh | 16 ++-- src/DB_Matrix.templates.hh | 2 +- src/Interval.defs.hh | 18 +++--- src/Interval.templates.hh | 26 ++++---- src/OR_Matrix.templates.hh | 2 +- src/Result.defs.hh | 131 ++++++++++++++++++++++++++------------ src/Result.inlines.hh | 54 ++++++++++++++-- src/checked.cc | 6 +- src/checked.defs.hh | 22 +++--- src/checked.inlines.hh | 102 ++++++++++++------------------ src/checked_ext.inlines.hh | 128 +++++++++++++++++++------------------ src/checked_float.inlines.hh | 126 +++++++++++++++++++++---------------- src/checked_int.inlines.hh | 123 +++++++++++++++++++---------------- src/checked_mpq.inlines.hh | 76 +++++++++++++--------- src/checked_mpz.inlines.hh | 71 ++++++++++++--------- src/intervals.defs.hh | 61 +++++++++++------- tests/Polyhedron/numberinput1.cc | 36 +++++----- 21 files changed, 611 insertions(+), 469 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8c816f45…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added smod_2exp and umod_2exp for boundary.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: ca38275a5e16241fe45be2193cf78c4e987a501f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca38275a5e16… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue May 12 17:30:01 2009 +0200 Added smod_2exp and umod_2exp for boundary. --- src/Boundary.defs.hh | 36 ++++++++++++++++++++++++++++++++++++ 1 files changed, 36 insertions(+), 0 deletions(-) diff --git a/src/Boundary.defs.hh b/src/Boundary.defs.hh index 29a76e9..90deaa8 100644 --- a/src/Boundary.defs.hh +++ b/src/Boundary.defs.hh @@ -725,6 +725,42 @@ div_assign_z(Boundary_Type to_type, To& to, To_Info& to_info, } } +template <typename To, typename To_Info, typename T, typename Info> +inline Result +umod_2exp_assign(Boundary_Type to_type, To& to, To_Info& to_info, + Boundary_Type type, const T& x, const Info& info, + unsigned int exp) { + assert(to_type != type); + bool shrink; + if (is_boundary_infinity(type, x, info)) { + shrink = boundary_infinity_is_open(type, info); + return set_boundary_infinity(to_type, to, to_info, shrink); + } + shrink = normal_is_open(type, x, info); + bool check = (To_Info::check_inexact + || (!shrink && (To_Info::store_open || to_info.has_restriction()))); + Result r = umod_2exp_assign_r(to, x, exp, round_dir_check(to_type, check)); + return adjust_boundary(to_type, to, to_info, shrink, r); +} + +template <typename To, typename To_Info, typename T, typename Info> +inline Result +smod_2exp_assign(Boundary_Type to_type, To& to, To_Info& to_info, + Boundary_Type type, const T& x, const Info& info, + unsigned int exp) { + assert(to_type != type); + bool shrink; + if (is_boundary_infinity(type, x, info)) { + shrink = boundary_infinity_is_open(type, info); + return set_boundary_infinity(to_type, to, to_info, shrink); + } + shrink = normal_is_open(type, x, info); + bool check = (To_Info::check_inexact + || (!shrink && (To_Info::store_open || to_info.has_restriction()))); + Result r = smod_2exp_assign_r(to, x, exp, round_dir_check(to_type, check)); + return adjust_boundary(to_type, to, to_info, shrink, r); +} + } // namespace Boundary_NS } // namespace Parma_Polyhedra_Library

1 0

[GIT] ppl/ppl(products): New commits
by Roberto Bagnara 13 May '09

13 May '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d1… Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 11:06:06 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cbb00f29ac… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 13 09:21:47 2009 +0100 Fixed a bug in wrap_assign() for grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c95ec7331cb7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 07:02:44 2009 +0200 AC_CHECK_GMP fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 21:55:22 2009 +0200 Added a commit to consider should we release PPL 0.10.3. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c8a74aea14b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 21:50:25 2009 +0200 New configuration option `--with-gmp-build=DIR'. This allows to use a non-installed build of GMP in DIR. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b365a8a6b1d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 20:42:40 2009 +0200 Known result adapted to increased Box constructor precision. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6d0f50e9c81… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 20:10:29 2009 +0200 Another TODO item dealt with. Adapted another few known results according to increased precision. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=093849653148… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 19:09:00 2009 +0200 Added a section on commits to consider should we release PPL 0.10.3. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57b7091bc850… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 12 18:58:02 2009 +0200 Method Box::refine_with is now based on (single step) constraint propagation. Method Box::propagate_constraints now also take as input a parameter for specifying the maximum number of iterations (default value 0). The constructor of a Box from a Polyhedron in polynomial time sets this parameter to a constant. The known result of several tests adapted to match the increased precision. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf625371f4d8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 17:19:02 2009 +0100 Improved documentation and small efficiency improvement to the code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b94dc7951129… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 18:04:44 2009 +0200 We cannot test the Java interface unless ENABLE_SHARED. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39276dbadd9… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 16:51:46 2009 +0100 Another efficiency improvement to wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb54ad2e7508… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 16:42:06 2009 +0100 Some efficiency improvements. Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3460918400e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 12 15:49:10 2009 +0200 Updated from Gnulib. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4615f0d711d1… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 14:19:04 2009 +0100 Simplification and improvement of code for wrap_assign(). The bounds_no_check() and frequency_no_check() assume the generators are minimized and the grid is not empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236efc9ce1d0… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 12 08:37:29 2009 +0100 Several improvements for the wrap_assign() operator for grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3d6b3d44df4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 11 21:32:32 2009 +0100 Improved code for wrap_assign() for grids for constant values. If the value for a variable is already constant, and the constant is outside the range for the bounded integr type, then the outcome depends on the kind of overflow: - if `impossible', then the grid is set empty; - if `undefined', then the variable is set to take any integral value; - if `wraps', then the value is wrapped by the wrap_frequency to a value in the range for the bounded integer type. Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42110bebc56a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 19:06:17 2009 +0200 Another item dealt with. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=862f856db64b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 18:56:11 2009 +0200 Parameter irrational_precision made available in all language interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3fe5242d062… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 18:53:23 2009 +0200 Renamed rational_sqrt_precision_parameter to irrational_precision. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca6ac0835987… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 11 14:24:18 2009 +0100 Several tests are expected to fail for checked-in8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e772ae5ffad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 13:51:59 2009 +0200 Do not test for result dependent on floating point steepest edge heuristics. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbd07c16deb6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 13:49:40 2009 +0200 Avoid unnecessary unbounded precision value in floating point steepest edge. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a36b05302ae4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 11 11:56:02 2009 +0100 Added a _draft_ description of the wrap operator for grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71e9992afa9b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 11 12:30:58 2009 +0200 Got rid of a TODO item. Also avoid an annoying warning about an uninitialized variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52487611583… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 11 08:34:11 2009 +0100 Redid the intended changes for the last commit for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bea722b3287… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon May 11 07:34:50 2009 +0100 Improved wrap_assign() for grids. Added private methods bounds_no_check() and frequency_no_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd05d651cc39… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 9 09:44:34 2009 +0200 Use the appropriate throw_dimension_incompatible() method in wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddecda47e763… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 7 17:55:07 2009 +0100 Added draft implementation for wrap_assign() for the grid domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14da854b5b2b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 5 23:36:20 2009 +0200 Added basic timeout support to the Java library interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9381e735bd88… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 6 19:54:16 2009 +0200 Fixed result check for ThrowNew. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41aeb3ccffeb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 6 16:06:29 2009 +0200 test03() fails also with 16-bit coefficients when assertions are enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02f325cfd009… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 20:59:10 2009 +0200 test07() only fails if assertions are enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb174e19d377… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 19:50:08 2009 +0200 Spurious parentheses removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=317f48d0d553… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 19:20:33 2009 +0200 The rename of Determinate was in fact a bad idea: backtracked. The documentation of the class has been improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8d5162a1bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 5 17:31:36 2009 +0200 Added basic timeout support to the C library interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a261c5a9255c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 08:43:39 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:45 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a1b29cc27b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 07:51:25 2009 +0200 Indentation and comments fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue May 5 06:50:48 2009 +0200 Method COW_Pointset::element() renamed pointset(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=617727237924… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:13:44 2009 +0200 Method COW_Pointset::element() renamed pointset(). Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=138e93f30532… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:12:27 2009 +0200 test02() and test09() fail also with 16-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2903193cd332… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:02:16 2009 +0200 Systematically write "copy constructor" instead of "copy-constructor." (The verb is "to copy-construct" though.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed468a18c4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 22:18:15 2009 +0200 The `Determinate' class has been renamed `COW_Pointset'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0157b7348fe2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 19:03:25 2009 +0200 Completed the \exception section of the documentation for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:20:34 2009 +0200 Added a section on "Approximating Bounded Arithmetic", to be written. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:09:33 2009 +0200 Documentation of the wrapping methods improved. Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:30:42 2009 +0200 Two new items added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:17:21 2009 +0200 Further steps in the definition of the interface of Affine_Space. The widening and extrapolation methods do nothing (except for testing dimension-compatibility). Several comments revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cad1f47f089b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:16:39 2009 +0200 Added missing full stops. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ba2322b9b32… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 13:51:56 2009 +0200 Documented recent changes in the Java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 11:46:50 2009 +0200 Removed obsolete comments about minimization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e981dad7a2b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 11:44:41 2009 +0200 Fixed some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea296d657de6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 10:31:42 2009 +0200 Marked the tests that are expected to fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae7441bfe49… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 09:21:15 2009 +0200 Documented a systematic assumption about the C interface opaque pointers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c67069f185… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 08:07:36 2009 +0200 Fixed a couple of comments for BD and octagonal shapes. When adding constraints/congruences, an exception is thrown if they cannot be accurately represented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1806a003f1ae… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon May 4 07:53:27 2009 +0200 Cached Java method IDs for class parma_polyhedra_library/Pair. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7df8a012ef10… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 08:06:25 2009 +0200 Expected behavior made dependent on the range of Coefficient. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5ea2c6ad7ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 08:01:56 2009 +0200 Test BD_Shape::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 22:25:43 2009 +0200 Check for NaNs only when debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d1c8a0cea55… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 17:02:33 2009 +0200 Fixed computation of known results for test01() and test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333cc7aab971… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun May 3 15:45:56 2009 +0200 Avoid use of constructors in numeric_limits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56888c3225c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 15:19:10 2009 +0200 Expected result adapted to the different types of coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dcb2959e3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 15:19:00 2009 +0200 Fixed PPL_SPECIALIZE_LIMITS_INT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88f590328ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun May 3 10:34:20 2009 +0200 Debugging print statement added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d02c66706d0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun May 3 10:28:04 2009 +0200 Fixed assignment to int. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3ff98bdc71… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:59:01 2009 +0200 Files renamed to avoid ambiguity with respect to numerical wrapping. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a08d1d3a98c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:53:47 2009 +0200 No longer use CS and PS as template parameter names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13568ef98ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 20:18:34 2009 +0200 Unused variable removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a0d5faafbb0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 19:41:44 2009 +0200 Bad spacing fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36b2b16c3022… Merge: b61a3356aa6bab867a721214170f419e7d4bd483 099c11d215bf8bf113bec36fbe1b802d939bf92b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:22:40 2009 +0200 Merge branch 'bounded_arithmetic' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099c11d215bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 2 18:16:44 2009 +0200 Implementation of wrap_assign() made generic. The same implementation is now used for Polyhedron, BD_Shape and Octagonal_Shape. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b61a3356aa6b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 22:46:07 2009 +0200 Obsolete test programs removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42eb3a3d2ab5… Merge: 02e818f7cd915af0e99ac755e1567932ec164992 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 20:58:45 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd91… Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:25:03 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453d5f2f3a32… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:22:00 2009 +0200 Renamed some pleonastic identifiers. Fixed some comments. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:21:44 2009 +0200 Added missing patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abefc4529cb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 12:03:05 2009 +0200 Renamed some pleonastic identifiers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be59e29965cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:30:00 2009 +0200 Added a proof-of-concept implementation of affine spaces. The implementation is based on rational grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e07… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:13:19 2009 +0200 Fixed copy-and-paste mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d4454418… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:45:26 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba666… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:44:09 2009 +0200 Useless returns removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:31:56 2009 +0200 Fixed two code formatting glitches. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa57… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 07:30:29 2009 +0200 Previous change reverted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 22:10:16 2009 +0200 Useless friend declaration removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937c… Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 20:18:37 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce7c8bdce34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 19:30:47 2009 +0200 Removed obsolete support for grid covering boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efbf989a1e9b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 30 17:07:37 2009 +0200 Fixed initialization for Java interface (explicit initialization required). Java class Parma_Polyhedra_Library now has two new static methods: initialize_library() and finalize_library(). The first one, to be called after loading the library and before calling any other library method, will provide proper initialization of both the C++ data structures and the Java class and field/method ID caches. The second one, to be called when no longer using the library, will clear the cache, deleting all stored global references, thereby allowing for the PPL Java classes to be garbage collected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6431f35e4360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 28 19:19:04 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_IMPOSSIBLE'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d65c2598c43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:27:06 2009 +0200 In Polyhedron::wrap_assign() handled the case `o == OVERFLOW_UNDEFINED'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4917f7ba9b6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 22:13:20 2009 +0200 Added a new parameter `pcs' to Polyhedron::wrap_assign(). Other parameters reordered. The tests now check for the expected result. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df4d4fcfb090… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 23:34:10 2009 +0200 Started the implementation of Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:39:06 2009 +0200 Added missing pattern. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2bfeb6d0eb4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:35:34 2009 +0200 Unused parameter name omitted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fae84063e557… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:35:03 2009 +0200 Added missing patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05a160461d87… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 20:31:35 2009 +0200 The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'. They have also been changed so as to take an unsigned int parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18abd8ea5a0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 17:29:39 2009 +0200 Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da83bd6fe05a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 17:16:02 2009 +0200 Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95aa5c9f987b… Merge: 636f1db00bb3ae68ffbcdfbe22bc56c03f9cfdbd 79dac5cc0b03dec162bdcca40e01828a52371765 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 26 16:43:28 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=636f1db00bb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:36:33 2009 +0200 New file wrap1.cc will contain tests for method Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3879ecb87976… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:34:24 2009 +0200 Added the declaration and a stub implementation of new method Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f568dac0119… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 11:33:15 2009 +0200 New enumerations Bounded_Integer_Type_Width, Bounded_Integer_Type_Signedness and Bounded_Integer_Type_Overflow to encode the width, signedness and overflow behavior of bounded integer types, respectively.

1 0

[GIT] ppl/ppl(master): Fixed a bug in wrap_assign() for grids.
by Patricia Hill 13 May '09

13 May '09

Module: ppl/ppl Branch: master Commit: c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cbb00f29ac… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 13 09:21:47 2009 +0100 Fixed a bug in wrap_assign() for grids. --- src/Grid_public.cc | 22 +++++++++++-------- tests/Grid/wrap1.cc | 56 +++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 69 insertions(+), 9 deletions(-) diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 844c7ec..16e6ba9 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2700,6 +2700,7 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, PPL_DIRTY_TEMP_COEFFICIENT(f_d); PPL_DIRTY_TEMP_COEFFICIENT(v_n); PPL_DIRTY_TEMP_COEFFICIENT(v_d); + PPL_DIRTY_TEMP_COEFFICIENT(f_d_wrap_frequency); for (Variables_Set::const_iterator i = vars.begin(), vars_end = vars.end(); i != vars.end(); ++i) { const Variable x = Variable(*i); @@ -2730,9 +2731,16 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, } // `x' is not a constant in `gr'. - if (2*f_n > f_d * wrap_frequency) { - // If the grid frequency for `x' in `vars' is more than half the - // `wrap_frequency', then `x' can only take a unique (ie constant) + assert(f_n != 0); + Coefficient& wrap_modulus = f_n; + f_d_wrap_frequency = f_d * wrap_frequency; + if (o == OVERFLOW_WRAPS && f_n != f_d * wrap_frequency) + // We know that `x' is not a constant, so, if overflow wraps, + // `x' may wrap to a value modulo the `wrap_frequency'. + add_grid_generator(parameter(wrap_frequency * x)); + else if ((o == OVERFLOW_IMPOSSIBLE && 2*f_n >= f_d_wrap_frequency) + || (f_n == f_d_wrap_frequency)) { + // In these cases, `x' can only take a unique (ie constant) // value. if (s == UNSIGNED && v_n < 0) { // `v_n' is the value closest to 0 and may be negative. @@ -2742,16 +2750,12 @@ PPL::Grid::wrap_assign(const Variables_Set& vars, } add_constraint(v_d * x == v_n); } - else if (o == OVERFLOW_WRAPS) - // We know that `x' is not a constant, so, if overflow wraps, - // `x' may wrap to a value modulo the `wrap_frequency'. - add_grid_generator(parameter(wrap_frequency * x)); else - // If overflow is impossible but the grid frequency is no more than + // If overflow is impossible but the grid frequency is less than // half the wrap frequency, then there is more than one possible // value for `x' in the range of the bounded integer type, // so the grid is unchanged. - assert(o == OVERFLOW_IMPOSSIBLE && 2*f_n <= f_d * wrap_frequency); + assert(o == OVERFLOW_IMPOSSIBLE && 2*f_n < f_d_wrap_frequency); } return; } diff --git a/tests/Grid/wrap1.cc b/tests/Grid/wrap1.cc index 235ba02..cf45a97 100644 --- a/tests/Grid/wrap1.cc +++ b/tests/Grid/wrap1.cc @@ -352,6 +352,60 @@ test13() { return ok; } +bool +test14() { + Variable x(0); + Variable y(1); + + Grid gr1(2); + gr1.add_congruence((x %= 245) / 255); + Grid gr2(gr1); + + Variables_Set vars(x); + + gr1.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS); + gr2.wrap_assign(vars, BITS_8, SIGNED_2_COMPLEMENT, OVERFLOW_WRAPS); + + Grid known_result1(2); + known_result1.add_congruence((x %= 0) / 1); + Grid known_result2(2); + known_result2.add_congruence((x %= 0) / 1); + + bool ok = (gr1 == known_result1 && gr2 == known_result2); + + print_congruences(gr1, "*** gr1.wrap_assign(...) ***"); + print_congruences(gr2, "*** gr2.wrap_assign(...) ***"); + + return ok; +} + +bool +test15() { + Variable x(0); + Variable y(1); + + Grid gr1(2); + gr1.add_congruence((x %= 245) / 256); + Grid gr2(gr1); + + Variables_Set vars(x); + + gr1.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS); + gr2.wrap_assign(vars, BITS_8, SIGNED_2_COMPLEMENT, OVERFLOW_WRAPS); + + Grid known_result1(2); + known_result1.add_congruence((x %= 245) / 0); + Grid known_result2(2); + known_result2.add_congruence((x %= -11) / 0); + + bool ok = (gr1 == known_result1 && gr2 == known_result2); + + print_congruences(gr1, "*** gr1.wrap_assign(...) ***"); + print_congruences(gr2, "*** gr2.wrap_assign(...) ***"); + + return ok; +} + } // namespace @@ -369,4 +423,6 @@ BEGIN_MAIN DO_TEST_F8(test11); DO_TEST_F8(test12); DO_TEST_F8(test13); + DO_TEST_F8(test14); + DO_TEST_F8(test15); END_MAIN

1 0