February 2002 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.inlines.hh
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:27:33 Modified files: src : Constraint.inlines.hh Log message: We now throw an exception if Constraint::coefficient(v) is called with a variable which is beyond the current space-dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:25:23 Modified files: src : Polyhedron.cc Log message: Many comments adjusted. We now use the BE_LAZY flag in Polyhedron::operator<=, where we do not necessarily minimize given arguments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:18:02 Modified files: src : GenSys.cc Log message: Using "satisfy" instead of "verify" when talking about the relation between a generator and a constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

w3ppl/htdocs ppl.raw Applications/Applications ...
by Roberto Bagnara 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-24 18:03:32 Modified files: htdocs : ppl.raw htdocs/Applications: Applications.raw htdocs/Download: Download.raw htdocs/templates: head.tmpl tail.tmpl Added files: htdocs : details.raw news.raw Log message: Tried to make the important information more readily accessible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs… 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/Applications/Applica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/head.tmpl.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/tail.tmpl.…

1 0

ppl/doc devref.tex user.tex
by Roberto Bagnara 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-24 12:16:11 Modified files: doc : devref.tex user.tex Log message: Copyright year bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl ./Makefile.am ./README ./configure.ac doc/ ...
by Roberto Bagnara 24 Feb '02

24 Feb '02

1 0

ppl/tests convexdifference1.cc
by Roberto Bagnara 23 Feb '02

23 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-23 17:58:46 Modified files: tests : convexdifference1.cc Log message: Do not be noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexdifference1.cc.di…

1 0

ppl src/Polyhedron.cc tests/convexdifference1.cc
by Roberto Bagnara 23 Feb '02

23 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-23 17:52:43 Modified files: src : Polyhedron.cc tests : convexdifference1.cc Log message: Polyhedron::convex_difference_assign() fixed. Patches: 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/tests/convexdifference1.cc.di…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 23 Feb '02

23 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-23 16:57:13 Modified files: src : Polyhedron.cc Log message: Method Polyhedron::convex_diffrence_assign corrected. The new version forces the result to be a _closed_ polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl ./NEWS src/Polyhedron.cc src/Polyhedron.de ...
by Roberto Bagnara 23 Feb '02

23 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-23 14:06:12 Modified files: . : NEWS src : Polyhedron.cc Polyhedron.defs.hh tests : Makefile.am Added files: tests : convexdifference1.cc Log message: 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). Polyhedron::convex_hull_assign() was missing the final assert(OK()). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.7&… 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/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexdifference1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0