- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoid to use Variable references. Uniformed Variable creations.
by Abramo Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f775db925bb… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 26 12:04:50 2012 +0100 Avoid to use Variable references. Uniformed Variable creations. --- interfaces/C/ppl_c_implementation_common.cc | 2 +- interfaces/Java/jni/ppl_java_common.defs.hh | 2 +- interfaces/Java/jni/ppl_java_common.inlines.hh | 2 +- src/BD_Shape.templates.hh | 8 ++++---- src/Box.templates.hh | 2 +- src/Grid_public.cc | 8 ++++---- src/Octagonal_Shape.templates.hh | 14 +++++++------- src/Polyhedron_public.cc | 8 ++++---- src/Variable.cc | 4 ++-- src/Variable.defs.hh | 8 ++++---- src/Variables_Set.cc | 2 +- src/Variables_Set.defs.hh | 4 ++-- src/Variables_Set.inlines.hh | 2 +- src/termination.templates.hh | 4 ++-- src/wrap_assign.hh | 10 +++++----- tests/Polyhedron/affineimage2.cc | 2 +- tests/Polyhedron/bgp99extrapolation1.cc | 2 +- tests/Polyhedron/bhz03widening1.cc | 4 ++-- tests/Polyhedron/boundedbhrz03extrapolation1.cc | 2 +- tests/Polyhedron/writevariable1.cc | 2 +- tests/ppl_test.cc | 2 +- tests/ppl_test.hh | 4 ++-- 22 files changed, 49 insertions(+), 49 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5f775db9…

1 0

