October 2001 - PPL-devel - BUGSENG Mailman

w3ppl ./configure ./configure.in doc/Makefile. ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 18:07:18 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-pdf.in user.doxyconf-html.in user.doxyconf-pdf.in user.tex Log message: The project name is "Parma Polyhedra Library", "PPL" for short. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-pdf.in.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-pdf.in.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl/tests Makefile.am Makefile.in randchull1.cc
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 18:01:59 Modified files: tests : Makefile.am Makefile.in Added files: tests : randchull1.cc Log message: New test computing convex-hulls of random polytopes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.in.diff?cvsroo…

1 0

ppl/doc definitions.dox
by Patricia Hill 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-12 17:19:42 Modified files: doc : definitions.dox Log message: Title of document changed. Sections changed so that there are two sections, an introduction to polyhedra and a more advanced section which talks about the PPL implementation. Comment about vertices differing from rays only in the n+1'th term moved to before "Valid linear inequalities" paragraph. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Makefile.am Makefile.in
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 17:09:18 Modified files: src : Makefile.am Makefile.in Log message: Header file ppl.hh is now guarded against multiple inclusion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.in.diff?cvsroot=…

1 0

ppl/src Generator.cc
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 17:08:46 Modified files: src : Generator.cc Log message: Bug fixed: a vertex in the origin was printed as "v()" instead of "v(0)". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Elisa Ricci 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-12 16:51:37 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Added the function Polyhedron::insert(const Generator& g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-12 16:36:34 Modified files: src : Polyhedron.defs.hh Log message: Added other two examples: one is for the use of assign_variable(...) and the other is for the use of substitute_variable(...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-12 15:44:23 Modified files: src : Polyhedron.defs.hh Log message: Corrected a my error: to build a vertex "/=" is needed instead of "\=". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-12 15:12:40 Modified files: src : Polyhedron.defs.hh Log message: Added two examples to the comment: one to specify the use of add_dimensions_and_embed(..) and the other to specify the use of add_dimensions_and_project(...). Corrected an error in a formula: now in the comment of convex_hull(...) and convex_hull_lazy(..) there is \f$\cup\f$ instead of \f$\union\f$ (that caused an error in Latex). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0