CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2001-10-17 15:03:26
Added files:
tests : my_append.cc
Log message:
A modified version of append.cc where code is structured into two
procedures, one for the initial polyhedra and one for the fix-point.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/my_append.cc.diff?cvsro…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-17 12:03:22
Modified files:
src : Polyhedron.defs.hh
Log message:
Used "check_not_empty" instead of "check_satisfiable" also in the
comment of function Polyhedron::OK().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
