CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-28 08:37:34
Modified files:
src : Polyhedron.cc
Log message:
Corrected the error making test `randchull1' fail (I was forgetting to
clear flags after insertion of the generator).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
Dear all,
the `space_dim' branch has been merged back to the main trunk.
In order to avoid confusion, the best thing to do is not to use
that branch any longer. In any case, I have tagged both the branch
and the trunk so that the occasional commit to the dead branch
will not be lost.
Ciao,
Roberto
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
