- PPL-devel - BUGSENG Mailman

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 06 Apr '02

06 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-06 08:01:07 Modified files: m4 : ac_check_gmp.m4 Log message: Fixed two instances of the use of an inexistent GMP assignment operator from `char*'. These gave no error because of the C++ pointer to `bool' conversion feature and because GMP had an assignment operator from `bool'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

Even more questionable feature of the C++ interface (GMP 4.0.1)
by Roberto Bagnara 05 Apr '02

05 Apr '02

I did it again and this time is even worse. Without looking at the documentation I thought there should be an assignment operator for assigning an mpz_t to a class_mpz. So I did it, the compiler did not complain even with -Wall -W and then strange behavior started. The guilty is now the following line in <gmpxx.h> __gmp_expr & operator=(bool b) { mpz_set_ui(mp, b); return *this; } Strictly speaking, I am not reporting anything new with respect to my previous message. What makes things worse is that I now realize that it is much easier to be bitten by this problem, since, IMHO, the user is somewhat legitimate to assume that mpz_t objects can be used to initialize/assign to mpz_class objects. My revised proposal is that these two lines in <gmpxx.hh> __gmp_expr(bool b) { mpz_init_set_ui(mp, b); } __gmp_expr & operator=(bool b) { mpz_set_ui(mp, b); return *this; } are _replaced_ by their analagous taking an mpz_t argument. Here is a small test program that exemplifies the problem: /////////////////////////////////////////////////////////////////////////// #include <gmp.h> #include <gmpxx.h> #include <iostream> using namespace std; int main() { mpz_class n; mpz_t m; mpz_init_set_si(m, 123); // I thought I was assigning 123 to n... n = m; // ... but I was assigning 1! cout << n << endl; } /////////////////////////////////////////////////////////////////////////// All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel(a)cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel

3 3

ppl/tests boundingbox1.cc
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 12:55:50 Modified files: tests : boundingbox1.cc Log message: Improved printed results: now says "none" when the denominator of the bound is 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 12:36:07 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: The dimension() method removed from BBox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 05 Apr '02

05 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-05 10:38:48 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: In Polyhedron.inlines.hh: shrink_bounding_box now handles the empty polyhedron correctly. In boundingbox1.cc: BBox and Interval improved and many tests added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

Re: State of interface
by Roberto Bagnara 04 Apr '02

04 Apr '02

Manuel Carro wrote: > BTW, I just tried downloading the latest CVS snapshot (following > to the letter the web directions :-) and autoconf gives the following > error: > > [boris@balboa ppl]$ autoconf configure.ac > configure > configure.ac:28: /usr/bin/m4: Bad expression in eval (bad input): 0 + 13 * 1000 + 2 * 1000000 < 0 + 52g * 1000 + 2 * 1000000 > autoconf: Undefined macros: > configure.ac:270:AC_DISABLE_SHARED > configure.ac:271:AC_LIBTOOL_DLOPEN > configure.ac:272:AC_LIBTOOL_WIN32_DLL > configure.ac:273:AC_PROG_LIBTOOL > configure.ac:94:AC_CHECK_GMP > > The resulting 'configure' file is wrong (it just breaks). I had > never used autoconf before. What am I doing wrong? Hi there, it is a good thing to work with the CVS version, since 0.3 is, by now, very old. The first thing I would check is that you have the right versions of autoconf, automake, and libtool. If you want to be absolutely safe, just get the latest versions: download ftp://ftp.gnu.org/gnu/autoconf/autoconf-2.53.tar.gz ftp://ftp.gnu.org/gnu/automake/automake-1.6.tar.gz ftp://ftp.gnu.org/gnu/libtool/libtool-1.4.2.tar.gz configure them and install them as usual. Then you should not call autoconf directly but invoke autoreconf -f in the root directoty of the PPL sources (i.e., the one containing the configure.ac file). This will create all the files needed for autoconfiguration. You should then create a build directory (it is recommended to have this separate from the source directory) and then configure as usual. Do not hesitate to contact us if something is unclear or goes wrong. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 4

ppl/src Polyhedron.inlines.hh
by Patricia Hill 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-04 14:21:18 Modified files: src : Polyhedron.inlines.hh Log message: Initial implementation of Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src ConSys.cc GenSys.cc Polyhedron.cc Row. ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 13:43:13 Modified files: src : ConSys.cc GenSys.cc Polyhedron.cc Row.cc Row.defs.hh Log message: PPL::operator^(const Row&, const Row&) renamed as "reduced_scalar_product". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/tests boundingbox1.cc
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 12:20:41 Modified files: tests : boundingbox1.cc Log message: Use a more concrete bounding-box class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 11:01:26 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Configuration files updated after class names changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0