CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto@cs.unipr.it 2005-10-11 10:46:29

Modified files: . : Makefile.am STANDARDS TODO config.guess configure.ac Watchdog : config.guess Watchdog/src : Makefile.am Makefile.in Watchdog/utils : Makefile.am demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c doc : Makefile.am README.doc devref.doxyconf-html.in devref.tex user.doxyconf-html.in user.tex interfaces/C : ppl_c.h.in interfaces/Prolog/XSB: ppl_xsb.H interfaces/Prolog/YAP: ppl_yap.cc src : BD_Shape.defs.hh BD_Shape.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Constraint.cc Constraint.defs.hh GMP_Integer.defs.hh GMP_Integer.types.hh Generator.cc Generator.defs.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Linear_System.cc Makefile.am Native_Integer.defs.hh Native_Integer.inlines.hh Polyhedra_Powerset.cc Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Polyhedron_chdims.cc Polyhedron_public.cc checked_float.inlines.hh minimize.cc simplex.cc tests : Random_Number_Generator.inlines.hh tests/BD_Shape : Makefile.am tests/Polyhedron: Makefile.am numberinput1.cc polypowerset1.cc utils : Makefile.am Added files: doc : devref.doxyconf-latex.in user.doxyconf-latex.in tests/BD_Shape : bgp99extrapolation1.cc bhz03widening1.cc tests/Polyhedron: powerset1.cc primalsimplex2.cc Removed files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in

Log message: Fifth merge from main trunk.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.in.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-lat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-late... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-latex... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... 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/BD_Shape.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bgp99extrapolat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhz03widening1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimplex... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot...