September 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(pip): Do perform PIP_Problem tests first.
by Enea Zaffanella 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: pip Commit: 5430061f8fcd1b9bde2dd390d8e3153162d73839 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5430061f8fcd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:34:15 2009 +0200 Do perform PIP_Problem tests first. --- tests/Makefile.am | 2 +- tests/PIP_Problem/pipproblem.cc | 13 +++++-------- 2 files changed, 6 insertions(+), 9 deletions(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 88addab..536a586 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -22,11 +22,11 @@ SUBDIRS = \ . \ +PIP_Problem \ Powerset \ Partially_Reduced_Product \ Box \ MIP_Problem \ -PIP_Problem \ Octagonal_Shape \ BD_Shape \ Polyhedron \ diff --git a/tests/PIP_Problem/pipproblem.cc b/tests/PIP_Problem/pipproblem.cc index 51af374..df9f96f 100644 --- a/tests/PIP_Problem/pipproblem.cc +++ b/tests/PIP_Problem/pipproblem.cc @@ -20,13 +20,12 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ . */ -//#define NOISY 1 - #include "ppl_test.hh" namespace { -bool test01() { +bool +test01() { Variable X1(0); Variable X2(1); Variable I0(2); @@ -41,13 +40,11 @@ bool test01() { cs.insert(-X1 - I0 + N >= 0); cs.insert(X2 + J0 - N - 1 >= 0); - PIP_Problem pip = PIP_Problem(cs.space_dimension(), cs.begin(), cs.end(), - params); + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); - if (pip.solve() != OPTIMIZED_PIP_PROBLEM) - return false; + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); - return true; + return ok; } } // namespace

1 0

[GIT] ppl/ppl(pip): Minor coding style improvements.
by Enea Zaffanella 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: pip Commit: 324b7d701650f6e22622ed9ddcd19ab97ee71610 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=324b7d701650… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Sep 3 14:28:12 2009 +0200 Minor coding style improvements. --- src/PIP_Problem.cc | 3 +-- src/PIP_Problem.defs.hh | 21 +++++++++++---------- src/PIP_Problem.inlines.hh | 23 ++++++++++++++--------- 3 files changed, 26 insertions(+), 21 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 7fbb239..2a1089d 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -47,8 +47,7 @@ PPL::PIP_Problem::PIP_Problem(dimension_type dim) parameters() { // Check for space dimension overflow. if (dim > max_space_dimension()) - throw std::length_error("PPL::PIP_Problem:: PIP_Problem(dim, first, " - "last, p_vars):\n" + throw std::length_error("PPL::PIP_Problem:: PIP_Problem(dim):\n" "dim exceeds the maximum allowed" "space dimension."); PPL_ASSERT(OK()); diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index a9b666a..5a0ce38 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -287,7 +287,7 @@ private: dimension_type internal_space_dim; //! A rational matrix, with a common nenominator - class Rational_Matrix: public Matrix { + class Rational_Matrix : public Matrix { public: //! Builds an empty matrix. /*! @@ -330,15 +330,16 @@ private: Coefficient denominator; }; - //! The parametric simplex tableau - /*! - Consists in two rational matrices, represented as an integer tableau - and a common denominator. The \p s matrix is the matrix of simplex - coefficients, and the \p t matrix is the matrix of parameter coefficients. - */ - struct { - Rational_Matrix s, t; - } tableau; + //! The type for parametric simplex tableau. + struct Tableau { + //! The matrix of simplex coefficients. + Rational_Matrix s; + //! The matrix of parameter coefficients. + Rational_Matrix t; + }; + + //! The parametric simplex tableau. + Tableau tableau; //! An enumerated type describing the internal status of the PIP problem. enum Status { diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index 4064d0a..4dcb55b 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -25,23 +25,28 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { -inline PIP_Problem::Rational_Matrix::Rational_Matrix(): - Matrix(), denominator(1) { +inline +PIP_Problem::Rational_Matrix::Rational_Matrix() + : Matrix(), + denominator(1) { } -inline PIP_Problem::Rational_Matrix::Rational_Matrix( - dimension_type n_rows, dimension_type n_columns, Row::Flags row_flags): - Matrix(n_rows, n_columns, row_flags), +inline +PIP_Problem::Rational_Matrix::Rational_Matrix(dimension_type n_rows, + dimension_type n_columns, + Row::Flags row_flags) + : Matrix(n_rows, n_columns, row_flags), denominator(1) { } -inline PIP_Problem::Rational_Matrix::Rational_Matrix( - const Rational_Matrix& y): - Matrix(y), +inline +PIP_Problem::Rational_Matrix::Rational_Matrix(const Rational_Matrix& y) + : Matrix(y), denominator(1) { } -inline bool PIP_Problem::Rational_Matrix::is_integer() { +inline bool +PIP_Problem::Rational_Matrix::is_integer() { return denominator == 1; }

1 0

[GIT] ppl/ppl(floating_point): Added a temporary implementation for external method neg_assign.
by Fabio Bossi 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 9b98cc5348d01790871f0c4c12b7cb4cbd46f64d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b98cc5348d0… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 14:05:27 2009 +0200 Added a temporary implementation for external method neg_assign. --- src/Interval.defs.hh | 5 +++++ src/Interval.inlines.hh | 11 +++++++++++ 2 files changed, 16 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index d39505a..b373cba 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -55,6 +55,11 @@ struct Is_Singleton : public Is_Native_Or_Checked<T> {}; template <typename T> struct Is_Interval : public Is_Same_Or_Derived<Interval_Base, T> {}; +// FIXME: This has been added as a workaraound. +template <typename From> +typename Enable_If<Is_Interval<From>::value, I_Result>::type +neg_assign(From& x); + //! A generic, not necessarily closed, possibly restricted interval. /*! \ingroup PPL_CXX_interface The class template type parameter \p Boundary represents the type diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 2db333e..88a0b1e 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -25,6 +25,17 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { +template <typename From> +typename Enable_If<Is_Interval<From>::value, I_Result>::type +neg_assign(From& x) { + // FIXME: Avoid the creation of a temporary. + From y; + typename Enable_If<Is_Interval<From>::value, I_Result>::type res = + y.neg_assign(x); + x = y; + return res; +} + template <typename Boundary, typename Info> inline memory_size_type Interval<Boundary, Info>::external_memory_in_bytes() const {

1 0

[GIT] ppl/ppl(pip): started the implementation of the PIP_Problem class
by François Galea 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: pip Commit: 7bfa97cbb513c4bfecbcb99586bc9599508f98a1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfa97cbb513… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Sep 2 17:57:15 2009 +0200 started the implementation of the PIP_Problem class - defined the PIP_Problem constructors - definition of the rational matrix class - added definition of simplex tableau - created a test program --- configure.ac | 1 + src/PIP_Problem.cc | 48 ++++++++++++++++++++++ src/PIP_Problem.defs.hh | 58 ++++++++++++++++++++++++++- src/PIP_Problem.inlines.hh | 34 ++++++++++++++++ src/PIP_Problem.templates.hh | 84 +++++++++++++++++++++++++++++++++++++++ tests/Makefile.am | 1 + tests/PIP_Problem/Makefile.am | 84 +++++++++++++++++++++++++++++++++++++++ tests/PIP_Problem/pipproblem.cc | 57 ++++++++++++++++++++++++++ 8 files changed, 365 insertions(+), 2 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7bfa97cb…

1 0

[GIT] ppl/ppl(floating_point): Fixed inclusions.
by Fabio Bossi 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 5f28df36c3fa482d5a61b8d020579287f1a05cfa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f28df36c3fa… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 11:52:50 2009 +0200 Fixed inclusions. --- src/Difference_Floating_Point_Expression.defs.hh | 2 +- src/Division_Floating_Point_Expression.defs.hh | 2 +- ...ultiplication_Floating_Point_Expression.defs.hh | 2 +- src/Sum_Floating_Point_Expression.defs.hh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 304e92e..51f1cdb 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Difference_Floating_Point_Expression_defs_hh #define PPL_Difference_Floating_Point_Expression_defs_hh 1 +#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Difference_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map> namespace Parma_Polyhedra_Library { diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index 9a20d0a..6cc0596 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Division_Floating_Point_Expression_defs_hh #define PPL_Division_Floating_Point_Expression_defs_hh 1 +#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Division_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map> namespace Parma_Polyhedra_Library { diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index 6392bcc..9b180f9 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Multiplication_Floating_Point_Expression_defs_hh #define PPL_Multiplication_Floating_Point_Expression_defs_hh 1 +#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Multiplication_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map> namespace Parma_Polyhedra_Library { diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index 57671ef..44a3752 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Sum_Floating_Point_Expression_defs_hh #define PPL_Sum_Floating_Point_Expression_defs_hh 1 +#include "Floating_Point_Expression.defs.hh" #include "globals.defs.hh" #include "Sum_Floating_Point_Expression.types.hh" -#include "Linear_Form.defs.hh" #include <map> namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(floating_point): Fixed inclusion guards.
by Fabio Bossi 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 2eb864c44e26294f1f27a1892042588dbbe7ffd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb864c44e26… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 10:33:31 2009 +0200 Fixed inclusion guards. --- src/Difference_Floating_Point_Expression.types.hh | 2 +- src/Sum_Floating_Point_Expression.types.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Difference_Floating_Point_Expression.types.hh b/src/Difference_Floating_Point_Expression.types.hh index 625a12e..fa64594 100644 --- a/src/Difference_Floating_Point_Expression.types.hh +++ b/src/Difference_Floating_Point_Expression.types.hh @@ -9,7 +9,7 @@ WITHOUT ANY WARRANTY, to the extent permitted by law; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. */ -#ifndef PPL_Multiplication_Floating_Point_Expression_types_hh +#ifndef PPL_Difference_Floating_Point_Expression_types_hh #define PPL_Difference_Floating_Point_Expression_types_hh 1 namespace Parma_Polyhedra_Library { diff --git a/src/Sum_Floating_Point_Expression.types.hh b/src/Sum_Floating_Point_Expression.types.hh index a608f17..b28eb2a 100644 --- a/src/Sum_Floating_Point_Expression.types.hh +++ b/src/Sum_Floating_Point_Expression.types.hh @@ -9,7 +9,7 @@ WITHOUT ANY WARRANTY, to the extent permitted by law; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. */ -#ifndef PPL_Multiplication_Floating_Point_Expression_types_hh +#ifndef PPL_Sum_Floating_Point_Expression_types_hh #define PPL_Sum_Floating_Point_Expression_types_hh 1 namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(floating_point): Added necessary static_cast when computing absolute error.
by Fabio Bossi 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 9e66883a1028866f4924f0adf6a14d4771d0f5e2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e66883a1028… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 10:01:15 2009 +0200 Added necessary static_cast when computing absolute error. --- src/Floating_Point_Expression.defs.hh | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index 0858e94..1db239e 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -85,7 +85,9 @@ public: template <typename FP_Interval_Type, typename FP_Format> typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type Floating_Point_Expression<FP_Interval_Type, FP_Format>::absolute_error = - std::max(pow(2, 1 - FP_Format::exponent_bias - FP_Format::fraction_bits), + std::max(static_cast<typename Floating_Point_Expression<FP_Interval_Type, + FP_Format>::boundary_type> + (pow(2, 1 - FP_Format::exponent_bias - FP_Format::fraction_bits)), std::numeric_limits<typename Floating_Point_Expression<FP_Interval_Type, FP_Format> ::boundary_type>::denorm_min());

1 0

[GIT] ppl/ppl(floating_point): Implemented linearization operator for
by Fabio Bossi 03 Sep '09

03 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 26061d6f25e49ff71d3c99adefd96eec5b5696dd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26061d6f25e4… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Sep 3 09:39:33 2009 +0200 Implemented linearization operator for Division_Floating_Point_Expression. Fixed several typos. --- ...fference_Floating_Point_Expression.templates.hh | 2 +- ...Division_Floating_Point_Expression.templates.hh | 57 ++++++++++++++++++++ src/Makefile.am | 4 ++ ...lication_Floating_Point_Expression.templates.hh | 2 +- src/Sum_Floating_Point_Expression.templates.hh | 2 +- 5 files changed, 64 insertions(+), 3 deletions(-) diff --git a/src/Difference_Floating_Point_Expression.templates.hh b/src/Difference_Floating_Point_Expression.templates.hh index f095c77..43c0bf6 100644 --- a/src/Difference_Floating_Point_Expression.templates.hh +++ b/src/Difference_Floating_Point_Expression.templates.hh @@ -37,7 +37,7 @@ typename Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> FP_Linear_Form linearized_second_operand = second_operand->linearize(store); FP_Interval abs_error = FP_Interval_Type(-absolute_error); // FIXME: this may be incorrect for some policies. - error.join_assign(absolute_error); + abs_error.join_assign(absolute_error); FP_Linear_Form result = linearized_first_operand - linearized_second_operand + relative_error(linearized_first_operand) + relative_error(linearized_second_operand) + diff --git a/src/Division_Floating_Point_Expression.templates.hh b/src/Division_Floating_Point_Expression.templates.hh new file mode 100644 index 0000000..ff2b8b0 --- /dev/null +++ b/src/Division_Floating_Point_Expression.templates.hh @@ -0,0 +1,57 @@ +/* Division_Floating_Point_Expression class implementation: + non-inline template functions. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#ifndef PPL_Division_Floating_Point_Expression_templates_hh +#define PPL_Division_Floating_Point_Expression_templates_hh 1 + +#include "Division_Floating_Point_Expression.defs.hh" + +namespace Parma_Polyhedra_Library { + +template <typename FP_Interval_Type, typename FP_Format> +typename Division_Floating_Point_Expression<FP_Interval_Type, FP_Format> +::FP_Linear_Form Division_Floating_Point_Expression<FP_Interval_Type, + FP_Format> +::linearize(const FP_Interval_Abstract_Store& store) const { + FP_Interval_Type intervalized_second_operand = intervalize( + second_operand->linearize(store)); + // Check if we may divide by zero. + // FIXME: check the assumption that boundary_type is comparable with zero. + if (intervalized_second_operand.lower() <= 0 && + intervalized_second_operand.upper() >= 0) + throw Linearization_Failed(); + + FP_Linear_Form linearized_first_operand = first_operand->linearize(store); + FP_Interval abs_error = FP_Interval_Type(-absolute_error); + // FIXME: this may be incorrect for some policies. + abs_error.join_assign(absolute_error); + FP_Linear_Form result = linearized_first_operand / intervalized_second_operand + + relative_error(linearized_first_operand) / intervalized_second_operand + + abs_eror; + + return result; +} + +} // namespace Parma_Polyhedra_Library + +#endif // !defined(PPL_Division_Floating_Point_Expression_templates_hh) diff --git a/src/Makefile.am b/src/Makefile.am index 048dded..7e1650f 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -363,6 +363,10 @@ Multiplication_Floating_Point_Expression.types.hh \ Multiplication_Floating_Point_Expression.defs.hh \ Multiplication_Floating_Point_Expression.inlines.hh \ Multiplication_Floating_Point_Expression.templates.hh \ +Division_Floating_Point_Expression.types.hh \ +Division_Floating_Point_Expression.defs.hh \ +Division_Floating_Point_Expression.inlines.hh \ +Division_Floating_Point_Expression.templates.hh \ Opposite_Floating_Point_Expression.types.hh \ Opposite_Floating_Point_Expression.defs.hh \ Opposite_Floating_Point_Expression.inlines.hh diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh index 45b71ae..36cd274 100644 --- a/src/Multiplication_Floating_Point_Expression.templates.hh +++ b/src/Multiplication_Floating_Point_Expression.templates.hh @@ -77,7 +77,7 @@ typename Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> FP_Linear_Form result; FP_Interval abs_error = FP_Interval_Type(-absolute_error); // FIXME: this may be incorrect for some policies. - error.join_assign(absolute_error); + abs_error.join_assign(absolute_error); if (intervalize_first) { result = intervalized_first_operand * linearized_second_operand + intervalized_first_operand * relative_error(linearized_second_operand) + diff --git a/src/Sum_Floating_Point_Expression.templates.hh b/src/Sum_Floating_Point_Expression.templates.hh index 646f6f9..5b53b44 100644 --- a/src/Sum_Floating_Point_Expression.templates.hh +++ b/src/Sum_Floating_Point_Expression.templates.hh @@ -36,7 +36,7 @@ typename Sum_Floating_Point_Expression<FP_Interval_Type, FP_Format> FP_Linear_Form linearized_second_operand = second_operand->linearize(store); FP_Interval abs_error = FP_Interval_Type(-absolute_error); // FIXME: this may be incorrect for some policies. - error.join_assign(absolute_error); + abs_error.join_assign(absolute_error); FP_Linear_Form result = linearized_first_operand + linearized_second_operand + relative_error(linearized_first_operand) + relative_error(linearized_second_operand) +

1 0

[GIT] ppl/ppl(floating_point): Added Fabio Biselli to the list of current contributors.
by Roberto Bagnara 02 Sep '09

02 Sep '09

Module: ppl/ppl Branch: floating_point Commit: d2bd25f15c03600bc91264783bcdf3a4afd42cdf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2bd25f15c03… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 2 17:15:12 2009 +0200 Added Fabio Biselli to the list of current contributors. --- CREDITS | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/CREDITS b/CREDITS index 2f76e24..1df21ca 100644 --- a/CREDITS +++ b/CREDITS @@ -35,6 +35,10 @@ Current Contributors: intervals. He also helps on several other design and implementation issues. + Fabio Biselli (student of the University of Parma) + is working on the PPL support for the approximation + of floating point computations. + Fabio Bossi (student of the University of Parma) is working on the PPL support for the approximation of floating point computations.

1 0

[GIT] ppl/ppl(floating_point): Added linearization operator for
by Fabio Bossi 02 Sep '09

02 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 8839824bc84d7304ff5c9ca801d595f8fe7cede5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8839824bc84d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Wed Sep 2 18:07:24 2009 +0200 Added linearization operator for Multiplication_Floating_Point_Expression. Several other corrections and improvements. --- ...fference_Floating_Point_Expression.templates.hh | 3 +- src/Division_Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.defs.hh | 7 +- src/Floating_Point_Expression.templates.hh | 7 +- src/Makefile.am | 4 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 97 ++++++++++++++++++++ src/Opposite_Floating_Point_Expression.inlines.hh | 2 +- src/Sum_Floating_Point_Expression.templates.hh | 3 +- 9 files changed, 114 insertions(+), 11 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8839824b…

1 0