CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi@cs.unipr.it 2006-04-19 14:25:09
Modified files: src : Octagon.defs.hh Octagon.templates.hh tests/Octagon : Makefile.am bhz03widening1.cc exceptions1.cc exceptions2.cc limitedcc76extrapolation1.cc Added files: tests/Octagon : bhmz05widening1.cc limitedbhmz05extrapolation1.cc Removed files: tests/Octagon : ch78widening1.cc ch78widening10.cc ch78widening11.cc ch78widening12.cc ch78widening13.cc ch78widening2.cc ch78widening3.cc ch78widening4.cc ch78widening5.cc ch78widening6.cc ch78widening7.cc ch78widening8.cc ch78widening9.cc limitedcc76extrapolation2.cc limitedcc76extrapolation3.cc limitedch78extrapolation1.cc limitedch78extrapolation2.cc limitedch78extrapolation3.cc limitedch78extrapolation4.cc limitedch78extrapolation5.cc limitedch78extrapolation6.cc
Log message: No longer disregard the optional tokens parameter in the extrapolation and widening methods. Renamed CH78_widening and limited_CH78_extrapolation respectly BHMZ05_widening and limited_BHMZ05_extrapolation. Tests for extrapolation and widening rewritten according to the new guidelines.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhmz05widening1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedbhmz05ext... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bhz03widening1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening10.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening11.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening12.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening13.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening2.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening3.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening4.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening5.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening6.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening7.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening8.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/ch78widening9.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedcc76extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/limitedch78extra...