August 2009 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] configure failing on Linux...
by Tovrea, George W (US SSA) 18 Aug '09

18 Aug '09

Attached. -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Tuesday, August 18, 2009 12:07 AM To: Tovrea, George W (US SSA) Cc: ppl-devel(a)cs.unipr.it Subject: Re: [PPL-devel] configure failing on Linux... Tovrea, George W (US SSA) wrote: > Config.log attached. Hi Bill, the attachment did not go through: it was too big. Can you please compress it (with whatever compression program you want)? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

[GIT] ppl/ppl(floating_point): Several corrections and improvements.
by Roberto Bagnara 18 Aug '09

18 Aug '09

Module: ppl/ppl Branch: floating_point Commit: c9ec5bc2cb674fd20a8cdc4c85b93361428ed8e2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9ec5bc2cb67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 18 09:57:45 2009 +0200 Several corrections and improvements. --- src/Linear_Form.defs.hh | 7 +--- src/Linear_Form.inlines.hh | 11 +----- src/Linear_Form.templates.hh | 68 ++++++++++++++++++++++++-------------- tests/Polyhedron/linearform1.cc | 24 +++++++++++++- 4 files changed, 70 insertions(+), 40 deletions(-) diff --git a/src/Linear_Form.defs.hh b/src/Linear_Form.defs.hh index bbd2869..65cd073 100644 --- a/src/Linear_Form.defs.hh +++ b/src/Linear_Form.defs.hh @@ -268,9 +268,9 @@ public: Thrown if the space dimension of \p v exceeds <CODE>Linear_Form::max_space_dimension()</CODE>. */ - explicit Linear_Form(Variable v); + Linear_Form(Variable v); - //! Builds the linear form corresponding to the linear expression \p e. + //! Builds a linear form approximating the linear expression \p e. Linear_Form(const Linear_Expression& e); //! Returns the maximum space dimension a Linear_Form can handle. @@ -319,9 +319,6 @@ private: //! The container vector. vec_type vec; - //! Copy constructor with a specified space dimension. - Linear_Form(const Linear_Form& f, dimension_type sz); - //! Implementation sizing constructor. /*! The bool parameter is just to avoid problems with diff --git a/src/Linear_Form.inlines.hh b/src/Linear_Form.inlines.hh index 82136cf..3280eef 100644 --- a/src/Linear_Form.inlines.hh +++ b/src/Linear_Form.inlines.hh @@ -38,7 +38,7 @@ template <typename C> inline Linear_Form<C>::Linear_Form() : vec(1, zero) { - vec.reserve(compute_capacity(1, vec_type::max_size())); + vec.reserve(compute_capacity(1, vec_type().max_size())); } template <typename C> @@ -75,16 +75,9 @@ Linear_Form<C>::extend(dimension_type sz) { template <typename C> inline -Linear_Form<C>::Linear_Form(const Linear_Form& f, dimension_type sz) - : vec(f.vec) { - extend(sz); -} - -template <typename C> -inline Linear_Form<C>::Linear_Form(const C& n) : vec(1, n) { - vec.reserve(compute_capacity(1, vec_type::max_size())); + vec.reserve(compute_capacity(1, vec_type().max_size())); } template <typename C> diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index c30fb4e..6ac4b38 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -23,6 +23,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Linear_Form_templates_hh #define PPL_Linear_Form_templates_hh 1 +#include "Linear_Expression.defs.hh" #include <stdexcept> #include <iostream> @@ -30,16 +31,16 @@ namespace Parma_Polyhedra_Library { template <typename C> Linear_Form<C>::Linear_Form(const Variable v) - : vec(v.space_dimension() <= max_space_dimension() - ? v.space_dimension()+1 - : (throw std::length_error("Linear_Form<C>::" - "Linear_Form(v):\n" - "v exceeds the maximum allowed " - "space dimension."), - v.space_dimension()+1) - , zero) { - vec.reserve(compute_capacity(v.space_dimension()+1, vec_type().max_size())); - vec[v.space_dimension()] += 1.0; + : vec() { + const dimension_type space_dim = v.space_dimension(); + if (space_dim > max_space_dimension()) + throw std::length_error("Linear_Form<C>::" + "Linear_Form(v):\n" + "v exceeds the maximum allowed " + "space dimension."); + vec.reserve(compute_capacity(space_dim+1, vec_type().max_size())); + vec.resize(space_dim+1, zero); + vec[v.space_dimension()] = 1.0; } template <typename C> @@ -53,7 +54,7 @@ Linear_Form<C>::Linear_Form(const Variable v, const Variable w) "Linear_Form(v, w):\n" "v or w exceed the maximum allowed " "space dimension."); - vec.reserve(compute_capacity(space_dim+1, vec_type::max_size())); + vec.reserve(compute_capacity(space_dim+1, vec_type().max_size())); vec.resize(space_dim+1, zero); if (v_space_dim != w_space_dim) { vec[v_space_dim] = 1.0; @@ -61,6 +62,22 @@ Linear_Form<C>::Linear_Form(const Variable v, const Variable w) } } +template <typename C> +Linear_Form<C>::Linear_Form(const Linear_Expression& e) + : vec() { + const dimension_type space_dim = e.space_dimension(); + if (space_dim > max_space_dimension()) + throw std::length_error("Linear_Form<C>::" + "Linear_Form(e):\n" + "e exceeds the maximum allowed " + "space dimension."); + vec.reserve(compute_capacity(space_dim+1, vec_type().max_size())); + vec.resize(space_dim+1); + for (dimension_type i = space_dim; i-- > 0; ) + vec[i+1] = e.coefficient(Variable(i)); + vec[0] = e.inhomogeneous_term(); +} + /*! \relates Parma_Polyhedra_Library::Linear_Form */ template <typename C> Linear_Form<C> @@ -106,8 +123,9 @@ operator+(const Variable v, const Linear_Form<C>& f) { "operator+(v, f):\n" "v exceeds the maximum allowed " "space dimension."); - const dimension_type space_dim = std::max(v_space_dim, f.space_dimension()); - Linear_Form<C> r(f, space_dim+1); + Linear_Form<C> r(f); + if (v_space_dim > f.space_dimension()) + r.extend(v_space_dim+1); r[v_space_dim] += 1.0; return r; } @@ -177,9 +195,9 @@ operator-(const Variable v, const Linear_Form<C>& f) { "operator-(v, e):\n" "v exceeds the maximum allowed " "space dimension."); - const dimension_type f_space_dim = f.space_dimension(); - const dimension_type space_dim = std::max(v_space_dim, f_space_dim); - Linear_Form<C> r(f, space_dim+1); + Linear_Form<C> r(f); + if (v_space_dim > f.space_dimension()) + r.extend(v_space_dim+1); for (dimension_type i = f.size(); i-- > 0; ) r[i].neg_assign(r[i]); r[v_space_dim] += 1.0; @@ -196,8 +214,9 @@ operator-(const Linear_Form<C>& f, const Variable v) { "operator-(e, v):\n" "v exceeds the maximum allowed " "space dimension."); - const dimension_type space_dim = std::max(v_space_dim, f.space_dimension()); - Linear_Form<C> r(f, space_dim+1); + Linear_Form<C> r(f); + if (v_space_dim > f.space_dimension()) + r.extend(v_space_dim+1); r[v_space_dim] -= 1.0; return r; } @@ -246,8 +265,7 @@ operator+=(Linear_Form<C>& f, const Variable v) { throw std::length_error("Linear_Form<C>& " "operator+=(e, v):\n" "v exceeds the maximum allowed space dimension."); - const dimension_type f_size = f.size(); - if (f_size <= v_space_dim) + if (v_space_dim > f.space_dimension()) f.extend(v_space_dim+1); f[v_space_dim] += 1.0; return f; @@ -275,8 +293,7 @@ operator-=(Linear_Form<C>& f, const Variable v) { throw std::length_error("Linear_Form<C>& " "operator-=(e, v):\n" "v exceeds the maximum allowed space dimension."); - const dimension_type f_size = f.size(); - if (f_size <= v_space_dim) + if (v_space_dim > f.space_dimension()) f.extend(v_space_dim+1); f[v_space_dim] -= 1.0; return f; @@ -346,10 +363,11 @@ IO_Operators::operator<<(std::ostream& s, const Linear_Form<C>& f) { else { if (fv == -1.0) s << " - "; - else if (fv != 1.0) - s << fv << "*"; - else + else { s << " + "; + if (fv != 1.0) + s << fv << "*"; + } } s << Variable(v); } diff --git a/tests/Polyhedron/linearform1.cc b/tests/Polyhedron/linearform1.cc index 0eeb6d9..33395d1 100644 --- a/tests/Polyhedron/linearform1.cc +++ b/tests/Polyhedron/linearform1.cc @@ -166,6 +166,28 @@ test05() { return ok; } +bool +test06() { + Variable A(0); + Variable B(1); + Variable C(16); + Variable D(120); + + Linear_Form<db_r_oc> f = A + 2*B + 16*C + 120*D; + + Linear_Form<db_r_oc> known_result = A; + known_result += db_r_oc(2) * Linear_Form<db_r_oc>(B); + known_result += db_r_oc(16) * Linear_Form<db_r_oc>(C); + known_result += db_r_oc(120) * Linear_Form<db_r_oc>(D); + + bool ok = (f == known_result); + + nout << "*** known_result ***" << endl + << known_result << endl; + + return ok; +} + } // namespace BEGIN_MAIN @@ -173,5 +195,5 @@ BEGIN_MAIN DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); - DO_TEST(test05); + DO_TEST(test06); END_MAIN

