- PPL-devel - BUGSENG Mailman

ppl test failures on mac
by Mark A. McLaughlin 07 Oct '12

07 Oct '12

make check-TESTS PASS: C_Expr PASS: linearform1 PASS: linearize PASS: digitalfilters1 PASS: bdshape1 PASS: bdshape2 PASS: octagonalshape1 PASS: octagonalshape2 tests failed: test04 test05 FAIL: polyhedron1 tests failed: test04 test05 FAIL: polyhedron2 ====================================== 2 of 10 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== I just download, configured, compiled, and tested ppl-1.0. Two of the tests failed (as listed above). The messages states that I should report this. I used this configuration: ./configure --prefix=/usr/local --exec-prefix=/usr/local Here is my machine configuration: Model Name: MacBook Pro Model Identifier: MacBookPro6,2 Processor Name: Intel Core i7 Processor Speed: 2.66 GHz Number of Processors: 1 Total Number of Cores: 2 L2 Cache (per Core): 256 KB L3 Cache: 4 MB Memory: 8 GB Processor Interconnect Speed: 4.8 GT/s Boot ROM Version: MBP61.0057.B0F SMC Version (system): 1.58f16 Operating System: OS X 10.8.2 % uname -a Darwin mcwindows7 12.2.0 Darwin Kernel Version 12.2.0: Sat Aug 25 00:48:52 PDT 2012; root:xnu-2050.18.24~1/RELEASE_X86_64 x86_64 % gcc -v Using built-in specs. Target: i686-apple-darwin11 Configured with: /private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/src/configure --disable-checking --enable-werror --prefix=/Applications/Xcode.app/Contents/Developer/usr/llvm-gcc-4.2 --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-prefix=llvm- --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin11 --enable-llvm=/private/var/tmp/llvmgcc42/llvmgcc42-2336.11~67/dst-llvmCore/Developer/usr/local --program-prefix=i686-apple-darwin11- --host=x86_64-apple-darwin11 --target=i686-apple-darwin11 --with-gxx-include-dir=/usr/include/c++/4.2.1 Thread model: posix gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) GMP 5.0.5

2 2

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

07 Oct '12

Module: ppl/ppl Branch: master Commit: 0ec237e8ea17a9493415e1ed0f73084c8395201b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec237e8ea17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 7 15:47:56 2012 +0200 Updated. --- config.guess | 13 ++++++++----- config.sub | 12 ++++++++---- 2 files changed, 16 insertions(+), 9 deletions(-) diff --git a/config.guess b/config.guess index aa04f04..872b96a 100755 --- a/config.guess +++ b/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-06-17' +timestamp='2012-09-25' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -306,7 +306,7 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in arm:RISC*:1.[012]*:*|arm:riscix:1.[012]*:*) echo arm-acorn-riscix${UNAME_RELEASE} exit ;; - arm:riscos:*:*|arm:RISCOS:*:*) + arm*:riscos:*:*|arm*:RISCOS:*:*) echo arm-unknown-riscos exit ;; SR2?01:HI-UX/MPP:*:* | SR8000:HI-UX/MPP:*:*) @@ -805,6 +805,9 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; + *:MINGW64*:*) + echo ${UNAME_MACHINE}-pc-mingw64 + exit ;; *:MINGW*:*) echo ${UNAME_MACHINE}-pc-mingw32 exit ;; @@ -1205,6 +1208,9 @@ EOF BePC:Haiku:*:*) # Haiku running on Intel PC compatible. echo i586-pc-haiku exit ;; + x86_64:Haiku:*:*) + echo x86_64-unknown-haiku + exit ;; SX-4:SUPER-UX:*:*) echo sx4-nec-superux${UNAME_RELEASE} exit ;; @@ -1334,9 +1340,6 @@ EOF exit ;; esac -#echo '(No uname command or uname output not recognized.)' 1>&2 -#echo "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" 1>&2 - eval $set_cc_for_build cat >$dummy.c <<EOF #ifdef _SEQUENT_ diff --git a/config.sub b/config.sub index aa2cf19..bdda9e4 100755 --- a/config.sub +++ b/config.sub @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011, 2012 Free Software Foundation, Inc. -timestamp='2012-06-17' +timestamp='2012-08-18' # This file is (in principle) common to ALL GNU software. # The presence of a machine in this file suggests that SOME GNU software @@ -123,7 +123,7 @@ esac maybe_os=`echo $1 | sed 's/^$.*$-$[^-]*-[^-]*$$/\2/'` case $maybe_os in nto-qnx* | linux-gnu* | linux-android* | linux-dietlibc | linux-newlib* | \ - linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \ + linux-musl* | linux-uclibc* | uclinux-uclibc* | uclinux-gnu* | kfreebsd*-gnu* | \ knetbsd*-gnu* | netbsd*-gnu* | \ kopensolaris*-gnu* | \ storm-chaos* | os2-emx* | rtmk-nova*) @@ -791,6 +791,10 @@ case $basic_machine in microblaze) basic_machine=microblaze-xilinx ;; + mingw64) + basic_machine=x86_64-pc + os=-mingw64 + ;; mingw32) basic_machine=i386-pc os=-mingw32 @@ -1359,8 +1363,8 @@ case $os in | -udi* | -eabi* | -lites* | -ieee* | -go32* | -aux* \ | -chorusos* | -chorusrdb* | -cegcc* \ | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \ - | -mingw32* | -linux-gnu* | -linux-android* \ - | -linux-newlib* | -linux-uclibc* \ + | -mingw32* | -mingw64* | -linux-gnu* | -linux-android* \ + | -linux-newlib* | -linux-musl* | -linux-uclibc* \ | -uxpv* | -beos* | -mpeix* | -udk* \ | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \ | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \

