February 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am generators1.cc
by Elisa Ricci 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-27 09:18:10 Modified files: tests : Makefile.am Added files: tests : generators1.cc Log message: Added a test for a polyhedron built form a system of generators with a vertex with negative denominator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvs… 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 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 08:25:51 Modified files: htdocs/Credits : Credits.raw Log message: Page reorganized and updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

Parma Polyhedra Library 0.3
by Roberto Bagnara 26 Feb '02

26 Feb '02

We are glad to announce the release 0.3 of the Parma Polyhedra Library. The Parma Polyhedra Library (PPL) is a modern C++ library for the manipulation of convex polyhedra. For more information, visit the PPL web site at http://www.cs.unipr.it/ppl/ The PPL development team: Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Elisa Ricci <ericci(a)cs.unipr.it> Enea Zaffanella <zaffanella(a)cs.unipr.it> New Features ============ o The library has been ported under libtool: it is now possible to build dynamic libraries as well. o We now use the integer C++ class of GMP to represent the coefficients of constraints and generators, instead of our own (very much inferior) Integer class. The drawback is that we now require GMP 4.0.1 or higher. o New methods Polyhedron::convex_difference_assign(const Polyhedron&) and Polyhedron::convex_difference_assign_and_minimize(const Polyhedron&). They assigns to *this the convex hull of the set-theoretic difference of *this and the argument (possibly non minimized or minimized, respectively). o The method Polyhedron::add_generators(GenSys&) is now lazy, i.e., no minimization is performed. Adding generators and minimizing at the same time is provided by the method Polyhedron::add_generators_and_minimize(GenSys&). These methods now throw an exception if the resulting polyhedron would be illegal. o Some performance improvements. o Added more test programs. Bugfixes ======== o Fixed Polyhedron::satisfies(const Constraints&) and Polyhedron::affine_image(). o Polyhedron::limited_widening_assign(const Polyhedron&, ConSys&) was erroneously returning a (random) boolean: it is now a void method. -- 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 Links/Links.raw
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 19:22:19 Modified files: htdocs/Credits : Credits.raw htdocs/Links : Links.raw Log message: Refer to BASE_DIR instead of ROOT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 19:21:10 Modified files: htdocs/About : About.raw Log message: Refer to BASE_DIR instead of ROOT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 19:09:10 Modified files: bin : update_web_site Log message: Take the PPL sources from a specified CVS branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

ppl configure.ac
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 14:16:23 Modified files: . : configure.ac Log message: Release number back to 0.3 i order to generate the Web pages' documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs ppl.raw
by Enea Zaffanella 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-26 14:15:44 Modified files: htdocs : ppl.raw Log message: Removed a spurious word (cut&paste error?) in the ppl main page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw templates/macros ...
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 13:43:34 Modified files: htdocs : news.raw ppl.raw htdocs/templates: macros.tmpl Log message: Updated for the 0.3 release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/macros.tmp…

1 0

ppl README
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 12:58:42 Modified files: . : README Log message: Fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0