July 2002 - PPL-devel - BUGSENG Mailman

ppl/tests polydifference2.cc
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 12:52:02 Modified files: tests : polydifference2.cc Log message: Don't be noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 12:40:21 Modified files: src : Polyhedron.cc Log message: Corrected a bug in poly_difference_assign(const Polyhedron& y). No longer ignoring the equality constraints of `y' (the bug was affecting both C and NNC computations). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests polydifference2.cc
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 12:01:36 Modified files: tests : polydifference2.cc Log message: Output improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 11:58:59 Modified files: src : Polyhedron.cc Log message: Corrected a bug in Polyhedron::operator=(...). When assigning to *this a polyhedron declared to be empty, we now call set_empty() to also clear the constraint and generator systems, therefore enforcing the corresponding invariant. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am polydifference2.cc
by Enea Zaffanella 10 Jul '02

10 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-10 11:55:46 Modified files: tests : Makefile.am Added files: tests : polydifference2.cc Log message: Added a new test showing two bugs: - the assignment operator on Polyhedron breaks the invariant saying that an empty polyhedron has a constraint system with either no rows or a single unsatisfiable constraint; - the current implementation of poly_difference_assign() is wrong in that it disregards equality constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Jul '02

03 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-03 23:18:20 Modified files: htdocs/Credits : Credits.raw Log message: URI changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Jul '02

03 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-03 23:16:17 Modified files: htdocs/Credits : Credits.raw Log message: Give credit to Manuel and Jose for their help with the Ciao Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

Re: [Fwd: Solved the problem]
by Roberto Bagnara 03 Jul '02

03 Jul '02

Martin Rohde wrote: > It was indeed something here and not the PPL library. Some problems arised > because we installed GMP at an 'unusual' location. We did the following > for configuring: > > export CFLAGS="-Wl,-rpath /opt/gmp-4.1/lib" > export CXXFLAGS="-Wl,-rpath /opt/gmp-4.1/lib" > ./configure \ > --prefix=/opt/ppl-0.4pre2 \ > --with-gmp-includes=/opt/gmp-4.1/include \ > --with-gmp-dir=/opt/gmp-4.1/lib > > For including the ppl AND gmp, we used the following 10-liner: > > g++ test_program.cc \ > -I /opt/ppl-0.4pre2/include \ > -I /opt/gmp-4.1/include \ > -L /opt/gmp-4.1/lib \ > -lgmp \ > -lgmpxx \ > -L /opt/ppl-0.4pre2/lib \ > -lppl \ > -Wl,-rpath /opt/gmp-4.1/lib \ > -Wl,-rpath /opt/ppl-0.4pre2/lib > > I don't know whether this is a general problem for people who will use the > library in the future, or a problem that only relates to our > installation/configuration. If this is a more general problem, maybe the > above can be included in the INSTALL (or README) file. Dear Martin, sorry for replying so late. We have been very busy finishing version 0.4 of the library (released on July 1st). Yes, I believe it is worth to explain users how the place where they install libraries can affect the way they use the libraries. It is, in fact, a common source of headaches. However, I don't understand why you assign the environment variables before configuration > export CFLAGS="-Wl,-rpath /opt/gmp-4.1/lib" > export CXXFLAGS="-Wl,-rpath /opt/gmp-4.1/lib" What happens if you don't do that? Would you mind trying with the newly released version 0.4? > Right now, I'm going to study the manual. The tests I performed yesterday > looked very promising. I mainly use the library to calculate the > intersection of two polyhedra. The polyhedra are defined in R^3 (so real > numbers), but the constraints and generators can easily be transformed > into large integers without losing accuracy (this is the reason why using > version 0.3, using input gmp numbers): Please let us know more about your application. We may list it on our web pages (you are already listed ;-) All the best Roberto P.S. I don't know if you already did that but, if you plan to use the library, I suggest you subscribe to the ppl-announce mailing list. As you will see from the archives it is very quiet and 100% useful contents. The URI is http://www.cs.unipr.it/mailman/listinfo/ppl-announce -- 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

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Jul '02

03 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-03 22:49:02 Modified files: htdocs/Credits : Credits.raw Log message: Fred and Martin added to the list of users who gave useful feedback. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 03 Jul '02

03 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-03 18:39:43 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: BagnaraRZH02 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0