CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara@cs.unipr.it 2006-11-05 16:42:33 Modified files: . : configure.ac tests : ppl_test.cc ppl_test.hh print.hh tests/Box : Makefile.am addconstraints1.cc addspacedims1.cc affineimage1.cc affinepreimage1.cc bdsdifference1.cc boundedaffineimage1.cc boxhull.cc cc76narrowing1.cc cc76widening.cc closure1.cc concatenate1.cc constraints1.cc containsintegerpoint1.cc fromgensys1.cc frompolyhedron1.cc generalizedaffineimage1.cc generalizedaffinepreimage1.cc intersection1.cc mapspacedims1.cc maxspacedim1.cc removespacedims1.cc timeelapse1.cc Log message: Added some infrastructure to begin testing in tests/Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.19&r2=1.114.2.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.6.2.2&r2=1.6.2.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.2&r2=1.4.2.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.14.2.2&r2=1.14.2.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addspacedims1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bdsdifference1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boxhull.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76narrowing1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76widening.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/closure1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/concatenate1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/containsintegerpoint1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgensys1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/intersection1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/maxspacedim1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.1&r2=1.1.2.2