1 0

[GIT] ppl/ppl(master): EList is not Watchdog specific. Avoided needless naming incongruences.
by Abramo Bagnara 20 Sep '12

20 Sep '12

Module: ppl/ppl Branch: master Commit: 70de9a08c091b297579b08d5c578682292ba7323 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70de9a08c091… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Thu Sep 20 18:33:46 2012 +0200 EList is not Watchdog specific. Avoided needless naming incongruences. --- src/Doubly_Linked_Object_defs.hh | 2 +- src/Doubly_Linked_Object_inlines.hh | 4 - src/Doubly_Linked_Object_types.hh | 4 - src/EList_Iterator_defs.hh | 6 +- src/EList_Iterator_inlines.hh | 4 - src/EList_Iterator_types.hh | 4 - src/EList_defs.hh | 18 +- src/EList_inlines.hh | 36 ++-- src/EList_types.hh | 4 - src/Octagonal_Shape_templates.hh | 418 +++++++++++++++++----------------- src/Pending_List_defs.hh | 12 +- src/Pending_List_inlines.hh | 10 +- src/Pending_List_templates.hh | 14 +- src/Threshold_Watcher_defs.hh | 8 +- src/Threshold_Watcher_templates.hh | 10 +- src/Watchdog.cc | 10 +- src/Watchdog_defs.hh | 6 +- 17 files changed, 271 insertions(+), 299 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=70de9a08…

1 0

FW: compilation error
by Hugo Gomes 06 Sep '12

06 Sep '12

Not possible, the reason why i want install PPL is because im trying to update gcc and it asks PPL ;) It should be a way to install PPL on Gcc 4.11 ... Hugo Gomes > Date: Wed, 5 Sep 2012 19:23:08 +0200 > From: bagnara(a)cs.unipr.it > To: ppl-devel(a)cs.unipr.it > CC: hggomes(a)hotmail.com > Subject: Re: [PPL-devel] compilation error > > On 09/05/12 14:45, Hugo Gomes wrote: > > Hi Roberto, > > > > Here it is the new error: > > > > make all-am > > make[3]: Entering directory `/opt/ppl-1.1pre3/src' > > /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c -o PIP_Tree.lo PIP_Tree.cc > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c PIP_Tree.cc -fPIC -DPIC -o .libs/PIP_Tree.o > > Linear_Expression_inlines.hh: In constructor 'Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter::Artificial_Parameter(const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)': > > Linear_Expression_inlines.hh:445: error: 'Parma_Polyhedra_Library::Coefficient Parma_Polyhedra_Library::Linear_Expression::gcd(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type) const' is private > > PIP_Tree.cc:897: error: within this context > > Linear_Expression_inlines.hh:452: error: 'void Parma_Polyhedra_Library::Linear_Expression::exact_div_assign(const Parma_Polyhedra_Library::GMP_Integer&, Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type)' is private > > PIP_Tree.cc:912: error: within this context > > make[3]: *** [PIP_Tree.lo] Error 1 > > make[3]: Leaving directory `/opt/ppl-1.1pre3/src' > > make[2]: *** [all] Error 2 > > make[2]: Leaving directory `/opt/ppl-1.1pre3/src' > > make[1]: *** [all-recursive] Error 1 > > make[1]: Leaving directory `/opt/ppl-1.1pre3' > > make: *** [all] Error 2 > > Dear Hugo, > > I am afraid you stumbled upon a bug of GCC 4.1.1. > Can you please upgrade to a later GCC version and > retry? > Thanks, > > Roberto > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics and Computer Science, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it

3 2

Re: [PPL-devel] compilation error
by Hugo Gomes 05 Sep '12

05 Sep '12

Hi Roberto, Here it is the new error: make all-am make[3]: Entering directory `/opt/ppl-1.1pre3/src' /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c -o PIP_Tree.lo PIP_Tree.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c PIP_Tree.cc -fPIC -DPIC -o .libs/PIP_Tree.o Linear_Expression_inlines.hh: In constructor 'Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter::Artificial_Parameter(const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)': Linear_Expression_inlines.hh:445: error: 'Parma_Polyhedra_Library::Coefficient Parma_Polyhedra_Library::Linear_Expression::gcd(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type) const' is private PIP_Tree.cc:897: error: within this context Linear_Expression_inlines.hh:452: error: 'void Parma_Polyhedra_Library::Linear_Expression::exact_div_assign(const Parma_Polyhedra_Library::GMP_Integer&, Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type)' is private PIP_Tree.cc:912: error: within this contextmake[3]: *** [PIP_Tree.lo] Error 1 make[3]: Leaving directory `/opt/ppl-1.1pre3/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/opt/ppl-1.1pre3/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/opt/ppl-1.1pre3' make: *** [all] Error 2 Thanks alot,Hugo Gomes

