[PPL-devel] ppl/tests/Grid widening1.cc timeelapse1.cc rel ...
Matthew Mundell
mundell at cs.unipr.it
Sat Sep 3 11:17:08 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Branch: grids
Changes by: mundell at cs.unipr.it 2005-09-03 11:17:08
Modified files:
tests/Grid : widening1.cc timeelapse1.cc relations2.cc
relations1.cc mapspacedims1.cc
limitedextrapolation1.cc intersection2.cc
intersection1.cc griddifference1.cc grid2.cc
grid1.cc generalizedaffinepreimage2.cc
generalizedaffinepreimage1.cc
generalizedaffineimage2.cc
generalizedaffineimage1.cc foldspacedims1.cc
expandspacedim1.cc affinepreimage1.cc
affineimage1.cc addgenerator1.cc
addcongruence1.cc
Log message:
Use the new Degenerate_Element kinds.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/timeelapse1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/intersection1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.18&r2=1.1.2.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffineimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
More information about the PPL-devel
mailing list