CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2003-03-03 17:45:53

Modified files: . : NEWS interfaces/C : ppl_c.cc ppl_c.h interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc src : Determinate.defs.hh Determinate.inlines.hh Polyhedron.cc Polyhedron.defs.hh PowerSet.defs.hh PowerSet.inlines.hh algorithms.hh tests : Makefile.am Added files: tests : limitedbhrz03extrapolation1.cc limitedh79extrapolation1.cc limitedh79extrapolation2.cc limitedh79extrapolation3.cc limitedh79extrapolation4.cc Removed files: tests : limitedbhrz03widening1.cc limitedh79widening1.cc limitedh79widening2.cc limitedh79widening3.cc limitedh79widening4.cc

Log message: From now on, the name `widening' is reserved for operators that come with a convergence guarantee (i.e., with the ability of turning infinite chains to finite ones). Upper bound operators without such a guarantee contain the word `extrapolation' in their name.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inter... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03extrapolati... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation2... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation3... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation4... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening4.cc.d...