[GIT] ppl/ppl(master): Types fixed. Useless if-then-else removed.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 32409aa205f59894ca35f15ca7494ce4a702d2c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32409aa205f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 13:53:47 2012 +0100 Types fixed. Useless if-then-else removed. --- src/compiler.hh | 20 ++++++++------------ 1 files changed, 8 insertions(+), 12 deletions(-) diff --git a/src/compiler.hh b/src/compiler.hh index a0a162d..5ceb298 100644 --- a/src/compiler.hh +++ b/src/compiler.hh @@ -83,12 +83,8 @@ struct Suppress_Uninitialized_Warnings_Type { #if !defined(__GNUC__) inline unsigned int -clz32(u_int32_t w) { +clz32(uint32_t w) { unsigned int r = 31; - if ((w & 0xffffffff00000000ULL) != 0) { - w = (w >> 31) >> 1; - r -= 32; - } if ((w & 0xffff0000U) != 0) { w >>= 16; r -= 16; @@ -111,15 +107,15 @@ clz32(u_int32_t w) { } inline unsigned int -clz64(u_int64_t w) { +clz64(uint64_t w) { if ((w & 0xffffffff00000000ULL) == 0) - return clz32(static_cast<u_int32_t>(w)) + 32; + return clz32(static_cast<uint32_t>(w)) + 32; else - return clz32(static_cast<u_int32_t>(w >> 32)); + return clz32(static_cast<uint32_t>(w >> 32)); } inline unsigned int -ctz32(u_int32_t w) { +ctz32(uint32_t w) { static const unsigned int mod37_table[] = { 32, 0, 1, 26, 2, 23, 27, 0, 3, 16, 24, 30, 28, 11, 0, 13, 4, 7, 17, 0, 25, 22, 31, 15, 29, 10, 12, 6, 0, 21, 14, 9, @@ -129,11 +125,11 @@ ctz32(u_int32_t w) { } inline unsigned int -ctz64(u_int64_t w) { +ctz64(uint64_t w) { if ((w & 0x00000000ffffffffULL) == 0) - return ctz32(static_cast<u_int32_t>(w >> 32)) + 32; + return ctz32(static_cast<uint32_t>(w >> 32)) + 32; else - return ctz32(static_cast<u_int32_t>(w)); + return ctz32(static_cast<uint32_t>(w)); } #endif

1 0

[GIT] ppl/ppl(master): Use `libtool' to test linking with GMP only if the option `--with-gmp-build' was given.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 8e8ea55b9bf4cbcf3c06216f83cf8e2021eef523 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ea55b9bf4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 13:05:34 2012 +0100 Use `libtool' to test linking with GMP only if the option `--with-gmp-build' was given. --- m4/ac_check_gmp.m4 | 14 +++++++++++--- 1 files changed, 11 insertions(+), 3 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 3fbd6a3..2d5fd65 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -71,8 +71,12 @@ AC_ARG_WITH(gmp-build, gmp_library_options="$gmp_library_options $gmp_libs" -ac_save_CXX="$CXX" -CXX="libtool --mode=link --tag=CXX $CXX" +if test -n "$with_gmp_build" +then + ac_save_CXX="$CXX" + CXX="libtool --mode=link --tag=CXX $CXX" +fi + ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS" @@ -223,5 +227,9 @@ AC_LANG_POP(C++) eval $shared_library_path_env_var=\"$ac_save_shared_library_path\" LIBS="$ac_save_LIBS" CPPFLAGS="$ac_save_CPPFLAGS" -CXX="$ac_save_CXX" + +if test -n "$with_gmp_build" +then + CXX="$ac_save_CXX" +fi ])

1 0

[GIT] ppl/ppl(master): Prefer explicit tests against zero.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 0d2064c3d8080286fe7a3fb44065be95e271ff56 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d2064c3d808… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 12:59:39 2012 +0100 Prefer explicit tests against zero. Avoid using boolean values as integer values. Detected by ECLAIR service utypflag. --- src/Congruence_System.cc | 6 ++++-- src/Interval_Info.defs.hh | 16 +++++++++------- src/Ph_Status.inlines.hh | 2 +- 3 files changed, 14 insertions(+), 10 deletions(-) diff --git a/src/Congruence_System.cc b/src/Congruence_System.cc index fc16b4f..87b2371 100644 --- a/src/Congruence_System.cc +++ b/src/Congruence_System.cc @@ -332,8 +332,10 @@ PPL::Congruence_System::has_a_free_dimension() const { // Check that there are free_dims dimensions marked free // in free_dim. dimension_type count = 0; - for (dimension_type i = space_dim; i-- > 0; ) - count += free_dim[i]; + for (dimension_type i = space_dim; i-- > 0; ) { + if (free_dim[i]) + ++count; + } PPL_ASSERT(count == free_dims); #endif return true; diff --git a/src/Interval_Info.defs.hh b/src/Interval_Info.defs.hh index 5a2158e..95d91d9 100644 --- a/src/Interval_Info.defs.hh +++ b/src/Interval_Info.defs.hh @@ -170,13 +170,15 @@ public: const_bool_nodef(cache_empty, Policy::cache_empty); const_bool_nodef(cache_singleton, Policy::cache_singleton); const_int_nodef(lower_special_bit, Policy::next_bit); - const_int_nodef(lower_open_bit, lower_special_bit + store_special); - const_int_nodef(upper_special_bit, lower_open_bit + store_open); - const_int_nodef(upper_open_bit, upper_special_bit + store_special); - const_int_nodef(cardinality_is_bit, upper_open_bit + store_open); - const_int_nodef(cardinality_0_bit, cardinality_is_bit + ((cache_empty || cache_singleton) ? 1 : 0)); - const_int_nodef(cardinality_1_bit, cardinality_0_bit + cache_empty); - const_int_nodef(next_bit, cardinality_1_bit + cache_singleton); + const_int_nodef(lower_open_bit, lower_special_bit + (store_special ? 1 : 0)); + const_int_nodef(upper_special_bit, lower_open_bit + (store_open ? 1 : 0)); + const_int_nodef(upper_open_bit, upper_special_bit + (store_special ? 1 : 0)); + const_int_nodef(cardinality_is_bit, upper_open_bit + (store_open ? 1 : 0)); + const_int_nodef(cardinality_0_bit, cardinality_is_bit + + ((cache_empty || cache_singleton) ? 1 : 0)); + const_int_nodef(cardinality_1_bit, cardinality_0_bit + (cache_empty ? 1 : 0)); + const_int_nodef(next_bit, cardinality_1_bit + (cache_singleton ? 1 : 0)); + Interval_Info_Bitset() { // FIXME: would we have speed benefits with uninitialized info? // (Dirty_Temp) diff --git a/src/Ph_Status.inlines.hh b/src/Ph_Status.inlines.hh index 160507e..0c828de 100644 --- a/src/Ph_Status.inlines.hh +++ b/src/Ph_Status.inlines.hh @@ -43,7 +43,7 @@ Polyhedron::Status::test_all(flags_t mask) const { inline bool Polyhedron::Status::test_any(flags_t mask) const { - return flags & mask; + return (flags & mask) != 0; } inline void

1 0

[GIT] ppl/ppl(master): Improved implementation of OR_Matrix<T>:: any_row_iterator::operator+=().
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 756ef076d4574278d3665d3885b7dc41526a2b81 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=756ef076d457… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 11:29:11 2012 +0100 Improved implementation of OR_Matrix<T>::any_row_iterator::operator+=(). Increased readability: - separated explicit type conversions from code performing arithmetic operations (on non-mixed typed values); - added a few redundant parentheses. Similar improvement applied to a couple of other functions. Detected by ECLAIR service utypflag. --- src/Linear_Form.templates.hh | 5 +++-- src/OR_Matrix.inlines.hh | 18 ++++++++++++------ src/checked_float.inlines.hh | 7 ++++--- 3 files changed, 19 insertions(+), 11 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index aa52658..2630f0f 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -422,8 +422,9 @@ Linear_Form<C>::relative_error( C error_propagator; // We assume that f_base is a power of 2. - int power = static_cast<int>(msb_position(f_base) * f_mantissa_bits); - analyzer_format lb = static_cast<analyzer_format>(ldexp(1.0, -power)); + unsigned int u_power = msb_position(f_base) * f_mantissa_bits; + int neg_power = -static_cast<int>(u_power); + analyzer_format lb = static_cast<analyzer_format>(ldexp(1.0, neg_power)); error_propagator.build(i_constraint(GREATER_OR_EQUAL, -lb), i_constraint(LESS_OR_EQUAL, lb)); diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index 7a20e71..a138c01 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -243,14 +243,20 @@ template <typename T> template <typename U> inline typename OR_Matrix<T>::template any_row_iterator& OR_Matrix<T>::any_row_iterator::operator+=(const difference_type m) { - difference_type increment = m + m * m / 2 + m * static_cast<difference_type>(e); - if (e % 2 == 0 && m % 2 != 0) + difference_type e_dt = static_cast<difference_type>(e); + difference_type i_dt = static_cast<difference_type>(i); + difference_type increment = m + (m * m / 2) + (m * e_dt); + if (e_dt % 2 == 0 && m % 2 != 0) ++increment; - e = static_cast<dimension_type>(static_cast<difference_type>(e) + m); - i = static_cast<dimension_type>(static_cast<difference_type>(i) + increment); + e_dt += m; + i_dt += increment; + e = static_cast<dimension_type>(e_dt); + i = static_cast<dimension_type>(i_dt); value.first += increment; #if PPL_OR_MATRIX_EXTRA_DEBUG - value.size_ = static_cast<dimension_type>(static_cast<difference_type>(value.size_) + m - m % 2); + difference_type value_size_dt = static_cast<difference_type>(value.size_); + value_size_dt += (m - m % 2); + value.size_ = static_cast<dimension_type>(value_size_dt); #endif return *this; } @@ -262,7 +268,7 @@ inline typename Enable_If<(static_cast<Unsigned>(-1) > 0), typename OR_Matrix<T>::template any_row_iterator& >::type OR_Matrix<T>::any_row_iterator::operator+=(Unsigned m) { - dimension_type increment = m + m * m / 2 + m * e; + dimension_type increment = m + (m * m / 2) + (m * e); if (e % 2 == 0 && m % 2 != 0) ++increment; e += m; diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 08b7251..7f261a2 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -880,9 +880,10 @@ assign_float_mpq(T& to, const mpq_class& from, Rounding_Dir dir) { return set_pos_overflow_float<To_Policy>(to, dir); } unsigned int needed_bits = Float<T>::Binary::MANTISSA_BITS + 1; - if (exponent < Float<T>::Binary::EXPONENT_MIN) - needed_bits -= static_cast<unsigned int>(Float<T>::Binary::EXPONENT_MIN - - exponent); + if (exponent < Float<T>::Binary::EXPONENT_MIN) { + long diff = Float<T>::Binary::EXPONENT_MIN - exponent; + needed_bits -= static_cast<unsigned int>(diff); + } mpz_t mantissa; mpz_init(mantissa); {

1 0

Fwd: Re: [Doxygen-users] installdox
by Roberto Bagnara 26 Feb '12

26 Feb '12

The `installdox' script is no longer available in recent Doxygen versions, and apparently it will not come back. -------- Original Message -------- Subject: Re: [Doxygen-users] installdox Date: Mon, 13 Feb 2012 20:24:10 +0100 From: Dimitri Van Heesch <doxygen(a)gmail.com> To: Alexander Rettig <alexander.rettig(a)askvisual.de> CC: doxygen-users(a)lists.sourceforge.net Hi Alexander, On Feb 13, 2012, at 14:37 , Alexander Rettig wrote: > Hello Dimitri, > > first of all, thanks for developing Doxygen for years, it is a great > tool which I would miss really sadly if it was not there. > > I just recently found the tool 'installdox' very useful for 'publishing' > generated documentation with external references (3 projects referencing > each other like A is known by B, C knows A and B). > Updating the links seemed to work quite good except for the navtree part > (but there may be other places where it fails). > Now I've seen, that you skipped installdox completely in a recent > release because you found the tool not working properly. Correct, I have removed doxytag and installdox. > > So my questions: > > Now, is the only way of getting external links right to (re)generate the > doc completely with doxygen using appropriate TAGFILES settings or is > there another recommended way? No, using TAGFILES is the recommended way. > > Do you think there is a chance to fix the problems with the installdox > script or are there to many issues? I only found problems with updating > the navtree.js (Doxygen 1.7.5.x. If I'm right, at this point things > changed also a little in 1.7.6...), which I could fix by slightly > modifying navtree.js and the generated installdox script (I wanted to > offer the fix but then I saw, that installdox was gone). Which links > were not correctly updated by the script, do you have information about > that? Because, if you don't think the installdox concept is > systematically broken and there are not too many situations where it > failed, I probably could fix it and provide it to you then (maybe this > belongs to the develop mailing list though ;-)). I think the installdox and doxytag tools were inherently too fragile. Parsing the output is just not a really good thing to do. Using doxygen="..." as an attribute name in the HTML output was not valid HTML either. Doxytag and installdox were already broken a long time and nobody really complained much, so I decided to drop support for it, rather than to keep spending time to temporarily fix the problem. Using TAGFILES has the drawback that it is less flexible to move output around at a later point in time. But if you use relative paths, it should not be such a big deal, as you can still move the documentation sets together to a new location without breaking any link. Regards, Dimitri ------------------------------------------------------------------------------ Try before you buy = See our experts in action! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-dev2 _______________________________________________ Doxygen-users mailing list Doxygen-users(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/doxygen-users

1 0

[GIT] ppl/ppl(master): Provide a named group for all library version control functions.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: a18385ecd24fee64a91f70a8a5833f8748aee484 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18385ecd24f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:16:15 2012 +0100 Provide a named group for all library version control functions. --- src/globals.defs.hh | 6 ++++++ src/version.hh.in | 5 +++++ 2 files changed, 11 insertions(+), 0 deletions(-) diff --git a/src/globals.defs.hh b/src/globals.defs.hh index a7e46a3..33acce4 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -350,7 +350,9 @@ struct Recycle_Input { << "for " PPL_XSTR(class_prefix) << "." << std::endl; \ } +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if \p c is any kind of space character. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool is_space(char c); template <typename T, long long v, typename Enable = void> @@ -399,8 +401,10 @@ template <long long v, bool prefer_signed = true> struct Constant : public Constant_<long long, v, prefer_signed> { }; +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \name Memory Size Inspection Functions //@{ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief @@ -446,7 +450,9 @@ total_memory_in_bytes(const mpq_class& x); memory_size_type external_memory_in_bytes(const mpq_class& x); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //@} // Memory Size Inspection Functions +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T, typename Enable = void> diff --git a/src/version.hh.in b/src/version.hh.in index aae116a..0c40ac2 100644 --- a/src/version.hh.in +++ b/src/version.hh.in @@ -60,6 +60,9 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! \name Library Version Control Functions +//@{ + //! Returns the major number of the PPL version. unsigned version_major(); @@ -88,6 +91,8 @@ const char* version(); */ const char* banner(); +//@} // Library Version Control Functions + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_version_hh)

1 0

[GIT] ppl/ppl(master): Prefer explicit tests against zero.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 1228063d31da6c206e3b62f24419c0d0ddd77011 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1228063d31da… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:10:20 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. --- interfaces/C/ppl_c_implementation_common.cc | 4 ++-- src/DB_Row.inlines.hh | 2 +- src/Interval_Info.inlines.hh | 9 ++++----- src/ppl-config.cc.in | 4 ++-- 4 files changed, 9 insertions(+), 10 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index f5a6eac..b329a68 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -104,7 +104,7 @@ Weightwatch* p_deterministic_timeout_object = 0; void reset_timeout() { - if (p_timeout_object) { + if (p_timeout_object != 0) { delete p_timeout_object; p_timeout_object = 0; abandon_expensive_computations = 0; @@ -113,7 +113,7 @@ reset_timeout() { void reset_deterministic_timeout() { - if (p_deterministic_timeout_object) { + if (p_deterministic_timeout_object != 0) { delete p_deterministic_timeout_object; p_deterministic_timeout_object = 0; abandon_expensive_computations = 0; diff --git a/src/DB_Row.inlines.hh b/src/DB_Row.inlines.hh index aa5cf4e..5522dad 100644 --- a/src/DB_Row.inlines.hh +++ b/src/DB_Row.inlines.hh @@ -257,7 +257,7 @@ template <typename T> inline DB_Row<T>::DB_Row(const DB_Row& y) : DB_Row_Impl_Handler<T>() { - if (y.impl) { + if (y.impl != 0) { allocate(compute_capacity(y.size(), max_size())); copy_construct_coefficients(y); } diff --git a/src/Interval_Info.inlines.hh b/src/Interval_Info.inlines.hh index 46f69f1..0aa03f6 100644 --- a/src/Interval_Info.inlines.hh +++ b/src/Interval_Info.inlines.hh @@ -86,12 +86,11 @@ template <typename T, typename Policy> inline bool Interval_Info_Bitset<T, Policy>::ascii_load(std::istream& s) { std::ios_base::fmtflags old = s.flags(); - if (s >> std::hex >> bitset) { - s.flags(old); - return s; - } - else + s >> std::hex >> bitset; + if (!s) return false; + s.flags(old); + return s; } #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 448f354..e54519d 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -339,7 +339,7 @@ struct option long_options[] = { // --prefix case 'p': - if (optarg) { + if (optarg != 0) { prefix = optarg; if (!exec_prefix_set) { exec_prefix = optarg; @@ -354,7 +354,7 @@ struct option long_options[] = { // --exec_prefix case 'e': - if (optarg) { + if (optarg != 0) { exec_prefix = optarg; exec_prefix_set = true; }

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 681915911631d0b4b137d86a0b23a10d3bceff41 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=681915911631… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 10:01:39 2012 +0100 Updated. --- ChangeLog | 9667 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 9667 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=68191591…

1 0

[GIT] ppl/ppl(master): Added `Watchdog' to `SUBDIRS'.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: f4005b141d00e70a247d006cc9d78f2f52bf1e1b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4005b141d00… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 09:24:29 2012 +0100 Added `Watchdog' to `SUBDIRS'. --- tests/Makefile.am | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 12ecfec..d34d29c 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -34,8 +34,8 @@ MIP_Problem \ Octagonal_Shape \ BD_Shape \ Polyhedron \ -Grid -#Ask_Tell +Grid \ +Watchdog AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src @extra_includes@

1 0