CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-11-12 10:05:42

Modified files: tests/BD_Shape : Makefile.am tests/Box : Makefile.am tests/Grid : Makefile.am tests/Octagonal_Shape: Makefile.am tests/Powerset : Makefile.am Added files: tests/Powerset : frombdshape1.cc frombox1.cc fromcongruences1.cc fromconstraints1.cc fromgrid1.cc fromoctagonalshape1.cc frompolyhedron1.cc fromspacedimension1.cc Removed files: tests/BD_Shape : pointsetpowerset1.cc tests/Box : pointsetpowerset2.cc tests/Grid : pointsetpowerset1.cc tests/Octagonal_Shape: pointsetpowerset1.cc tests/Powerset : pointsetpowerset6.cc

Log message: Started reorganising the tests for the powerset domains and moving all tests on the powersets into the Powerset directory

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowerse... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointset... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombdshape1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombox1.cc?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromcongruences... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromconstraints... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromgrid1.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromoctagonalsh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frompolyhedron1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromspacedimens... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerse...