CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-09-18 10:27:03
Modified files:
src : Polyhedron.cc
Log message:
Made some little improvements to the function
Polyhedron::BBRZ02_widenin_assign().
Improved also some comments of this function.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-09-12 16:30:17
Modified files:
src : Polyhedron.cc
Log message:
Corrected an error in Polyhedron::BBRZ02_widening_assign(): the new
generator was added to the polyhedron x instead of the polyhedron x2.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…