
CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2005-08-29 12:22:31
Modified files: tests/BD_Shape : cc76extrapolation6.cc ch78widening6.cc relations1.cc relations2.cc relations3.cc relations4.cc relations5.cc
Log message: Added, when needed, using directives for IO_Operators.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolati... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening6.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations5.cc.d...