CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-12-14 18:44:26 Modified files: . : NEWS doc : definitions.dox 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/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 : Polyhedron.cc Polyhedron.defs.hh algorithms.hh tests : Makefile.am exceptions1.cc exceptions2.cc limitedbbrz02widening1.cc Added files: tests : bhrz03widening1.cc bhrz03widening10.cc bhrz03widening11.cc bhrz03widening12.cc bhrz03widening13.cc bhrz03widening14.cc bhrz03widening15.cc bhrz03widening16.cc bhrz03widening17.cc bhrz03widening18.cc bhrz03widening19.cc bhrz03widening2.cc bhrz03widening3.cc bhrz03widening4.cc bhrz03widening5.cc bhrz03widening6.cc bhrz03widening7.cc bhrz03widening8.cc bhrz03widening9.cc Removed files: tests : bbrz02widening1.cc bbrz02widening10.cc bbrz02widening11.cc bbrz02widening12.cc bbrz02widening13.cc bbrz02widening14.cc bbrz02widening15.cc bbrz02widening16.cc bbrz02widening17.cc bbrz02widening18.cc bbrz02widening19.cc bbrz02widening2.cc bbrz02widening3.cc bbrz02widening4.cc bbrz02widening5.cc bbrz02widening6.cc bbrz02widening7.cc bbrz02widening8.cc bbrz02widening9.cc Log message: The new widening is now nicknamed BHRZ03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.49&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... 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/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/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/algorithms.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening1.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening10.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening11.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening12.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening13.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening14.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening16.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening17.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening18.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening19.cc?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening3.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening4.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening5.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening6.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening7.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening8.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc?cvsro... 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/exceptions1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening10.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening11.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening12.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening13.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening14.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening15.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening16.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening17.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening18.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening19.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening5.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening9.cc.diff?...