- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Replaced Integer_Interval_Type with
by Fabio Bossi 30 Nov '10

30 Nov '10

Module: ppl/ppl Branch: floating_point Commit: bc3470cb464da6bb770fd174664ee242a454e528 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc3470cb464d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 16:02:05 2010 +0100 Replaced Integer_Interval_Type with Integer_Interval in tests. --- tests/Concrete_Expression/C_Expr.defs.hh | 8 ++++---- tests/Concrete_Expression/C_Expr.inlines.hh | 4 ++-- tests/Concrete_Expression/digitalfilters1.cc | 2 +- tests/Concrete_Expression/linearize.cc | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index 32104eb..6588586 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -184,7 +184,7 @@ class Integer_Constant<C_Expr> public: //! Constructor from type and value. Integer_Constant<C_Expr>(Concrete_Expression_Type type, - const Integer_Interval_Type& val); + const Integer_Interval& val); //! Do-nothing destructor. ~Integer_Constant<C_Expr>(); @@ -196,7 +196,7 @@ public: enum { KIND = INT_CON }; //! An interval in which the value of the constant falls. - Integer_Interval_Type value; + Integer_Interval value; }; template <> @@ -229,7 +229,7 @@ class Approximable_Reference<C_Expr> public: //! Builds a reference to the entity having the given index. Approximable_Reference<C_Expr>(Concrete_Expression_Type type, - const Integer_Interval_Type& val, + const Integer_Interval& val, dimension_type index); //! Do-nothing destructor. @@ -242,7 +242,7 @@ public: enum { KIND = APPROX_REF }; //! An interval in which the referenced entity's value falls. - Integer_Interval_Type value; + Integer_Interval value; //! The set of possible indexes for the referenced entity. std::set<dimension_type> dimensions; diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index d12ccd5..78ff5a0 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -133,7 +133,7 @@ Cast_Operator<C_Expr>::argument() const { inline Integer_Constant<C_Expr>:: Integer_Constant(Concrete_Expression_Type type, - const Integer_Interval_Type& val) + const Integer_Interval& val) : Concrete_Expression<C_Expr>(type, INT_CON), value(val) { } @@ -164,7 +164,7 @@ Floating_Point_Constant<C_Expr>::type() const { inline Approximable_Reference<C_Expr>:: Approximable_Reference(Concrete_Expression_Type type, - const Integer_Interval_Type& val, + const Integer_Interval& val, dimension_type index) : Concrete_Expression<C_Expr>(type, APPROX_REF), value(val), diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index 1163e2a..2c31ae1 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -72,7 +72,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators; Concrete_Expression_Type FP_Type = Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); -typedef Integer_Interval_Type Int_Interval; +typedef Integer_Interval Int_Interval; /* This file tests a rate limiter that, given random input flows of floating diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index 26dcf0e..1dc3e14 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -72,7 +72,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators; Concrete_Expression_Type FP_Type = Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); -typedef Integer_Interval_Type Int_Interval; +typedef Integer_Interval Int_Interval; // Tests division by zero. bool

1 0

[GIT] ppl/ppl(floating_point): Fixed a few cut-and-paste errors in the
by Fabio Bossi 30 Nov '10

30 Nov '10

