CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri@cs.unipr.it 2006-04-30 18:13:23
Modified files: tests/Octagon : addspacedims1.cc generalizedaffineimage1.cc generalizedaffinepreimage2.cc mapspacedims1.cc relatwithcons1.cc relatwithcons2.cc relatwithgen1.cc
Log message: Corrected some inaccuracies.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithcons2.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithgen1.cc...