CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi@cs.unipr.it 2006-04-10 14:01:12 Added files: tests/Octagon : octdifference1.cc octdifference2.cc octdifference3.cc Removed files: tests/Octagon : polydifference1.cc polydifference2.cc polydifference3.cc Log message: Tests polydifference* renamed octdifference*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/octdifference3.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference2.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/polydifference3....