2 3

[GIT] ppl/ppl(master): Fixed several Doxygen warnings.
by Enea Zaffanella 05 Sep '12

05 Sep '12

Module: ppl/ppl Branch: master Commit: 5572ab3e057147db50a731e35136bbdea36f587e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5572ab3e0571… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Sep 5 14:18:09 2012 +0200 Fixed several Doxygen warnings. --- src/BD_Shape_defs.hh | 19 ++++++++++--------- src/Concrete_Expression_types.hh | 30 +++++++++++++++--------------- src/Partially_Reduced_Product_defs.hh | 2 +- 3 files changed, 26 insertions(+), 25 deletions(-) diff --git a/src/BD_Shape_defs.hh b/src/BD_Shape_defs.hh index cf5d24b..891c122 100644 --- a/src/BD_Shape_defs.hh +++ b/src/BD_Shape_defs.hh @@ -2216,7 +2216,7 @@ private: /*! \brief Auxiliary function for \ref affine_form_relation "affine form image" that - handle the general case: \f$l \equal c\f$ + handle the general case: \f$l = c\f$ */ template <typename Interval_Info> void inhomogeneous_affine_form_image(const dimension_type& var_id, @@ -2224,7 +2224,7 @@ private: /*! \brief Auxiliary function for \ref affine_form_relation "affine form - image" that handle the general case: \f$l \equal ax + c\f$ + image" that handle the general case: \f$l = ax + c\f$ */ template <typename Interval_Info> void one_variable_affine_form_image @@ -2236,7 +2236,7 @@ private: /*! \brief Auxiliary function for \ref affine_form_relation "affine form image" that - handle the general case: \f$l \equal ax + by + c\f$ + handle the general case: \f$l = ax + by + c\f$ */ template <typename Interval_Info> void two_variables_affine_form_image @@ -2246,17 +2246,18 @@ private: /*! \brief Auxiliary function for refine with linear form that handle - the general case: \f$l \equal ax + c\f$ + the general case: \f$l = ax + c\f$ */ template <typename Interval_Info> - void left_inhomogeneous_refine(const dimension_type& right_t, - const dimension_type& right_w_id, - const Linear_Form<Interval<T, Interval_Info> >& left, - const Linear_Form<Interval<T, Interval_Info> >& right); + void left_inhomogeneous_refine + (const dimension_type& right_t, + const dimension_type& right_w_id, + const Linear_Form<Interval<T, Interval_Info> >& left, + const Linear_Form<Interval<T, Interval_Info> >& right); /*! \brief Auxiliary function for refine with linear form that handle - the general case: \f$ax +b \equal cy + d\f$ + the general case: \f$ax + b = cy + d\f$ */ template <typename Interval_Info> void left_one_var_refine diff --git a/src/Concrete_Expression_types.hh b/src/Concrete_Expression_types.hh index 12f3b7d..c15a98e 100644 --- a/src/Concrete_Expression_types.hh +++ b/src/Concrete_Expression_types.hh @@ -21,44 +21,44 @@ namespace Parma_Polyhedra_Library { This justifies (here below) the explicit use of Doxygen command \class. */ -/*! \class Parma_Polyhedra_Library::Concrete_Expression \brief - The base class of all concrete expressions. +/*! \brief The base class of all concrete expressions. + \class Parma_Polyhedra_Library::Concrete_Expression */ template <typename Target> class Concrete_Expression; -/*! \class Parma_Polyhedra_Library::Binary_Operator \brief - A binary operator applied to two concrete expressions. +/*! \brief A binary operator applied to two concrete expressions. + \class Parma_Polyhedra_Library::Binary_Operator */ template <typename Target> class Binary_Operator; -/*! \class Parma_Polyhedra_Library::Unary_Operator \brief - A unary operator applied to one concrete expression. +/*! \brief A unary operator applied to one concrete expression. + \class Parma_Polyhedra_Library::Unary_Operator */ template <typename Target> class Unary_Operator; -/*! \class Parma_Polyhedra_Library::Cast_Operator \brief - A cast operator converting one concrete expression to some type. +/*! \brief A cast operator converting one concrete expression to some type. + \class Parma_Polyhedra_Library::Cast_Operator */ template <typename Target> class Cast_Operator; -/*! \class Parma_Polyhedra_Library::Integer_Constant \brief - An integer constant concrete expression. +/*! \brief An integer constant concrete expression. + \class Parma_Polyhedra_Library::Integer_Constant */ template <typename Target> class Integer_Constant; -/*! \class Parma_Polyhedra_Library::Floating_Point_Constant \brief - A floating-point constant concrete expression. +/*! \brief A floating-point constant concrete expression. + \class Parma_Polyhedra_Library::Floating_Point_Constant */ template <typename Target> class Floating_Point_Constant; -/*! \class Parma_Polyhedra_Library::Approximable_Reference \brief - A concrete expression representing a reference to some approximable. +/*! \brief A concrete expression representing a reference to some approximable. + \class Parma_Polyhedra_Library::Approximable_Reference */ template <typename Target> class Approximable_Reference; @@ -73,7 +73,7 @@ class Concrete_Expression_Type; Cast_Operator, Integer_Constant, Floating_Point_Constant, or Approximable_Reference. For example, the Binary_Operator kind integer constant should be defined by an instance as the member - <CODE>Binary_Operator\<T\>::KIND</CODE> + <CODE>Binary_Operator\<T\>::%KIND</CODE>. */ typedef int Concrete_Expression_Kind; diff --git a/src/Partially_Reduced_Product_defs.hh b/src/Partially_Reduced_Product_defs.hh index 3287029..2916f72 100644 --- a/src/Partially_Reduced_Product_defs.hh +++ b/src/Partially_Reduced_Product_defs.hh @@ -1659,7 +1659,7 @@ namespace Parma_Polyhedra_Library { be supported in C++. When template typedefs will be supported in C++, what now is verbosely - denoted by <CODE>Domain_Product\<Domain1, Domain2\>::Direct_Product</CODE> + denoted by <CODE>Domain_Product\<Domain1, Domain2\>::%Direct_Product</CODE> will simply be denoted by <CODE>Direct_Product\<Domain1, Domain2\></CODE>. */ template <typename D1, typename D2>

1 0

Re: [PPL-devel] compilation error
by Hugo Gomes 05 Sep '12

05 Sep '12

Sorry don't even noticed i had reply to other email ;) I'm testing at this right moment, i guess on the next minutes i will have some news, if not i will send config.log file. Tks once again, Hugo Gomes > Date: Wed, 5 Sep 2012 13:41:37 +0200 > From: bagnara(a)cs.unipr.it > To: hggomes(a)hotmail.com > Subject: Re: [PPL-devel] compilation error > > On 09/05/12 13:34, Hugo Gomes wrote: > > Hi Roberto, > > > > Thanks alot i will try and report to you. > > It's better if you report to ppl-devel(a)cs.unipr.it. > Cheers, > > Roberto > > > > Date: Wed, 5 Sep 2012 09:37:39 +0200 > > > From: bagnara(a)cs.unipr.it > > > To: ppl-devel(a)cs.unipr.it > > > CC: hggomes(a)hotmail.com > > > Subject: Re: [PPL-devel] compilation error > > > > > > On 09/04/12 18:35, Hugo Gomes wrote: > > > > Hi, i'm having problems compiling ppl-1.0 on a mips enviroment, please check this log error: > > > > > > > > > > > > > > > > make all-am > > > > make[3]: Entering directory `/opt/ppl-1.0/src' > > > > /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc > > > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -fPIC -DPIC -o .libs/assert.o > > > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1 > > > > mv -f .deps/assert.Tpo .deps/assert.Plo > > > > /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc > > > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o > > > > checked_float.inlines.hh: In function 'void Parma_Polyhedra_Library::Checked::assign_mpq_numeric_float(mpq_class&, From) [with From = long double]': > > > > checked_float.inlines.hh:1012: error: 'frexpl' was not declared in this scope > > > > checked_float.inlines.hh:1023: error: 'floorl' was not declared in this scope > > > > make[3]: *** [Box.lo] Error 1 > > > > make[3]: Leaving directory `/opt/ppl-1.0/src' > > > > make[2]: *** [all] Error 2 > > > > make[2]: Leaving directory `/opt/ppl-1.0/src' > > > > make[1]: *** [all-recursive] Error 1 > > > > make[1]: Leaving directory `/opt/ppl-1.0' > > > > make: *** [all] Error 2 > > > > > > Hi Hugo, > > > > > > thanks for the report. Please try the PPL 1.1 snapshot > > > available at > > > > > > http://bugseng.com/products/ppl/download/ftp/snapshots/ > > > > > > and let us know how it goes. > > > If the problem persists, please send the config.log file (compressed) > > > that is created at configure time. > > > Kind regards, > > > > > > Roberto > > > > > > -- > > > Prof. Roberto Bagnara > > > Applied Formal Methods Laboratory > > > Department of Mathematics and Computer Science, University of Parma, Italy > > > http://www.cs.unipr.it/~bagnara/ > > > mailto:bagnara@cs.unipr.it > > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics and Computer Science, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it

1 0

compilation error
by Hugo Gomes 05 Sep '12

05 Sep '12

Hi, i'm having problems compiling ppl-1.0 on a mips enviroment, please check this log error: make all-am make[3]: Entering directory `/opt/ppl-1.0/src' /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -fPIC -DPIC -o .libs/assert.o libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1 mv -f .deps/assert.Tpo .deps/assert.Plo /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o checked_float.inlines.hh: In function 'void Parma_Polyhedra_Library::Checked::assign_mpq_numeric_float(mpq_class&, From) [with From = long double]': checked_float.inlines.hh:1012: error: 'frexpl' was not declared in this scope checked_float.inlines.hh:1023: error: 'floorl' was not declared in this scope make[3]: *** [Box.lo] Error 1 make[3]: Leaving directory `/opt/ppl-1.0/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/opt/ppl-1.0/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/opt/ppl-1.0' make: *** [all] Error 2 Thanks in advance, Hugo Gomes

2 2

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 05 Sep '12

05 Sep '12

Module: ppl/ppl Branch: master Commit: f243827158875b4f2366e034aa2dd3432b74c1e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f24382715887… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 5 08:26:53 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index b86ec1b..b573f51 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-1_0-branch): New commits
by Roberto Bagnara 05 Sep '12

05 Sep '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cf06825bbe8… Merge: da09734808a5377dfd91b691d2cfa41f13049489 6d75839dc6ad19ce268208bd459ba9724efaa562 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Sep 5 08:24:39 2012 +0200 Merge branch 'master' into ppl-1_0-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d75839dc6ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 30 16:56:38 2012 +0200 Updated news. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec402f20b005… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 30 15:15:47 2012 +0200 Added a Java testcase for method drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd98130f3675… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 30 15:14:19 2012 +0200 Fixed a precision problem in method Polyhedron::drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9c8f53c83cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 30 15:10:40 2012 +0200 Added a new test showing a precision problem in one of the methods Polyhedron::drop_some_non_integer_points(); URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f82172b6a51… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Aug 30 14:50:27 2012 +0200 Fixed Java interface issues for method drop_some_non_integer_points(), reported by Zell (Zhoulai). Corrected the declaration of the method by letting it accept a Complexity_Class enumeration value (rather than a plain integer). Also renamed the version taking a set of variables as input, which was using the suffix "_2", so as to exploit overloading. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1141d90a6f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 27 08:21:22 2012 +0200 Added test invocations that were left out by mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70be8fa73540… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 27 08:03:44 2012 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=685ee646b27f… Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Sat Aug 25 11:46:06 2012 +0200 Avoided user defined and implementation define behaviors of left and right shift. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55575dcac0fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 22 16:30:51 2012 +0200 Avoided some "magic constants". Detected by ECLAIR service nomagicc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=004c134532a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 22 15:45:11 2012 +0200 Fixed float_ieee754_half::POS_INF and float_ieee754_half::NEG_INF. They were swapped.

1 0