[PPL-devel] ppl/tests BD_Shape/Makefile.am Box/Makefile.am ...
Patricia Hill
hill at cs.unipr.it
Wed Nov 12 10:05:42 CET 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at 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.diff?cvsroot=ppl&r1=1.82&r2=1.83
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowerset1.cc.diff?cvsroot=ppl&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&r1=1.76&r2=1.77
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset2.cc.diff?cvsroot=ppl&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.cc.diff?cvsroot=ppl&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefile.am.diff?cvsroot=ppl&r1=1.36&r2=1.37
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/pointsetpowerset1.cc.diff?cvsroot=ppl&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombdshape1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frombox1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromcongruences1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromconstraints1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromgrid1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromoctagonalshape1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/frompolyhedron1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/fromspacedimension1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/pointsetpowerset6.cc.diff?cvsroot=ppl&r1=1.1&r2=NONE
More information about the PPL-devel
mailing list