September 2014 - PPL-devel - BUGSENG Mailman

PPL and SWI-Prolog >= 7.1.x?
by Fred Mesnard 11 Oct '14

11 Oct '14

Hi there, does PPL work with SWI-Prolog >= 7.1.x? Thanks in advance, Fred

2 4

Re: [PPL-devel] FW: seg fault on override of a weak symbol in g++
by Roberto Bagnara 01 Oct '14

01 Oct '14

On 08/05/14 01:07, Keith Clifford wrote: > This is just an update about the Seg Fault that I had building PPL last > week. The issue is in the mingw compiler under certain circumstances which > are described below if you're interested and in the attached files. The > compiler and your test in the configure script indicate that the compiler > supports weak symbols but it really doesn't under specific circumstances > which the PPL build found. Anyway its in Cygwin's hands now. Hello Keith. thanks for the update. Please keep me posted. I am thinking that, even if Cygwin people fixes the issue, this will not happen until some time. Perhaps we should change the configure script so as to perform a more precise detection. What do you think? Thanks again, Roberto > -----Original Message----- > From: Keith Clifford [mailto:kclifford@tranaptic.ca] > Sent: August 4, 2014 2:10 PM > To: 'cygwin(a)cygwin.com' > Subject: seg fault on override of a weak symbol in g++ > > Hi, > I was trying to build the ppl 1.1 library and got a seg fault when running > one of the tests. I've narrowed it down to the attached test case. > > System: CYGWIN_NT-6.1 Keith-PC 1.7.31(0.272/5/3) 2014-07-25 11:26 x86_64 > Cygwin > > Both the following GCC's exhibit the problem Cygwin: > Using built-in specs. > COLLECT_GCC=i686-pc-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-mingw32/4.7.3/lto-wrapper.exe > Target: i686-pc-mingw32 > Configured with: > /usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3/configure > --srcdir=/usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/lib --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --datarootdir=/usr/share --docdir=/usr/share/doc/mingw-gcc > -C --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=i686-pc-mingw32 > --without-libiconv-prefix --without-libintl-prefix > --with-sysroot=/usr/i686-pc-mingw32/sys-root > --with-build-sysroot=/usr/i686-pc-mingw32/sys-root > --enable-languages=c,c++,fortran,objc,obj-c++ --disable-sjlj-exceptions > --with-dwarf2 --enable-shared --enable-libgomp --disable-win32-registry > --enable-libstdcxx-debug --disable-build-poststage1-with-cxx > --enable-version-specific-runtime-libs --disable-multilib > --enable-decimal-float=bid --disable-werror --enable-lto Thread model: win32 > gcc version 4.7.3 (GCC) > > Using built-in specs. > COLLECT_GCC=i686-w64-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-w64-mingw32/4.8.3/lto-wrapper.exe > Target: i686-w64-mingw32 > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3-1/src/gcc > -4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3- > 1/src/gcc-4.8.3 --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin > --sbindir=/usr/sbin --libexecdir=/usr/libexec --datadir=/usr/share > --localstatedir=/var --sysconfdir=/etc --libdir=/usr/lib > --datarootdir=/usr/share --docdir=/usr/share/doc/mingw64-i686-gcc > --htmldir=/usr/share/doc/mingw64-i686-gcc/html -C --build=x86_64-pc-cygwin > --host=x86_64-pc-cygwin --target=i686-w64-mingw32 --without-libiconv-prefix > --without-libintl-prefix --with-sysroot=/usr/i686-w64-mingw32/sys-root > --with-build-sysroot=/usr/i686-w64-mingw32/sys-root --disable-multilib > --disable-win32-registry > --enable-languages=c,ada,c++,fortran,lto,objc,obj-c++ > --enable-fully-dynamic-strings --enable-graphite --enable-libgomp > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-version-specific-runtime-libs --with-dwarf2 --with-gnu-ld > --with-gnu-as --with-tune=generic > --with-cloog-include=/usr/include/cloog-isl --with-system-zlib > --libexecdir=/usr/lib Thread model: win32 gcc version 4.8.3 (GCC) > > > When built with the default Cygwin compiler the problem doesn't occur. > Using built-in specs. > COLLECT_GCC=g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-cygwin/4.8.3/lto-wrapper.exe > Target: x86_64-pc-cygwin > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/libexec --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --libdir=/usr/lib --datarootdir=/usr/share > --docdir=/usr/share/doc/gcc --htmldir=/usr/share/doc/gcc/html -C > --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin > --without-libiconv-prefix --without-libintl-prefix --enable-shared > --enable-shared-libgcc --enable-static > --enable-version-specific-runtime-libs --enable-bootstrap > --disable-__cxa_atexit --with-dwarf2 --with-tune=generic > --enable-languages=ada,c,c++,fortran,lto,objc,obj-c++ --enable-graphite > --enable-threads=posix --enable-libatomic --enable-libgomp --disable-libitm > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-libada --enable-libgcj-sublibs --disable-java-awt --disable-symvers > --with-ecj-jar=/usr/share/java/ecj.jar --with-gnu-ld --with-gnu-as > --with-cloog-include=/usr/include/cloog-isl --without-libiconv-prefix > --without-libintl-prefix --with-system-zlib --libexecdir=/usr/lib Thread > model: posix gcc version 4.8.3 (GCC) > > In the attached files in weak.cpp if the line > static ios_base::Init __ioinit; > is commented out the seg fault doesn't occur. Doing a disassembly of weak.o > (objdump -d weak.o) shows that the call includes a nonzero offset that gets > applied when the weak symbol is overridden by the function in strong.o. The > offset is zero if the above mentioned line is commented out. > > Regards, > Keith > > -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

2 4

new paper on polymake in Linear and Integer Programming
by Benjamin Lorenz 29 Sep '14

29 Sep '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Dear Colleagues, we have just finished our new paper on polymake, more precisely polymake in Linear and Integer Programming: Our focus are convex hull computations and counting/enumeration of integer points. We have evaluated several algorithms which are available from polymake and summarized our observations in a set of rule of thumbs. Apart from the algorithms implemented in polymake we used: - - for convex hull cdd, lrs, normaliz and ppl; - - for integer points 4ti2, latte and normaliz. It is available in the arXiv: http://arxiv.org/abs/1408.4653 We are happy to hear your comments and feedback. Best regards, the polymake team. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJT9c2UAAoJEA/+fctT4N1Qa8IQAJM8nbjn3S7/eRAyT17p72IQ qrjOvv2qQC/sa57XH0HvJUewvwr9wYm1CtMqzvEgwsY3FJ4IDp0xl3cM+sc2rImu ErjPB+kmuKWscmqHVxRmKdAAZELeAuvYNLTk1mSwhS6PuZ/52UzAJkfMzoOl0uFl yNOvLnPp3c2Cc3414LwqwHziSJAEuiNNmxblcG8sT/mB3NhzgRYpMnqhDtte2M94 11r9930/7GDNFKTgsU0Em3FlopKzLT4C6/O8ZH+x2kbqFxcwcQ2kZ/vK2GqUGJou sgc+LyvEELndJOUuEaJVltSVrITC+0i7IssmuZzeSeuPzirNzoa8DaUr1MpAkFpB VewcabK8pRB6h4b9jpeOeajYtye/L8t2GHqEkQECUyfbf9KAnrzlDmF7HD3PZtVC 7jT6kGQWx4p83k0FbC5G7FHHODgFk1/4Pifckg0bounkZX/K+Mzxk37MJtBDWPjb 2kt6w4NT00Txbtc7jeoldXDE1gAv6uKwED5RnNSv1QbE9xp1WYg0BgvCR1bQLV2x rQb/KxYRu38UpdB+KVrozQ5TWx8ffCjE+SanoM3xtwGc6MUtmuJB4f/nhKyEOl9S cpbS6xmLUJNM05lLbVlURMTX/U5ow4tIPTKSjanpNBauyzcQ3WmMSrsSHA4OK5N6 +K/B6h306YldwehSMz7k =XKQ0 -----END PGP SIGNATURE-----

3 2

[GIT] ppl/ppl(master): Added AssarfGHJLPR14TR.
by Roberto Bagnara 28 Sep '14

28 Sep '14

