November 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd expected_int8_a
by Roberto Bagnara 26 Nov '04

26 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-26 07:55:44 Modified files: demos/ppl_lcdd : expected_int8_a Log message: Fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int8_…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 25 Nov '04

25 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-25 08:40:48 Modified files: tests : Makefile.am Log message: Added `ascii_dump_load4' to `XFAIL_WITH_INT8_A'. iCVS: ---------------------------------------------------------------------- Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 23 Nov '04

23 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-23 22:21:27 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 23 Nov '04

23 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-23 22:20:53 Modified files: src : SatRow.cc Log message: The methods SatRow::last() and the functions compare(const SatRow&, const SatRow&), subset_or_equal(const SatRow&, const SatRow&), subset_or_equal(const SatRow&, const SatRow&, bool&) and strict_subset(const SatRow&, const SatRow&) have been simplified and optimized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0

[Fwd: Re: Clarification on mpz_size()]
by Roberto Bagnara 23 Nov '04

23 Nov '04

-------- Original Message -------- Subject: Re: Clarification on mpz_size() Date: Tue, 23 Nov 2004 19:58:57 +0000 From: Sisyphus <kalinabears(a)iinet.net.au> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: gmp-discuss(a)swox.com References: <41A317FE.6030905(a)cs.unipr.it> Roberto Bagnara wrote: > > I have a doubt concerning the interpretation of the documentation of > `mpz_size()': let `x' be of type `mpz_t'. Is the intended semantics > of `mpz_size()' such that the expression > > mpz_size(x) == 0 || mpz_getlimbn(x, mpz_size(x)-1) != 0 > > always evaluates to true? Yes. Cheers, Rob _______________________________________________ gmp-discuss mailing list gmp-discuss(a)swox.com http://swox.com/mailman/listinfo/gmp-discuss -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Re: [PPL-devel] PROBLEM with installation
by Roberto Bagnara 23 Nov '04

23 Nov '04

Joycee Mekie wrote: > I have configured gmp-4.1.2 using the following cmd. > configure --enable-cxx > make > > For configuring ppl-0.5 i use the following cmd > > configure --with-gmp-includes=../gmp-4.1.2/ > --with-gmp-dir=../gmp-4.1.2/.libs/ > > for which i get the below listed error. > > I have written test program in C which includes gmp.h and > it works fine. So, GMP has been properly installed. Dear Joycee, you should try a C++ program that includes gmpxx.h. This is the right test to check whether GMP _and_ its C++ interface have been properly installed. > Could you kindly let me know what options need > to be specified with configure for ppl. > > I am attaching the tar.gz files of gmp and ppl for your perusal. > > Waiting for your reply. Usually the problem is due to the fact that the dynamic linker has not been instructed about the location where you have installed your version of GMP. Assuming that you have installed gmp-4.1.2 in /some/directory/gmp-4.1.2 the directory `/some/directory/gmp-4.1.2/lib' will contain some files called `libgmpxx.so*'. If so, you should do two things: 1) Add the directory `/some/directory/gmp-4.1.2/lib' to the environment variable `LD_LIBRARY_PATH'. If your are using the bash shell, you can add the line export LD_LIBRARY_PATH=/some/directory/gmp-4.1.2/lib:$LD_LIBRARY_PATH to your $HOME/.bash_profile and, at your next login, everything should work as expected. 2) Configure the PPL with a command like configure --with-gmp-includes=/some/directory/gmp-4.1.2/include \ --with-gmp-dir=/some/directory/gmp-4.1.2/lib (i.e., avoid relative paths and forget about the .libs directory), and If your problem persist, please come back to us and include the file `config.log' that is generated by PPL's configure script (do not include other files). 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

2 2

ppl/tests membytes1.cc
by Roberto Bagnara 23 Nov '04

23 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-23 13:39:37 Modified files: tests : membytes1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes1.cc.diff?cvsro…

1 0

Clarification on mpz_size()
by Roberto Bagnara 23 Nov '04

23 Nov '04

I have a doubt concerning the interpretation of the documentation of `mpz_size()': let `x' be of type `mpz_t'. Is the intended semantics of `mpz_size()' such that the expression mpz_size(x) == 0 || mpz_getlimbn(x, mpz_size(x)-1) != 0 always evaluates to true? 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

1 0

ppl/src SatRow.cc SatRow.defs.hh simplify.cc
by Roberto Bagnara 23 Nov '04

23 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-23 08:57:20 Modified files: src : SatRow.cc SatRow.defs.hh simplify.cc Log message: New function bool subset_or_equal(const SatRow& x, const SatRow& y, bool& strict_subset) allows a simple optimization of Polyhedron::simplify(). The function bool strict_subset(const SatRow& x, const SatRow& y) is currently unused but left in place: it may be needed and, moreover, when all what matters is strict inclusion, `strict_subset(x, y)' is faster than `subset_or_equal(x, y, s) && s'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Linear_System.cc
by Enea Zaffanella 22 Nov '04

22 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-22 19:38:54 Modified files: src : Linear_System.cc Log message: The assertion at the beginning of add_pending_rows() made stronger: we assume that rows to be added have the same size. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0