[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