1 0

configure failing on Linux...
by Tovrea, George W (US SSA) 18 Aug '09

18 Aug '09

Same old story... checking for shared library run path origin... done checking how to link with libgmp... /home/users/tovrea/local/linux/lib/libgmp.a checking how to link with libgmpxx... /home/users/tovrea/local/linux/lib/libgmpxx.a /home/users/tovrea/local/linux/lib/libgmp.a checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. Configure command: ${HOME}/GCC_LINUX/ppl-0.10.2/configure --prefix=${HOME}/local/linux --with-cc=${HOME}/local/linux/bin/gcc --with-cxx=${HOME}/local/linux/bin/g++ --with-cflags=-I${HOME}/local/linux/include --with-cxxflags=-I${HOME}/local/linux/include --with-libgmp-prefix=${HOME}/local/linux --with-libgmpxx-prefix=${HOME}/local/linux FLAGS: CPPFLAGS=-I/home/users/tovrea/local/linux/include /home/users/tovrea/local/linux/include: tovrea@challenger%ll /home/users/tovrea/local/linux/include total 224 drwxrwxr-x 2 tovrea nimalib 32 Aug 17 18:52 . drwxrwxr-x 10 tovrea nimalib 99 Aug 17 18:33 .. -rw-r--r-- 1 tovrea nimalib 84268 Aug 17 18:52 gmp.h -rw-r--r-- 1 tovrea nimalib 114898 Aug 17 18:52 gmpxx.h tovrea@challenger%tail /home/users/tovrea/local/linux/include/gmp.h #define __GMP_CC " /home/users/tovrea/GCC_LINUX/build_linux/./prev-gcc/xgcc -B/home/users/tovrea/GCC_LINUX/build_linux/./prev-gcc/ -B/home/users/tovrea/local/linux/x86_64-unknown-linux-gnu/bin/" #define __GMP_CFLAGS "-g -O2" /* Major version number is the value of __GNU_MP__ too, above and in mp.h. */ #define __GNU_MP_VERSION 4 #define __GNU_MP_VERSION_MINOR 3 #define __GNU_MP_VERSION_PATCHLEVEL 1 Config.log attached. Bill Tovrea BAE Systems 16550 West Bernardo Drive San Diego, CA 92127 Telephone: (858) 592-5292 Pager: (888) 971-4964 E-mail: George.Tovrea(a)baesystems.com