Module: ppl/ppl Branch: master Commit: 15e33202bf9ec5eac164caec46aaa3f04e3b749e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15e33202bf9e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Sep 28 13:57:20 2014 +0200 Added AssarfGHJLPR14TR. --- doc/ppl_citations.bib | 32 ++++++++++++++++++++++++++++++++ 1 files changed, 32 insertions(+), 0 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 528af06..48aa0f0 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -729,6 +729,38 @@ Summarizing: analysis of systems previously beyond reach." } +@Techreport{AssarfGHJLPR14TR, + Author = "B. Assarf and E. Gawrilow and K. Herr and M. Joswig + and B. Lorenz and A. Paffenholz and T. Rehn", + Title = "{polymake} in Linear and Integer Programming", + Number = "arXiv:1408.4653 [math.CO]", + Note = "Available from \url{http://arxiv.org/}", + Year = 2014, + Month = aug, + URL = "http://arxiv.org/abs/1408.4653", + Abstract = "In integer and linear optimization the software + workhorses are solvers for linear programs as well as + generic frameworks for branch-and-bound or + branch-and-cut schemes. While today it is common to + solve linear programs with millions of rows and columns + and, moreover, mixed integer linear programs with + sometimes hundreds of thousands of rows and columns, big + challenges remain. A main purpose of this note is to + report on the state of the art of getting at the facets + of the integer hull in a brute force kind of way. And we + will do so by explaining how our software system + polymake can help. First, we explore how various convex + hull algorithms and implementations behave on various + kinds of input. Our input is chosen according to typical + scenarios which are motivated by computational tasks + arising in optimization. Second, we look into + enumerating lattice points in polytopes, which is + actually the first step for this integer hull + approach. We will sum up our experience in this area in + several ``rules of thumb'', all of which have to be taken + with a grain of salt." +} + @Inproceedings{Avery06, Author = "J. Avery", Title = "Size-Change Termination and Bound Analysis",

1 0

[GIT] ppl/ppl(master): Code layout corrected.
by Roberto Bagnara 27 Sep '14

27 Sep '14

Module: ppl/ppl Branch: master Commit: 0f7542020b25c0c4d503ed84bd8495d0ee9b305b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f7542020b25… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 27 20:41:11 2014 +0200 Code layout corrected. --- src/BD_Shape_templates.hh | 2 +- src/Bit_Matrix.cc | 2 +- src/Box_templates.hh | 4 ++-- ...Difference_Floating_Point_Expression_inlines.hh | 2 +- src/Generator_System.cc | 2 +- src/Grid_public.cc | 2 +- src/Polyhedron_nonpublic.cc | 8 +++++--- src/Polyhedron_public.cc | 11 ++++++----- src/checked_ext_inlines.hh | 4 ++-- src/checked_float_inlines.hh | 2 +- 10 files changed, 21 insertions(+), 18 deletions(-) diff --git a/src/BD_Shape_templates.hh b/src/BD_Shape_templates.hh index 89d36ba..e8ae6f1 100644 --- a/src/BD_Shape_templates.hh +++ b/src/BD_Shape_templates.hh @@ -1521,7 +1521,7 @@ BD_Shape<T>::relation_with(const Constraint& c) const { return Poly_Con_Relation::saturates() && Poly_Con_Relation::is_included(); } - else{ + else { // The zero-dimensional point saturates // neither the positivity constraint 1 >= 0, // nor the strict positivity constraint 1 > 0. diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index a18a908..59db006 100644 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -33,7 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace PPL = Parma_Polyhedra_Library; PPL::Bit_Matrix& -PPL::Bit_Matrix::operator=(const Bit_Matrix& y){ +PPL::Bit_Matrix::operator=(const Bit_Matrix& y) { rows = y.rows; row_size = y.row_size; PPL_ASSERT(OK()); diff --git a/src/Box_templates.hh b/src/Box_templates.hh index d05b675..326f14b 100644 --- a/src/Box_templates.hh +++ b/src/Box_templates.hh @@ -4393,12 +4393,12 @@ IO_Operators::operator<<(std::ostream& s, const Box<ITV>& box) { else if (box.is_universe()) { s << "true"; } - else{ + else { for (dimension_type k = 0, space_dim = box.space_dimension(); k < space_dim; ) { s << Variable(k) << " in " << box[k]; ++k; - if (k < space_dim){ + if (k < space_dim) { s << ", "; } else { diff --git a/src/Difference_Floating_Point_Expression_inlines.hh b/src/Difference_Floating_Point_Expression_inlines.hh index 61d3426..4f2714a 100644 --- a/src/Difference_Floating_Point_Expression_inlines.hh +++ b/src/Difference_Floating_Point_Expression_inlines.hh @@ -35,7 +35,7 @@ Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> ::Difference_Floating_Point_Expression( Floating_Point_Expression<FP_Interval_Type, FP_Format>* const x, Floating_Point_Expression<FP_Interval_Type, FP_Format>* const y) - : first_operand(x), second_operand(y){ + : first_operand(x), second_operand(y) { assert(x != 0); assert(y != 0); } diff --git a/src/Generator_System.cc b/src/Generator_System.cc index f8e2b16..81e7cbf 100644 --- a/src/Generator_System.cc +++ b/src/Generator_System.cc @@ -255,7 +255,7 @@ PPL::Generator_System::insert_pending(Generator& g, Recycle_Input) { if (sys.topology() == g.topology()) { sys.insert_pending(g, Recycle_Input()); } - else{ + else { // `*this' and `g' have different topologies. if (sys.is_necessarily_closed()) { convert_into_non_necessarily_closed(); diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 825e4cc..11e93d1 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2136,7 +2136,7 @@ generalized_affine_image(const Variable var, // Test if minimization, possibly in affine_image, found an empty // grid. - if (marked_empty()){ + if (marked_empty()) { return; } diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 70addd4..778e46d 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -411,8 +411,9 @@ PPL::Polyhedron::quick_equivalence_test(const Polyhedron& y) const { y.obtain_sorted_constraints(); if (x.con_sys == y.con_sys) { return Polyhedron::TVB_TRUE; - }else { - return Polyhedron::TVB_FALSE; + } + else { + return Polyhedron::TVB_FALSE; } } } @@ -1482,7 +1483,8 @@ PPL::Polyhedron::refine_no_check(const Constraint& c) { else { con_sys.insert(nc_expr == 0); } - }else { + } + else { if (adding_pending) { con_sys.insert_pending(nc_expr >= 0); } diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index ba604d8..c54c888 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -1335,7 +1335,7 @@ PPL::Polyhedron::add_congruence(const Congruence& cg) { // Handle the case of proper congruences first. if (cg.is_proper_congruence()) { - if (cg.is_tautological()){ + if (cg.is_tautological()) { return; } if (cg.is_inconsistent()) { @@ -1849,7 +1849,8 @@ PPL::Polyhedron::refine_with_constraints(const Constraint_System& cs) { else { con_sys.insert(nc_expr == 0); } - }else { + } + else { if (adding_pending) { con_sys.insert_pending(nc_expr >= 0); } @@ -2363,7 +2364,7 @@ PPL::Polyhedron::simplify_using_context_assign(const Polyhedron& y) { goto ruled_out; } } - else{ + else { // Constraint `c' is an equality. if (sp_sign != 0) { goto ruled_out; @@ -2773,7 +2774,7 @@ affine_image(const Variable var, if (denominator > 0) { gen_sys.affine_image(var, expr, denominator); } - else{ + else { gen_sys.affine_image(var, -expr, -denominator); } } @@ -3056,7 +3057,7 @@ bounded_affine_preimage(const Variable var, if (constraints_are_up_to_date()) { con_sys.swap_space_dimensions(var, new_var); } - if (generators_are_up_to_date()){ + if (generators_are_up_to_date()) { gen_sys.swap_space_dimensions(var, new_var); } diff --git a/src/checked_ext_inlines.hh b/src/checked_ext_inlines.hh index 9955a82..9ec2ca8 100644 --- a/src/checked_ext_inlines.hh +++ b/src/checked_ext_inlines.hh @@ -49,7 +49,7 @@ ext_to_handle(const Type& x) { template <typename Policy, typename Type> inline Result_Relation sgn_ext(const Type& x) { - if (!ext_to_handle<Policy>(x)){ + if (!ext_to_handle<Policy>(x)) { goto native; } if (is_nan<Policy>(x)) { @@ -771,7 +771,7 @@ template <typename To_Policy, typename From_Policy, typename To, typename From> inline Result smod_2exp_ext(To& to, const From& x, unsigned int exp, Rounding_Dir dir) { - if (!ext_to_handle<From_Policy>(x)){ + if (!ext_to_handle<From_Policy>(x)) { goto native; } if (is_nan<From_Policy>(x)) { diff --git a/src/checked_float_inlines.hh b/src/checked_float_inlines.hh index 05aa0c5..51bbdf5 100644 --- a/src/checked_float_inlines.hh +++ b/src/checked_float_inlines.hh @@ -1111,7 +1111,7 @@ template <typename Policy, typename Type> inline Result output_float(std::ostream& os, const Type from, const Numeric_Format&, Rounding_Dir) { - if (from == 0){ + if (from == 0) { os << "0"; } else if (is_minf<Policy>(from)) {

1 0

[GIT] ppl/ppl(master): Default definition of ppl_set_GMP_memory_allocation_functions() moved.
by Roberto Bagnara 27 Sep '14

27 Sep '14

Module: ppl/ppl Branch: master Commit: 9d1ca57b0e7f43b9017f6335b77e8ba2fe1ec11e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1ca57b0e7f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 27 19:22:06 2014 +0200 Default definition of ppl_set_GMP_memory_allocation_functions() moved. Having it in its own file solves all problems with the MinGW compiler. (Thanks to Keith Clifford.) --- src/Init.cc | 4 ---- src/Makefile.am | 1 + src/set_GMP_memory_alloc_funcs.cc | 36 ++++++++++++++++++++++++++++++++++++ 3 files changed, 37 insertions(+), 4 deletions(-) diff --git a/src/Init.cc b/src/Init.cc index b5f37f7..0daaab0 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -51,10 +51,6 @@ extern "C" void ppl_set_GMP_memory_allocation_functions(void) #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK __attribute__((weak)); - -void -ppl_set_GMP_memory_allocation_functions(void) { -} #else ; #endif diff --git a/src/Makefile.am b/src/Makefile.am index 31044f4..6112a00 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -533,6 +533,7 @@ Variable.cc \ Variables_Set.cc \ Grid_conversion.cc \ Grid_simplify.cc \ +set_GMP_memory_alloc_funcs.cc \ stdiobuf.cc \ c_streambuf.cc \ globals.cc \ diff --git a/src/set_GMP_memory_alloc_funcs.cc b/src/set_GMP_memory_alloc_funcs.cc new file mode 100644 index 0000000..5e696a1 --- /dev/null +++ b/src/set_GMP_memory_alloc_funcs.cc @@ -0,0 +1,36 @@ +/* Default definition of ppl_set_GMP_memory_allocation_functions(). + Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> + Copyright (C) 2010-2014 BUGSENG srl (http://bugseng.com) + +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://bugseng.com/products/ppl/ . */ + +#include "ppl-config.h" + +extern "C" void +ppl_set_GMP_memory_allocation_functions(void) +#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK + __attribute__((weak)); + +void +ppl_set_GMP_memory_allocation_functions(void) { +} +#else + ; +#endif

1 0

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

27 Sep '14

Module: ppl/ppl Branch: master Commit: eac04f38616feffe23305297b70ffa8e3cd61cd6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eac04f38616f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 27 19:24:51 2014 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index d55e7ec..2090e62 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.2pre3], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre4], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

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

27 Sep '14

Module: ppl/ppl Branch: master Commit: 998fb89bbef6b629082cfd9fbdbda6a2474f576c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=998fb89bbef6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 27 17:22:25 2014 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 726906d..d55e7ec 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.2pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

Install from git
by Stefan Schupp 27 Sep '14

27 Sep '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, due to a new setup I tried to install PPL from git. There seem to be some errors concerning the documentation: mkdir -p -- /usr/local/share/doc/ppl/ppl-user-1.2pre1-html gzip: ./ppl-user-1.2pre1-html.tar.gz: No such file or directory tar: This does not look like a tar archive tar: Exiting with failure status due to previous errors /usr/bin/install: cannot stat ‘ppl-user-1.2pre1-html/*’: No such file or directory mkdir -p -- /usr/local/share/doc/ppl/ppl-user-c-interface-1.2pre1-html gzip: ./ppl-user-c-interface-1.2pre1-html.tar.gz: No such file or directory tar: This does not look like a tar archive tar: Exiting with failure status due to previous errors /usr/bin/install: cannot stat ‘ppl-user-c-interface-1.2pre1-html/*’: No such file or directory make[2]: *** [install-html] Error 1 I figured out to install PPL, this can be considered a report :). Best regards, Stefan - -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org iQEcBAEBCgAGBQJUI8yLAAoJEFPSi5GyofDjCVMIAKlpsxU7vcDG0fWTUbqHwivG UjSgBpUAX0G4uKdXu2pGpH96S66qiRq+8SEQRabUXnVFQIOy5BaLGpvfHnoaodvj 10lPiiDiHe4w3iRk2oTqvmxE6hzFRDMCAXhNkacuT0VwdgBS1uwji4rqNlKdSqP0 gaiDG0rIPUOE4ElrAsaXqEaPW4HMhq0vlFIGmN+49UhjsHUoTfFlDWwFLd/EBXsK wkmLo75VnxLhgyevzSS9JAN8Y+eiXOmSJ6HiNmiQrDJqpHRGBo+YSLmXPSaKdhJ+ /lLKRlaxwmcrbTw+9GSQgPhwNMpr0w2B/UEBPiPdMnFMnXDfJmwf3zELlnlPB5w= =1P7O -----END PGP SIGNATURE-----

2 1

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

27 Sep '14

Module: ppl/ppl Branch: master Commit: 7fc66b8b108f6f61848d3a5b12a696180cf81f91 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fc66b8b108f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Sep 27 17:05:00 2014 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index f4c901a..726906d 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.2pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0