April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Started the implementation of Polyhedron ::wrap_assign().
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: df4d4fcfb09051070719d9348382a7e94a8dbf39 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(). --- src/Polyhedron_public.cc | 116 +++++++++++++++++++++++++++++++++++++++++---- tests/Polyhedron/wrap1.cc | 16 ++++++- 2 files changed, 121 insertions(+), 11 deletions(-) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index ea0b69e..bd21fa4 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -3460,16 +3460,6 @@ PPL::Polyhedron::time_elapse_assign(const Polyhedron& y) { } void -PPL::Polyhedron::wrap_assign(const Variables_Set& vars, - Bounded_Integer_Type_Width w, - Bounded_Integer_Type_Signedness s, - Bounded_Integer_Type_Overflow o, - bool wrap_individually, - unsigned k_threshold) { - // FIXME: to be written. -} - -void PPL::Polyhedron::topological_closure_assign() { // Necessarily closed polyhedra are trivially closed. if (is_necessarily_closed()) @@ -3685,3 +3675,109 @@ PPL::IO_Operators::operator<<(std::ostream& s, const Polyhedron& ph) { s << ph.minimized_constraints(); return s; } + +void +PPL::Polyhedron::wrap_assign(const Variables_Set& vars, + Bounded_Integer_Type_Width w, + Bounded_Integer_Type_Signedness s, + Bounded_Integer_Type_Overflow o, + bool wrap_individually, + unsigned k_threshold) { + // Wrapping no variable is a no-op. + if (vars.empty()) + return; + + // Dimension-compatibility check. + const dimension_type min_space_dim = vars.space_dimension(); + if (space_dim < min_space_dim) + throw_dimension_incompatible("wrap_assign(vs, ...)", min_space_dim); + + // Wrapping an empty polyhedron is a no-op. + if (is_empty()) + return; + + // Bound low and bound high assignment. + PPL_DIRTY_TEMP_COEFFICIENT(min_value); + PPL_DIRTY_TEMP_COEFFICIENT(max_value); + + if (s == UNSIGNED) { + min_value = 0; + mul_2exp_assign(max_value, Coefficient_one(), w); + --max_value; + } + else { + assert(s == SIGNED_2_COMPLEMENT); + mul_2exp_assign(max_value, Coefficient_one(), w-1); + neg_assign(min_value, max_value); + --max_value; + } + + //std::cout << "min_value = " << min_value << std::endl; + //std::cout << "max_value = " << max_value << std::endl; + + if (wrap_individually) { + // We use this to delay conversions when this does not negatively + // affect precision. + Constraint_System full_range_bounds; + + PPL_DIRTY_TEMP_COEFFICIENT(ln); + PPL_DIRTY_TEMP_COEFFICIENT(ld); + PPL_DIRTY_TEMP_COEFFICIENT(un); + PPL_DIRTY_TEMP_COEFFICIENT(ud); + + //using namespace IO_Operators; + + for (Variables_Set::const_iterator i = vars.begin(), + vars_end = vars.end(); i != vars.end(); ++i) { + + const Variable x = Variable(*i); + //std::cout << "Wrapping " << x << std::endl; + + bool extremum; + + if (!minimize(x, ln, ld, extremum)) { + set_full_range: + unconstrain(x); + full_range_bounds.insert(min_value <= x); + full_range_bounds.insert(x <= max_value); + continue; + } + + if (!maximize(x, un, ud, extremum)) + goto set_full_range; + + //std::cout << "min = " << ln << "/" << ld << std::endl; + //std::cout << "max = " << un << "/" << ud << std::endl; + + div_assign_r(ln, ln, ld, ROUND_DOWN); + div_assign_r(un, un, ud, ROUND_DOWN); + ln -= min_value; + un -= min_value; + div_2exp_assign_r(ln, ln, w, ROUND_DOWN); + div_2exp_assign_r(un, un, w, ROUND_DOWN); + if (un - ln > k_threshold) + goto set_full_range; + + //std::cout << "ln = " << ln << std::endl; + //std::cout << "un = " << un << std::endl; + + Polyhedron hull(topology(), space_dimension(), EMPTY); + for ( ; ln <= un; ++ln) { + Polyhedron p(*this); + //std::cout << "p: " << p << std::endl; + mul_2exp_assign(ld, ln, w); + //std::cout << "ld = " << ld << std::endl; + p.affine_image(x, x - ld, 1); + //std::cout << "affine_image: " << p << std::endl; + p.add_constraint(min_value <= x); + p.add_constraint(x <= max_value); + hull.poly_hull_assign(p); + //std::cout << "hull: " << hull << std::endl; + } + swap(hull); + } + add_constraints(full_range_bounds); + } + else + assert(false); +} diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index dfcb77e..97298f3 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -26,7 +26,21 @@ namespace { bool test01() { - // FIXME: to be written. + Variable x(0); + Variable y(1); + C_Polyhedron ph(2, UNIVERSE); + ph.add_constraint(x + 1024 == 8*y); + ph.add_constraint(-64 <= x); + ph.add_constraint(x <= 448); + + print_constraints(ph, "*** ph ***"); + + Variables_Set vars(x, y); + + ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, true, 10); + + print_constraints(ph.minimized_constraints(), "*** ph.wrap_assign(...) ***"); + bool ok = true; return ok;

1 0

[Fwd: Re: Check dependency resolution for 64 bit linking]
by Roberto Bagnara 26 Apr '09

26 Apr '09

-------- Original Message -------- Subject: Re: [PPL-devel] Check dependency resolution for 64 bit linking Date: Sun, 26 Apr 2009 21:29:03 +0200 From: Markus Elfring <Markus.Elfring(a)web.de> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <49F3842C.7050608(a)web.de> <49F40CB3.20308(a)cs.unipr.it> > you are not saying which version of the PPL you are trying to compile. I try the build process from the results of the command "git clone". http://www.cs.unipr.it/ppl/Download/Git#read-only-access > 1) if you really want to stay on the bleeding edge, using the Git > versions, > try updating Libtool to the latest available version; I get the following informations. Repository: @System Name: libtool Version: 2.2.6-1.35 Arch: x86_64 Vendor: openSUSE Installed: Yes Status: up-to-date Installed Size: 2.3 M Summary: A Tool to Build Shared Libraries Does the configuration script contain a check if this software is recent enough? > a) --enable-optimization is the default; Would you like to add the detail to the help description which level should be the default? Regards, Markus -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added missing pattern.
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 3cebc86fa1c4b43f293a5d992cd3814351a3d30c 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. --- interfaces/Prolog/tests/.gitignore | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/tests/.gitignore b/interfaces/Prolog/tests/.gitignore index 5a99aff..f1bc771 100644 --- a/interfaces/Prolog/tests/.gitignore +++ b/interfaces/Prolog/tests/.gitignore @@ -1,7 +1,8 @@ ppl_predicate_check.pl ppl_predicate_check_[A-Z]*.pl ppl_predicate_check_main.pl -predicate_check_all +ppl_prolog_generated_test.stamp ppl_prolog_generated_test_[A-Z]*.pl +ppl_prolog_generated_test_blob ppl_prolog_generated_test_main.pl -ppl_prolog_generated_test.stamp +predicate_check_all

1 0

[GIT] ppl/ppl(bounded_arithmetic): Unused parameter name omitted.
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: e2bfeb6d0eb4eb88ccbfabcbce8e8a8415b34901 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. --- src/checked_mpq.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/checked_mpq.inlines.hh b/src/checked_mpq.inlines.hh index 978377e..436d61e 100644 --- a/src/checked_mpq.inlines.hh +++ b/src/checked_mpq.inlines.hh @@ -327,7 +327,7 @@ PPL_SPECIALIZE_REM(rem_mpq, mpq_class, mpq_class, mpq_class) template <typename To_Policy, typename From_Policy> inline Result mul_2exp_mpq(mpq_class& to, const mpq_class& x, unsigned int exp, - Rounding_Dir dir) { + Rounding_Dir) { mpz_mul_2exp(to.get_num().get_mpz_t(), x.get_num().get_mpz_t(), exp); to.get_den() = x.get_den(); to.canonicalize();

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: fae84063e55727d064d478e61dbfb0d315eaee60 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. --- interfaces/C/.gitignore | 5 +++-- tests/Polyhedron/.gitignore | 12 +++++++----- 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/interfaces/C/.gitignore b/interfaces/C/.gitignore index ff759d3..10604d8 100644 --- a/interfaces/C/.gitignore +++ b/interfaces/C/.gitignore @@ -1,10 +1,11 @@ *.la +cxxoutput ppl_c.cc ppl_c.h -ppl_c_version.h ppl_c_[A-Z]*.cc ppl_c_[A-Z]*.hh +ppl_c_cc_blob ppl_c_domains.h ppl_c_implementation_domains.cc.stamp ppl_c_implementation_domains.hh -cxxoutput +ppl_c_version.h diff --git a/tests/Polyhedron/.gitignore b/tests/Polyhedron/.gitignore index 8fa7846..8d3c40b 100644 --- a/tests/Polyhedron/.gitignore +++ b/tests/Polyhedron/.gitignore @@ -22,6 +22,7 @@ ascii_dump_load2.dat ascii_dump_load3 ascii_dump_load3.dat bgp99extrapolation1 +bgp99extrapolation2 bhrz03widening1 bhrz03widening2 bhrz03widening3 @@ -69,10 +70,10 @@ hybrid intersection1 limitedbhrz03extrapolation1 limitedh79extrapolation1 +linearexpression1 linearpartition1 linearsystem1 linearsystem1.dat -linearexpression1 mapspacedims1 matrix1 matrix1.dat @@ -145,6 +146,7 @@ nnc_onepoint nnc_permute nnc_polydifference1 nnc_polyhull1 +nnc_polyhullifexact1 nnc_randphull1 nnc_relations1 nnc_relations2 @@ -154,6 +156,7 @@ nnc_smm1 nnc_timeelapse1 nnc_unconstrain1 nnc_universe1 +nnc_wrap1 nnc_writepolyhedron1 nncminimize1 nncminimize2 @@ -164,6 +167,8 @@ polydifference1 polydifference2 polyhull1 polyhull2 +polyhullifexact1 +polyhullifexact2 randphull1 refinewithcongruence1 refinewithcongruences1 @@ -185,6 +190,7 @@ universe1 universe2 variablesset1 watchdog1 +wrap1 writeconsys1 writegensys1 writepolyhedron1 @@ -192,7 +198,3 @@ writepolyhedron2 writerelation1 writevariable1 writevariable1.dat -bgp99extrapolation2 -nnc_polyhullifexact1 -polyhullifexact1 -polyhullifexact2

1 0

[GIT] ppl/ppl(bounded_arithmetic): The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'.
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 05a160461d8776ab222c46509e06afab0be5bcdd 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. --- src/Box.templates.hh | 4 +- src/Checked_Number.defs.hh | 20 +++++++- src/Checked_Number.inlines.hh | 15 +++++- src/Octagonal_Shape.templates.hh | 100 +++++++++++++++++++------------------- src/checked.defs.hh | 22 +++++---- src/checked_ext.inlines.hh | 8 ++-- src/checked_float.inlines.hh | 36 ++++++++------ src/checked_int.inlines.hh | 72 +++++++++++++-------------- src/checked_mpq.inlines.hh | 22 +++++---- src/checked_mpz.inlines.hh | 14 ++--- src/math_utilities.inlines.hh | 2 +- 11 files changed, 172 insertions(+), 143 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=05a16046…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added void div_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 18abd8ea5a0b711931c92bb888fe7363e925af75 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). --- src/GMP_Integer.defs.hh | 4 ++++ src/GMP_Integer.inlines.hh | 5 +++++ 2 files changed, 9 insertions(+), 0 deletions(-) diff --git a/src/GMP_Integer.defs.hh b/src/GMP_Integer.defs.hh index 3021326..ba41f61 100644 --- a/src/GMP_Integer.defs.hh +++ b/src/GMP_Integer.defs.hh @@ -115,6 +115,10 @@ void sub_mul_assign(GMP_Integer& x, /*! \relates GMP_Integer */ void mul_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp); +//! Assigns to \p x the value \f$ y / 2^\mathtt{exp} \f$. +/*! \relates GMP_Integer */ +void div_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp); + /*! \brief If \p z divides \p y, assigns to \p x the quotient of the integer division of \p y and \p z. diff --git a/src/GMP_Integer.inlines.hh b/src/GMP_Integer.inlines.hh index bf30bc4..b939f79 100644 --- a/src/GMP_Integer.inlines.hh +++ b/src/GMP_Integer.inlines.hh @@ -86,6 +86,11 @@ mul_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp) { } inline void +div_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp) { + mpz_tdiv_q_2exp(x.get_mpz_t(), y.get_mpz_t(), exp); +} + +inline void exact_div_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { assert(y % z == 0); mpz_divexact(x.get_mpz_t(), y.get_mpz_t(), z.get_mpz_t());

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added void mul_2exp_assign(GMP_Integer&, const GMP_Integer&, unsigned int).
by Roberto Bagnara 26 Apr '09

26 Apr '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: da83bd6fe05a6e842277a8eadcffc843cc841e52 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). --- src/GMP_Integer.defs.hh | 4 ++++ src/GMP_Integer.inlines.hh | 5 +++++ 2 files changed, 9 insertions(+), 0 deletions(-) diff --git a/src/GMP_Integer.defs.hh b/src/GMP_Integer.defs.hh index 159bdb9..3021326 100644 --- a/src/GMP_Integer.defs.hh +++ b/src/GMP_Integer.defs.hh @@ -111,6 +111,10 @@ void add_mul_assign(GMP_Integer& x, void sub_mul_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z); +//! Assigns to \p x the value \f$ y \cdot 2^\mathtt{exp} \f$. +/*! \relates GMP_Integer */ +void mul_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp); + /*! \brief If \p z divides \p y, assigns to \p x the quotient of the integer division of \p y and \p z. diff --git a/src/GMP_Integer.inlines.hh b/src/GMP_Integer.inlines.hh index 9cb9e04..bf30bc4 100644 --- a/src/GMP_Integer.inlines.hh +++ b/src/GMP_Integer.inlines.hh @@ -81,6 +81,11 @@ sub_mul_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { } inline void +mul_2exp_assign(GMP_Integer& x, const GMP_Integer& y, unsigned int exp) { + mpz_mul_2exp(x.get_mpz_t(), y.get_mpz_t(), exp); +} + +inline void exact_div_assign(GMP_Integer& x, const GMP_Integer& y, const GMP_Integer& z) { assert(y % z == 0); mpz_divexact(x.get_mpz_t(), y.get_mpz_t(), z.get_mpz_t());

1 0

[GIT] ppl/ppl(bounded_arithmetic): New commits
by Roberto Bagnara 26 Apr '09

26 Apr '09

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=79dac5cc0b03… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Apr 25 16:34:17 2009 +0200 Started caching jclass objects using JNI global references. Cached other method IDs and optimized helper function build_linear_expression by introducing a new constructor for Linear_Expression_Times. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=252f8ae1ac62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:49:22 2009 +0200 Use the macros OCAMLC, OCAMLOPT and OCAMLLIB. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9037c88e5adb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:48:38 2009 +0200 One obsolete item removed. Other items partially scheduled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b72ef21ddc5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 14:07:17 2009 +0200 DO_TEST_F now produces a more sensible output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9e719ff0f06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 09:19:18 2009 +0200 Use the macros OCAMLC, OCAMLOPT and OCAMLDOC instead of hardcoded names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0492a0d797… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 25 08:34:02 2009 +0200 Use the ocaml-autoconf macros for configuration of the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661fc6e75fa6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 21:51:31 2009 +0200 Improved jni helper functions set_coefficient, set_generator, set_by_reference. Cached anther few Java method IDs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81e816d83312… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 19:57:52 2009 +0200 In Java, avoid useless repeated copies in Coefficient and Linear_Expression. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f8b01231e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 12:10:04 2009 +0200 Caching other Java field/method IDs. Also corrected a latent bug in helper function j_long_to_j_long_class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abce61709cfc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 24 09:56:40 2009 +0200 Started caching Java field/method IDs for jni callbacks. Improved the translation from Java Coefficient to PPL Coefficient objects by providing the former with a toString method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1c68544454e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 20:45:46 2009 +0200 Corrected Java Generator private method void set(Generator). We were not correctly setting the divisor for the generator. Also got rid of unused jni method set_grid_generator(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de88902aff57… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 19:59:49 2009 +0200 Got rid of (unnecessarily involved) method is_null. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a391d71c0cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 18:25:04 2009 +0200 Prefer passing jobject, jint and jlong by value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c165032ea5b1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 16:36:00 2009 +0200 Added missing checks. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ececf3c3476d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 12:23:41 2009 +0200 Avoid use of anonymous enum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2071de104d8f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 23 07:16:52 2009 +0100 Avoid unused variable warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20168eb89529… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 22 21:22:19 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4086134c0c52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 22 07:50:17 2009 +0100 Tests 11 fails with checked-int32 coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f4c56724b1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:53:44 2009 +0200 Use of PPL_ARM_CAN_CONTROL_FPU made safer. When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization procedure checks that the FPU can indeed be controlled and fails if that is not the case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec293cdd3d5b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:44:41 2009 +0200 Formatting improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d50a679f90cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 21 21:33:32 2009 +0200 Made the checks for HAVE_FENV_H systems more robust.

1 0

Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)
by Tom Browder 26 Apr '09

26 Apr '09

I have tried to build ppl-0.10.2 with g++-4.4.0 and get many errors starting with: In file included from algorithms.hh:27, from C_Polyhedron.cc:28: Pointset_Powerset.defs.hh:68: error: expected unqualified-id before numeric constant Pointset_Powerset.defs.hh:69: error: type/value mismatch at argument 1 in template parameter list for 'template<class D> class Parma_Polyhedra_Library::Powerset' Pointset_Powerset.defs.hh:69: error: expected a type, got '15' Pointset_Powerset.defs.hh:1234: error: 'Base' is not a class or namespace Pointset_Powerset.defs.hh:1235: error: 'Base' is not a class or namespace Pointset_Powerset.defs.hh:1236: error: 'Base' is not a class or namespace <etc.> I first built g++ 4.4.0 without ppl and then tried to build ppl with the resulting g++ but got the errors above. I am building on open solaris 2008.11. I carefully ensured that gmp, mpfr, and ppl are all configured and built the same. Thank you for any help. -Tom Tom Browder Niceville, Florida USA

2 2