2 1

[GIT] ppl/ppl(floating_point): Started adjusting the documentation.
by Roberto Bagnara 17 Aug '09

17 Aug '09

Module: ppl/ppl Branch: floating_point Commit: 85f855d8d0c88d291609eb02d32ecab1674e57e9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85f855d8d0c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 18:19:20 2009 +0200 Started adjusting the documentation. --- src/Linear_Form.defs.hh | 15 ++++++++------- 1 files changed, 8 insertions(+), 7 deletions(-) diff --git a/src/Linear_Form.defs.hh b/src/Linear_Form.defs.hh index 10300e1..bbd2869 100644 --- a/src/Linear_Form.defs.hh +++ b/src/Linear_Form.defs.hh @@ -206,18 +206,17 @@ void swap(Parma_Polyhedra_Library::Linear_Form<C>& x, \sum_{i=0}^{n-1} a_i x_i + b \f] where \f$n\f$ is the dimension of the vector space, - each \f$a_i\f$ is the integer coefficient + each \f$a_i\f$ is the coefficient of the \f$i\f$-th variable \f$x_i\f$ - and \f$b\f$ is the integer for the inhomogeneous term. + and \f$b\f$ is the inhomogeneous term. + The coefficiens and the inhomogeneous terms of the linear form + are element of the template parameter \p C. \par How to build a linear form. - Linear forms are the basic blocks for defining - both constraints (i.e., linear equalities or inequalities) - and generators (i.e., lines, rays, points and closure points). A full set of functions is defined to provide a convenient interface for building complex linear forms starting from simpler ones - and from objects of the classes Variable and Coefficient: + and from objects of the classes Variable and \p C: available operators include unary negation, binary addition and subtraction, as well as multiplication by a Coefficient. @@ -225,7 +224,9 @@ void swap(Parma_Polyhedra_Library::Linear_Form<C>& x, space dimension of the arguments used to build it: in particular, the space dimension of a Variable <CODE>x</CODE> is defined as <CODE>x.id()+1</CODE>, - whereas all the objects of the class Coefficient have space dimension zero. + whereas all the objects of the class \p C have space dimension zero. + + FIXME: the following needs rewriting. \par Example The following code builds the linear form \f$4x - 2y - z + 14\f$,

1 0

[GIT] ppl/ppl(floating_point): Implemented Linear_Form:: external_memory_in_bytes() and Linear_Form::external_memory_in_bytes().
by Roberto Bagnara 17 Aug '09

17 Aug '09

Module: ppl/ppl Branch: floating_point Commit: 24c485b7ca89981ced9be711c2e14d97167ca52f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24c485b7ca89… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 18:12:50 2009 +0200 Implemented Linear_Form::external_memory_in_bytes() and Linear_Form::external_memory_in_bytes(). Other minor improvements. --- src/Linear_Form.defs.hh | 30 ++++------------- src/Linear_Form.inlines.hh | 24 ++++++------- src/Linear_Form.templates.hh | 74 ++++++++++++++++++----------------------- 3 files changed, 51 insertions(+), 77 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=24c485b7…

1 0

[GIT] ppl/ppl(floating_point): Do not use std::swap(): use Linear_Expression::swap() instead.
by Roberto Bagnara 17 Aug '09

17 Aug '09

Module: ppl/ppl Branch: floating_point Commit: 73a33367e029c455c60393636746ae766ffcd03d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a33367e029… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:55:53 2009 +0200 Do not use std::swap(): use Linear_Expression::swap() instead. --- src/Linear_Expression.cc | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index de971b2..9816671 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -286,10 +286,10 @@ PPL::operator+=(Linear_Expression& e1, const Linear_Expression& e2) { for (dimension_type i = e2_size; i-- > 0; ) e1[i] += e2[i]; else { - Linear_Expression e(e2); + Linear_Expression new_e(e2); for (dimension_type i = e1_size; i-- > 0; ) - e[i] += e1[i]; - std::swap(e1, e); + new_e[i] += e1[i]; + e1.swap(new_e); } return e1; } @@ -305,7 +305,7 @@ PPL::operator+=(Linear_Expression& e, const Variable v) { const dimension_type e_size = e.size(); if (e_size <= v_space_dim) { Linear_Expression new_e(e, v_space_dim+1); - std::swap(e, new_e); + e.swap(new_e); } ++e[v_space_dim]; return e; @@ -320,10 +320,10 @@ PPL::operator-=(Linear_Expression& e1, const Linear_Expression& e2) { for (dimension_type i = e2_size; i-- > 0; ) e1[i] -= e2[i]; else { - Linear_Expression e(e1, e2_size); + Linear_Expression new_e(e1, e2_size); for (dimension_type i = e2_size; i-- > 0; ) - e[i] -= e2[i]; - std::swap(e1, e); + new_e[i] -= e2[i]; + e1.swap(new_e); } return e1; } @@ -339,7 +339,7 @@ PPL::operator-=(Linear_Expression& e, const Variable v) { const dimension_type e_size = e.size(); if (e_size <= v_space_dim) { Linear_Expression new_e(e, v_space_dim+1); - std::swap(e, new_e); + e.swap(new_e); } --e[v_space_dim]; return e;

1 0

[GIT] ppl/ppl(floating_point): Added a preliminary implementation of class Linear_Form.
by Roberto Bagnara 17 Aug '09

17 Aug '09

Module: ppl/ppl Branch: floating_point Commit: 17a6154b28a67e6812a3d8548287f782226f62dc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17a6154b28a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:52:19 2009 +0200 Added a preliminary implementation of class Linear_Form. --- src/Linear_Form.cc | 26 +++ src/Linear_Form.defs.hh | 425 +++++++++++++++++++++++++++++++++++++++ src/Linear_Form.inlines.hh | 231 +++++++++++++++++++++ src/Linear_Form.templates.hh | 388 +++++++++++++++++++++++++++++++++++ src/Linear_Form.types.hh | 22 ++ src/Makefile.am | 5 + tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/linearform1.cc | 177 ++++++++++++++++ 8 files changed, 1277 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=17a6154b…

1 0

[GIT] ppl/ppl(floating_point): Added missing inclusion of <iostream>.
by Roberto Bagnara 17 Aug '09

17 Aug '09

Module: ppl/ppl Branch: floating_point Commit: 7690e53a2292b8ae4ab4a606967ad0778861d826 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7690e53a2292… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 17 17:51:35 2009 +0200 Added missing inclusion of <iostream>. --- src/Linear_Expression.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index 2d56647..de971b2 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -29,6 +29,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Grid_Generator.defs.hh" #include "Congruence.defs.hh" #include <stdexcept> +#include <iostream> namespace PPL = Parma_Polyhedra_Library;

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 17 Aug '09

17 Aug '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3acefad3847… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 17:37:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d61b662af67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 16:15:28 2009 +0200 Useless, commented-out inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87795dec3ab… Author: Abramo Bagnara <abramo(a)localhost.localdomain> Date: Fri Aug 7 12:40:53 2009 +0200 Modified cm_splitter machinery to avoid use of 'read' shell builtin. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 11:43:54 2009 +0200 Mention a bug that was recently corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 10:39:38 2009 +0200 Corrected implementation of NNC_Polyhedron::upper_bound_assign_if_exact(). Added a few tests for regression checking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21c69b39730e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 5 14:48:04 2009 +0200 Make sure a definition for member/2 and append/3 is available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5a20e1b7ed8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:32 2009 +0200 Removed useless, temporary addition of -lm to LIBS. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f717edef1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:17 2009 +0200 Checks reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5c936a3dd3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:55:02 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d398d757a50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:37:14 2009 +0200 Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 17:41:35 2009 +0200 Do not add -lm to LDADD for *randphull1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 09:28:50 2009 +0200 Do not link with -lm here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65bab4f76a1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 31 13:15:39 2009 +0200 Improved and generalized the detection of YAP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9c7d438434… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 30 10:02:34 2009 +0200 Updated from Autoconf 2.64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08eaee8c4564… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:31:41 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272435922ed6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:30:07 2009 +0200 On Windows, the console version of SWI-Prolog is called `plcon'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d276a484e1cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 15 14:04:49 2009 +0200 Adjusted weight thresholds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2ac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:33:20 2009 +0200 Debugging prints improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55dda35b30c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:29:20 2009 +0200 Weights adjusted. Added more debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12ab9f366276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:14:50 2009 +0200 More weights adjusted. Added a couple of debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64d72bae2be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 18:49:35 2009 +0200 Added printing of MIP solver recursion level for (noisy) debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a17f3bf228fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 17:36:47 2009 +0200 Added some weights. Added some debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01c5219d84f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:07:36 2009 +0200 Todo items reorganized. Removed the one about NOT_EQUAL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5beb16e7b88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:05:30 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 14:39:00 2009 +0200 The *_and_minimize/N predicates have gone: remove residual references to them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fe52b084cf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 15:05:11 2009 +0200 Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd670303e2a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 14:59:48 2009 +0200 Added WEIGHT_BEGIN() macros and reset a few weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2947b482bb0a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 11:36:08 2009 +0200 Added profiled weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=232f4f623dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 11:05:13 2009 +0200 Modified computational weight for propagate_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae0073bd4dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 09:18:37 2009 +0200 Added tentative computational weights to MIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67572f7617f6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 00:09:12 2009 +0200 Fixed WEIGHT_ADD use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 22:32:16 2009 +0200 WEIGHT_ADD moved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4984c996e750… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:16:04 2009 +0200 Removed forgotten WEIGHT_ADD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61df49cc3d5f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:03:05 2009 +0200 Don't compile Weight_Profiler if it's not used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27ce45ef5e47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 21:58:44 2009 +0200 Minor formatting improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c4076e092b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:50 2009 +0200 Use less simplistic weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b72e693fc9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:31 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53a31830c3e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 20:10:39 2009 +0200 Added additional info about Traits template parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3b243ef0142… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:46:47 2009 +0200 Converted weight threshold to unsigned long long. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41bc98bc45b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:36:51 2009 +0200 Added weight profiler URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5ea4dfdfcca… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 17:39:45 2009 +0200 In the Ocaml tests, timeouts are now reset unconditionally. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db905fa95a0e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 16:21:35 2009 +0200 Drafted a few missing comments. To be completed (by the author). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:04:22 2009 +0200 Added the documentation of some parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:01:19 2009 +0200 Doxygen reference fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0808b5bf1789… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:55:59 2009 +0200 Fixed several documentation bugs signalled by Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e03b09806640… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:39:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1496c72855… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:47:56 2009 +0200 Removed repeated declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18547b9dda76… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:13:27 2009 +0200 Moved in_assert in Implementation namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9c1cc75c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:50:55 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78a7c4b60e7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:51 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b767ed368ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:39 2009 +0200 Spurious parenthesis removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35bcf04d2922… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:32:04 2009 +0200 Announced availability of the deterministic timeout facilities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 14:28:04 2009 +0200 Converted assert in PPL_ASSERT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a0fb124afab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:04:22 2009 +0200 A couple of minor doxygen documentation corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da16bedab39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 13:02:56 2009 +0200 Added determinisitc timeout functionality to the Ocaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f998de27be99… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 10:46:44 2009 +0200 Added deterministic timeout functionality to the Java language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62c817602e25… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:42:35 2009 +0200 Weightwatch test fixed so as to behave properly under arithmetic overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff28fdbc4a1f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:24:12 2009 +0200 Added deterministic timeout predicates to the Prolog language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e62914cde… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 08:56:27 2009 +0200 Now we throw/catch ad hoc exceptions for deterministic timeouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70437eb7512d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 06:47:50 2009 +0200 These tests fail also with 32-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:39:46 2009 +0200 New configure option --with-gmp-prefix supersedes the (now removed) options --with-libgmp-prefix and --with-libgmpxx-prefix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acac3c72eafc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:21:04 2009 +0200 These tests fail also with 16-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:21 2009 +0200 Private typedef renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:12 2009 +0200 Removed spurious blank line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c074… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:15:32 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:14:09 2009 +0200 Drafted the news for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:08:36 2009 +0200 Unused temp removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:07:58 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 20:51:38 2009 +0200 Fixed INPUT variable in Doxygen configuration for devref. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:05:01 2009 +0200 Updated for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:00:19 2009 +0200 These tests fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:58:15 2009 +0200 Added a test for deterministic timeouts in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:36:43 2009 +0200 The deterministic timeout facilities are in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:16:20 2009 +0200 Got rid of the REACTIVE_ABANDONING macro. It was controlling tests whose cost is negligible, and defining it to 0 we would not honor what we promise in the documentation of abandon_expensive_computations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:12:20 2009 +0200 Force rebuild. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 12 13:55:14 2009 +0200 Converted watchdog time argument to unsigned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:48:29 2009 +0200 Item improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:47:36 2009 +0200 Synchronized with the current reality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1175ae2b9f76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:46:02 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fdc5887541… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:24:28 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0742e3828ce4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 11:12:29 2009 +0200 Avoid dummy parameter in constructor for Threshold_Watcher::Initialize. Renamed `initialize' to `init' to avoid visual clash with `Initialize'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:15:18 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36bad689490… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 10:13:04 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fec820348a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:18:13 2009 +0200 Added a first test for the deterministic timeout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cb9790c6f74… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:14:52 2009 +0200 Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78c8fb6cebda… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 08:11:22 2009 +0200 Minor improvements: prefer direct header file inclusions to indirect ones. Avoid unnecessarily long lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 20:12:09 2009 +0200 Converted Weightwatch in more generic Threshold_Watcher. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd8437f2e56… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:25:10 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99d4c96253e1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:14:42 2009 +0200 Forgotten file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e99fc18a85… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:13:39 2009 +0200 Weightwatch are now generic threshold watchdog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2845d771766… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 14:07:36 2009 +0200 Weightwatch are now independent from client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98c1aa19dbcd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Jul 10 21:20:57 2009 +0200 Added Weightwatch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9806b1f8969f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jul 10 18:05:14 2009 +0200 Fixed a (potential) exception safety bug in class MIP_Problem. Added an helper class (implementing RAII technique) to safely relax a MIP problem into an LP problem and ensure that integer variables are restored even in the presence of exceptional execution paths. Improved interface (and a few comments) for private methods dealing with MIP optimization and satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 12:54:28 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e89… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bfb384588db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 08:50:03 2009 +0200 Using the bug tracking system is now the recommended way to report PPL issues. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335d133acf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 25 17:38:54 2009 +0200 Typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed61e6fdbf3c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jun 11 10:56:06 2009 +0200 Added explanation on the use of lcov to produce coverage information. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6eb78d62f224… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jun 11 00:25:38 2009 +0200 Add -lgcov to extra_libraries when configuring with coverage enabled. Fixes a link bug when trying to compute coverage for the OCaml interface tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01628113e540… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Jun 10 11:40:06 2009 +0100 Avoid unused variable warning when assertions are not enabled.

1 0

Re: [PPL-devel] Undefined PPL references attempting to build cloog-ppl
by P M Hill 16 Aug '09

16 Aug '09

On Thu, 13 Aug 2009, Tovrea, George W (US SSA) wrote: > Any other ideas about how to fix this issue? Only that the configure file generates the Makefiles, including the one with the buggy names. In your generated configure file you should have: required_instantiations_canonical_names=`echo "${required_instantiations}" | sed -e 's/> //g' -e 's/>//g' -e 's/[< ,]/_/g'` which will be used to generate the "interface" or "canonical" names from the C++ names - for example - BD_Shape_mpq_class from BD_Shape<mpq_class> So I can only suggest that you check your configure file that the above line is correct there. Pat > > -----Original Message----- > From: Tovrea, George W (US SSA) > Sent: Tuesday, August 11, 2009 1:45 PM > To: 'P M Hill' > Subject: RE: [PPL-devel] Undefined PPL references attempting to build > cloog-ppl > > Yes, they are also messed up there: > > required_instantiations_c_cxx_headers = ppl_c_Polyhedron.hh > ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh > ppl_c__BD_Shape_mpq_class.hh ppl_c__Octagonal_Shape_mpz_class.hh > ppl_c__Octagonal_Shape_mpq_class.hh > ppl_c__Constraints_Product_C_Polyhedron_Grid.hh > ppl_c__Pointset_Powerset_C_Polyhedron.hh > ppl_c__Pointset_Powerset_NNC_Polyhedron.hh > required_instantiations_c_cxx_objects = ppl_c_Polyhedron.lo > ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo > ppl_c__BD_Shape_mpq_class.lo ppl_c__Octagonal_Shape_mpz_class.lo > ppl_c__Octagonal_Shape_mpq_class.lo > ppl_c__Constraints_Product_C_Polyhedron_Grid.lo > ppl_c__Pointset_Powerset_C_Polyhedron.lo > ppl_c__Pointset_Powerset_NNC_Polyhedron.lo > required_instantiations_c_cxx_sources = ppl_c_Polyhedron.cc > ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc > ppl_c__BD_Shape_mpq_class.cc ppl_c__Octagonal_Shape_mpz_class.cc > ppl_c__Octagonal_Shape_mpq_class.cc > ppl_c__Constraints_Product_C_Polyhedron_Grid.cc > ppl_c__Pointset_Powerset_C_Polyhedron.cc > ppl_c__Pointset_Powerset_NNC_Polyhedron.cc > required_instantiations_canonical_names = > Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@_BD_Shape_mpq_class@_Oct > agonal_Shape_mpz_class@_Octagonal_Shape_mpq_class@_Constraints_Product_C > _Polyhedron_Grid@_Pointset_Powerset_C_Polyhedron@_Pointset_Powerset_NNC_ > Polyhedron > > -----Original Message----- > From: P M Hill [mailto:hill@comp.leeds.ac.uk] > Sent: Tuesday, August 11, 2009 1:42 PM > To: Tovrea, George W (US SSA) > Cc: Sebastian Pop; The Parma Polyhedra Library developers' list; Roberto > Bagnara > Subject: Re: [PPL-devel] Undefined PPL references attempting to build > cloog-ppl > > Also check the Makefile in the same directory. If they are messed up > there, then the problem appears to be with autoreconf. > > Pat > > On Tue, 11 Aug 2009, Tovrea, George W (US SSA) wrote: > >> Yes, I have looked at that file (ppl_interface_instantiations.m4) and >> the names are messed up in there, as you can see: >> >> m4_define(`m4_interface_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@_BD_Shape_mpq_class@_Oc >> > tagonal_Shape_mpz_class@_Octagonal_Shape_mpq_class@_Constraints_Product_ >> > C_Polyhedron_Grid@_Pointset_Powerset_C_Polyhedron@_Pointset_Powerset_NNC >> _Polyhedron') >> m4_define(`m4_cplusplus_classes_names', >> `Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@ > BD_Shape<mpq_class>@ >> Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@ >> Constraints_Product<C_Polyhedron,Grid>@ > Pointset_Powerset<C_Polyhedron>@ >> Pointset_Powerset<NNC_Polyhedron>') >> >> -----Original Message----- >> From: P M Hill [mailto:hill@comp.leeds.ac.uk] >> Sent: Tuesday, August 11, 2009 1:31 PM >> To: Tovrea, George W (US SSA) >> Cc: Roberto Bagnara; The Parma Polyhedra Library developers' list; >> Sebastian Pop >> Subject: Re: [PPL-devel] Undefined PPL references attempting to build >> cloog-ppl >> >> Here are a few observations wrt the code you have sent and maybe they >> might help us find the bug. >> >> I have noticed in your snippets of code that the interface names with >> the >> extra "_" are always the same - and it is added before the main root. >> (Either "_" precedes the name or "ppl_c__" precedes the name where the >> double "__" should be a single "_".) A list of these names is built by >> the >> configure as the default interface classes and are placed in the >> Makefile >> in the interfaces directory. When make is executed, the Makefile >> generates >> a file called ppl_interface_instantiations.m4 in the interfaces >> directory. >> >> Assuming the default configuration is used, this should contain the >> following: >> >> m4_define(`m4_interface_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@BD_Shape_mpq_class@Octa >> > gonal_Shape_mpz_class@Octagonal_Shape_mpq_class@Constraints_Product_C_Po >> > lyhedron_Grid@Pointset_Powerset_C_Polyhedron@Pointset_Powerset_NNC_Polyh >> edron@Double_Box@BD_Shape_double@Octagonal_Shape_double') >> m4_define(`m4_cplusplus_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Oc >> > tagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product< >> > C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC >> _Polyhedron>@Double_Box@BD_Shape<double>@Octagonal_Shape<double>') >> >> and is then used by the m4 to generate the C code for each of these >> classes. >> >> So it may be helpful to check that if one or both of these generated >> files >> have the names correctly (ie as above). I suspect that some names may >> already be buggy and have the extra "_". In which case, it could be >> autoreconf or even make that could be the problem and not m4. >> >> HTH >> >> Pat >> >> On Tue, 11 Aug 2009, Tovrea, George W (US SSA) wrote: >> >>> In a previous mail, you wrote: >>> >>> Strange: this is the same version I use. I don't know what to say: >>> in ppl_c.h you should end up with >>> >>> PPL_TYPE_DECLARATION(Polyhedron) >>> PPL_TYPE_DECLARATION(Grid) >>> PPL_TYPE_DECLARATION(Rational_Box) >>> PPL_TYPE_DECLARATION(BD_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(BD_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(Octagonal_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(Octagonal_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(Constraints_Product_C_Polyhedron_Grid) >>> PPL_TYPE_DECLARATION(Pointset_Powerset_C_Polyhedron) >>> PPL_TYPE_DECLARATION(Pointset_Powerset_NNC_Polyhedron) >>> >>> whereas you have >>> >>> PPL_TYPE_DECLARATION(Polyhedron) >>> PPL_TYPE_DECLARATION(Grid) >>> PPL_TYPE_DECLARATION(Rational_Box) >>> PPL_TYPE_DECLARATION(BD_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(_BD_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(_Octagonal_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(_Octagonal_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(_Constraints_Product_C_Polyhedron_Grid) >>> PPL_TYPE_DECLARATION(_Pointset_Powerset_C_Polyhedron) >>> PPL_TYPE_DECLARATION(_Pointset_Powerset_NNC_Polyhedron) >>> >>> Note that all the declarations that are in error above have a double >>> underscore after ppl_c in the snippet below. All the ones that are >>> correct have a single underscore after ppl_c. For example, >>> BD_Shape_mpz_class above relates to ppl_c_BD_Shape_mpz_class whereas >>> _BD_Shape_mpq_class above relates to ppl_c__BD_Shape_mpq_class below. >>> Seems more than coincidental. However, I modified config.status >> changing >>> all ppl_c__ tp ppl_c_. This did not build (still looking for some >>> ppl_c__ files). I am currently trying to debug >>> >>> /net/whistler/auto/users/tovrea/local/sol2/bin/m4 --prefix-builtin >> -I.. >>> -I../../../interfaces/C -I../../../interfaces/C/.. \ >>> ../../../interfaces/C/ppl_interface_generator_c_h.m4 > >>> ppl_c_domains.h >>> >>> >>> ppl_c_domains.h contains all the ppl_c__ names >>> >>> >>> -----Original Message----- >>> From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] >>> Sent: Tuesday, August 11, 2009 12:54 AM >>> To: Tovrea, George W (US SSA) >>> Cc: Sebastian Pop; The Parma Polyhedra Library developers' list >>> Subject: Re: [PPL-devel] Undefined PPL references attempting to build >>> cloog-ppl >>> >>> Tovrea, George W (US SSA) wrote: >>>> The names are already messed up after running configure. From >>> config.status: >>>> >>>> S["required_instantiations_c_cxx_objects"]="ppl_c_Polyhedron.lo >>> ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo >>> ppl_c__BD_Shape_mpq_class.lo ppl_c__Octagonal_Shape_mpz_class.lo"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.lo >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.lo >>> ppl_c__Pointset_Powerset_C_Polyhedron.lo ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.lo" >>>> S["required_instantiations_c_cxx_sources"]="ppl_c_Polyhedron.cc >>> ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc >>> ppl_c__BD_Shape_mpq_class.cc ppl_c__Octagonal_Shape_mpz_class.cc"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.cc >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.cc >>> ppl_c__Pointset_Powerset_C_Polyhedron.cc ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.cc" >>>> S["required_instantiations_c_cxx_headers"]="ppl_c_Polyhedron.hh >>> ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh >>> ppl_c__BD_Shape_mpq_class.hh ppl_c__Octagonal_Shape_mpz_class.hh"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.hh >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.hh >>> ppl_c__Pointset_Powerset_C_Polyhedron.hh ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.hh" >>> >>> Hi Bill, >>> >>> I see nothing messed up in this snippet. >>> Can you explain? >>> All the best, >>> >>> Roberto >>> >>> >> >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > >

1 0