CVSROOT: /cvs/ppl
Module name: ppl
Branch: alt_nnc
Changes by: zaffanella(a)cs.unipr.it 2002-10-25 18:35:13
Modified files:
src : Polyhedron.cc
Log message:
n strong minimization of constraints, force all strict inequalities to have
the same epsilon coefficient.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: w3ppl
Changes by: roberto(a)cs.unipr.it 2002-10-24 16:59:20
Modified files:
htdocs/Bugs : Bugs.raw
Log message:
Announce the newly discovered (and fixed) bug in
LinExpression& operator-=(LinExpression&, const LinExpression&).
Old bugs that were erroneously not removed after the release of PPL 0.4.2
have been removed now.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…