Module: ppl/ppl Branch: floating_point Commit: a2cddb4672ba7b3a892527573b00f4764708f220 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2cddb4672ba… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:39:19 2010 +0100 Fixed a few cut-and-paste errors in the documentation. --- src/linearize.hh | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index 48f55fa..36ee49a 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -46,7 +46,7 @@ namespace Parma_Polyhedra_Library { Makes \p result become the linearization of \p *this in the given composite abstract store. - \param expr The binary operator concrete expression to linearize. + \param bop_expr The binary operator concrete expression to linearize. Its binary operator type must be <CODE>ADD</CODE>. \param oracle The FP_Oracle to be queried. \param lf_store The linear form abstract store. @@ -146,7 +146,7 @@ add_linearize(const Binary_Operator<Target>& bop_expr, Makes \p result become the linearization of \p *this in the given composite abstract store. - \param expr The binary operator concrete expression to linearize. + \param bop_expr The binary operator concrete expression to linearize. Its binary operator type must be <CODE>SUB</CODE>. \param oracle The FP_Oracle to be queried. \param lf_store The linear form abstract store. @@ -252,7 +252,7 @@ sub_linearize(const Binary_Operator<Target>& bop_expr, Makes \p result become the linearization of \p *this in the given composite abstract store. - \param expr The binary operator concrete expression to linearize. + \param bop_expr The binary operator concrete expression to linearize. Its binary operator type must be <CODE>MUL</CODE>. \param oracle The FP_Oracle to be queried. \param lf_store The linear form abstract store. @@ -441,7 +441,7 @@ mul_linearize(const Binary_Operator<Target>& bop_expr, Makes \p result become the linearization of \p *this in the given composite abstract store. - \param expr The binary operator concrete expression to linearize. + \param bop_expr The binary operator concrete expression to linearize. Its binary operator type must be <CODE>DIV</CODE>. \param oracle The FP_Oracle to be queried. \param lf_store The linear form abstract store. @@ -574,7 +574,7 @@ div_linearize(const Binary_Operator<Target>& bop_expr, Makes \p result become the linearization of \p *this in the given composite abstract store. - \param expr The cast operator concrete expression to linearize. + \param cast_expr The cast operator concrete expression to linearize. \param oracle The FP_Oracle to be queried. \param lf_store The linear form abstract store. \param result The modified linear form.

1 0

[GIT] ppl/ppl(floating_point): Renamed Integer_Interval_Type into Integer_Interval
by Fabio Bossi 30 Nov '10

30 Nov '10

Module: ppl/ppl Branch: floating_point Commit: fbfb2232f9296687e66d16da67b3f5ccfc8b48b6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbfb2232f929… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Nov 30 15:29:01 2010 +0100 Renamed Integer_Interval_Type into Integer_Interval and moved it to Integer_Interval.hh. --- doc/devref.doxyconf-html.in | 2 + src/Concrete_Expression.defs.hh | 19 ------------- src/Integer_Interval.hh | 55 +++++++++++++++++++++++++++++++++++++++ src/Makefile.am | 1 + 4 files changed, 58 insertions(+), 19 deletions(-) diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index c2dc731..99bfb68 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -179,6 +179,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Bit_Matrix.defs.hh \ @srcdir@/../src/Bit_Matrix.inlines.hh \ @srcdir@/../src/Bit_Matrix.cc \ + @srcdir@/../src/Integer_Interval.hh \ @srcdir@/../src/Variable.types.hh \ @srcdir@/../src/Variable.defs.hh \ @srcdir@/../src/Variable.inlines.hh \ @@ -191,6 +192,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Linear_Expression.defs.hh \ @srcdir@/../src/Linear_Expression.inlines.hh \ @srcdir@/../src/Linear_Expression.cc \ + @srcdir@/../src/Rational_Interval.hh \ @srcdir@/../src/Constraint.types.hh \ @srcdir@/../src/Constraint.defs.hh \ @srcdir@/../src/Constraint.inlines.hh \ diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index 4f02260..c71b122 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -116,25 +116,6 @@ private: Implementation impl; }; -struct Integer_Interval_Info_Policy { - const_bool_nodef(store_special, true); - const_bool_nodef(store_open, false); - const_bool_nodef(cache_empty, true); - const_bool_nodef(cache_singleton, true); - const_bool_nodef(cache_normalized, false); - const_int_nodef(next_bit, 0); - const_bool_nodef(may_be_empty, true); - const_bool_nodef(may_contain_infinity, false); - const_bool_nodef(check_empty_result, false); - const_bool_nodef(check_inexact, false); -}; - -typedef Interval_Restriction_None -<Interval_Info_Bitset<unsigned int, Integer_Interval_Info_Policy> > -Integer_Interval_Info; - -typedef Interval<mpz_class, Integer_Interval_Info> Integer_Interval_Type; - template <typename Target> class Concrete_Expression_Common { public: diff --git a/src/Integer_Interval.hh b/src/Integer_Interval.hh new file mode 100644 index 0000000..f4ea09e --- /dev/null +++ b/src/Integer_Interval.hh @@ -0,0 +1,55 @@ +/* Integer_Interval class declaration and implementation. + Copyright (C) 2001-2010 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_Integer_Interval_hh +#define PPL_Integer_Interval_hh 1 + +#include "Interval.defs.hh" +#include <gmpxx.h> + +namespace Parma_Polyhedra_Library { + +struct Integer_Interval_Info_Policy { + const_bool_nodef(store_special, true); + const_bool_nodef(store_open, false); + const_bool_nodef(cache_empty, true); + const_bool_nodef(cache_singleton, true); + const_bool_nodef(cache_normalized, false); + const_int_nodef(next_bit, 0); + const_bool_nodef(may_be_empty, true); + const_bool_nodef(may_contain_infinity, false); + const_bool_nodef(check_empty_result, false); + const_bool_nodef(check_inexact, false); +}; + +typedef Interval_Restriction_None +<Interval_Info_Bitset<unsigned int, Integer_Interval_Info_Policy> > +Integer_Interval_Info; + +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS +//! An interval with integral, necessarily closed boundaries. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) +typedef Interval<mpz_class, Integer_Interval_Info> Integer_Interval; + +} // namespace Parma_Polyhedra_Library + +#endif // !defined(PPL_Integer_Interval_hh) diff --git a/src/Makefile.am b/src/Makefile.am index a2aaf54..04f30cb 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -234,6 +234,7 @@ Box.defs.hh \ Box_Status.inlines.hh \ Box.inlines.hh \ Box.templates.hh \ +Integer_Interval.hh \ Rational_Interval.hh \ Rational_Box.hh \ Variable.defs.hh \

1 0

[GIT] ppl/w3ppl(master): Added Andre10.
by Roberto Bagnara 20 Nov '10

20 Nov '10

Module: ppl/w3ppl Branch: master Commit: 2bdd713bdeee2aeab432a90ce9c9647bb5f1a432 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2bdd713bde… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 20 16:44:06 2010 +0100 Added Andre10. --- htdocs/Documentation/ppl_citations.bib | 30 ++++++++++++++++++++++++++++++ 1 files changed, 30 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 8cc053d..266f424 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -143,6 +143,36 @@ demo model from Mathworks." } +@Inproceedings{Andre10, + Author = "{\'E}. Andr{\'e}", + Title = "{IMITATOR~II}: + A Tool for Solving the Good Parameters Problem in Timed Automata", + Booktitle = "Proceedings of the 12th International Workshop + on Verification of Infinite State Systems (INFINITY'10)", + Editor = "Y.-F. Chen and A. Rezine", + Address = "Singapore", + Pages = "91--99", + Series = "Electronic Proceedings in Theoretical Computer Science", + Volume = 39, + Year = 2010, + URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/andre-infinity10.pdf", + Abstract = "We present here \textsc{Imitator}~II, a new version of + \textsc{Imitator}, a tool implementing the ``inverse + method'' for parametric timed automata: given a reference + valuation of the parameters, it synthesizes a constraint + such that, for any valuation satisfying this constraint, + the system behaves the same as under the reference + valuation in terms of traces, i.e., alternating sequences + of locations and actions. \textsc{Imitator}~II also + implements the ``behavioral cartography algorithm'', + allowing us to solve the following good parameters + problem: find a set of valuations within a given bounded + parametric domain for which the system behaves well. We + present new features and optimizations of the tool, and + give results of applications to various examples of + asynchronous circuits and communication protocols." +} + @Inproceedings{ArmandoBM07, Author = "A. Armando and M. Benerecetti and J. Mantovani", Title = "Abstraction Refinement of Linear Programs with Arrays",

1 0

[GIT] ppl/ppl(floating_point): Use ldexp instead of ldexpl for portability reasons.
by Fabio Bossi 18 Nov '10

18 Nov '10

Module: ppl/ppl Branch: floating_point Commit: ccd1b4957f96cb0988f3cf67602425907acc0acc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd1b4957f96… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Nov 18 19:32:59 2010 +0100 Use ldexp instead of ldexpl for portability reasons. --- src/Float.templates.hh | 2 +- src/Linear_Form.templates.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Float.templates.hh b/src/Float.templates.hh index 8560530..3f88741 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -114,7 +114,7 @@ const FP_Interval_Type& compute_absolute_error( // We assume that f_base is a power of 2. analyzer_format omega; int power = ld2(f_base) * (1 - f_exponent_bias - f_mantissa_bits); - omega = std::max(static_cast<analyzer_format>(ldexpl(1.0, power)), + omega = std::max(static_cast<analyzer_format>(ldexp(1.0, power)), std::numeric_limits<analyzer_format>::denorm_min()); to_compute->build(i_constraint(GREATER_OR_EQUAL, -omega), diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 32fb9cc..408868e 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -421,7 +421,7 @@ Linear_Form<C>::relative_error( C error_propagator; // We assume that f_base is a power of 2. int power = ld2(f_base) * (-f_mantissa_bits); - analyzer_format lb = -static_cast<analyzer_format>(ldexpl(1.0, power)); + analyzer_format lb = -static_cast<analyzer_format>(ldexp(1.0, power)); error_propagator.build(i_constraint(GREATER_OR_EQUAL, lb), i_constraint(LESS_OR_EQUAL, -lb));

1 0

[GIT] ppl/w3ppl(master): Copy-and-paste mistake fixed.
by Roberto Bagnara 17 Nov '10

17 Nov '10

Module: ppl/w3ppl Branch: master Commit: 4a02b3882786ca8159b0231cdd1f3d179f621361 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=4a02b38827… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 17 20:02:47 2010 +0100 Copy-and-paste mistake fixed. --- htdocs/ppl.raw | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 6847965..eb566d3 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -50,6 +50,9 @@ version 3</A> or any later version). <TABLE> +<TR> + <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> + <TD> Two in one shot! Fabio Bossi got a Master's degree in Computer Science, with full marks

1 0

[GIT] ppl/w3ppl(master): Announced the graduation of Fabio Bossi and Marco Poletti.
by Roberto Bagnara 17 Nov '10

17 Nov '10

Module: ppl/w3ppl Branch: master Commit: b0e57d5cf684f01b0201fa0d6c8cecca6b502668 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=b0e57d5cf6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 17 19:59:39 2010 +0100 Announced the graduation of Fabio Bossi and Marco Poletti. --- htdocs/news.raw | 18 ++++++++++++++++++ htdocs/ppl.raw | 30 ++++++++++++++++-------------- 2 files changed, 34 insertions(+), 14 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index 5a0b644..cc78ff6 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,24 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Nov 17, 2010</TT></TD> + <TD> + Two in one shot! + + Fabio Bossi got a Master's degree in Computer Science, with full marks + and honours and a thesis about the extensions he made to the PPL and + to the ECLAIR analyzer in order to support the correct approximation of + floating-point computations. + + Marco Poletti got a Laurea degree in Computer Science, with full marks + and honours and a thesis about his work on the sparse matrices that + are used in the MIP and PIP solvers of the PPL. + + Congratulations, Dottor2 Bossi and Dottor Poletti! + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD> <TD> PPL 0.11 has been released diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 2436a7d..6847965 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -50,10 +50,25 @@ version 3</A> or any later version). <TABLE> + Two in one shot! + + Fabio Bossi got a Master's degree in Computer Science, with full marks + and honours and a thesis about the extensions he made to the PPL and + to the ECLAIR analyzer in order to support the correct approximation of + floating-point computations. + + Marco Poletti got a Laurea degree in Computer Science, with full marks + and honours and a thesis about his work on the sparse matrices that + are used in the MIP and PIP solvers of the PPL. + + Congratulations, Dottor2 Bossi and Dottor Poletti! + </TD> +</TR> + <TR> <TD VALIGN=TOP><TT>Aug 02, 2010</TT></TD> <TD> - PPL 0.11 has been released + PPL 0.11 has been released This release features a brand new Parametric Integer Programming (PIP) problem solver, "deterministic" timeout computation @@ -65,19 +80,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD> - <TD> - The PPL has now a bug tracking system - - We have finally got round to setting up a - <A - HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. - Users and developers are now strongly encouraged to use it - for communicating, commenting and keeping track of all PPL issues. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.

1 0

Use of ldexpl() in the floating_point branch
by Roberto Bagnara 16 Nov '10

16 Nov '10

Fabio, I saw that we use ldexpl() twice in the floating_point branch. However: 1) that function is not available on several platforms; 2) in both cases we pass an argument of type double as the first argument; 3) it seems we use that function in a way that is not conditional on the floating-point format(s) involved. When you have time, can you please look at this issue? Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory 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): Inclusions of <cmath> fixed.
by Roberto Bagnara 16 Nov '10

16 Nov '10

Module: ppl/ppl Branch: floating_point Commit: b54b6858aa0f2e5825a24a8ce9662f3c170c8a4f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b54b6858aa0f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 16 18:41:21 2010 +0100 Inclusions of <cmath> fixed. --- src/Float.templates.hh | 2 +- src/Linear_Form.templates.hh | 1 + 2 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/Float.templates.hh b/src/Float.templates.hh index fe7219c..8560530 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -24,9 +24,9 @@ site: http://www.cs.unipr.it/ppl/ . */ #ifndef PPL_Float_templates_hh #define PPL_Float_templates_hh 1 -#include <cmath> #include "Variable.defs.hh" #include "Linear_Form.defs.hh" +#include <cmath> namespace Parma_Polyhedra_Library { diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 40ba132..32fb9cc 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -28,6 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Box.defs.hh" #include <stdexcept> #include <iostream> +#include <cmath> namespace Parma_Polyhedra_Library {

1 0

Fwd: RE: ppl-0.11 configure warning
by Roberto Bagnara 11 Nov '10

11 Nov '10

-------- Original Message -------- Subject: RE: [PPL-devel] ppl-0.11 configure warning Date: Wed, 10 Nov 2010 20:51:54 -0800 From: Livingstone, Paul@ARB <plivings(a)arb.ca.gov> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Dear Prof. Bagnara, Thanks for your fast response. Following instructions from web search, I have got through the installation of ppl library. Ciao, Paul Dr. Paul Livingstone Staff Air Pollution Specialist California Air Resources Board Sacramento, CA 95812 Phone: (916) 327-8543 -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Monday, November 08, 2010 11:30 PM To: Livingstone, Paul@ARB Cc: ppl-devel(a)cs.unipr.it Subject: Re: [PPL-devel] ppl-0.11 configure warning On 11/08/10 22:33, Livingstone, Paul@ARB wrote: > Following the instructions in the config.log from configuring > PPL-0.11 for updating gcc on a linux machine running Redhat Linux OS > version 5.4, I am reporting that there were warnings on the > following five header files: > > (1) fenv.h > > (2) getopt.h > > (3) signal.h > > (4) sys/resource.h > > (5) sys/time.h > > The warning messages were: "present but cannot be compiled\n check > for missing prerequisite headers?\n see the Autoconf documentation\n > section "Present But Cannot Be Compiled"\n proceeding with the > compiler's result\n" Dear Paul, the config.log file should contain more information about what is going wrong. If in doubt, please compress it and send it to us. Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0