CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella@cs.unipr.it 2002-07-29 01:08:02

Modified files: tests : universe6.cc src : ConSys.cc GenSys.cc Polyhedron.cc

Log message: The following corrections made on HEAD are now reported in the ppl-0_4-branch: - fixed a bug in ConSys/GenSys.adjust_topology_and_dimension() - fixed a bug in Polyhedron::check_universe().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe6.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...