[PPL-devel] ppl ./Makefile.am ./STANDARDS ./TODO ./config. ...
Roberto Bagnara
roberto at cs.unipr.it
Tue Oct 11 10:46:29 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Branch: grids
Changes by: roberto at 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&only_with_tag=grids&r1=1.28.2.3&r2=1.28.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&only_with_tag=grids&r1=1.21.2.4&r2=1.21.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_with_tag=grids&r1=1.141.2.3&r2=1.141.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl&only_with_tag=grids&r1=1.27.2.2&r2=1.27.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=grids&r1=1.159.2.4&r2=1.159.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cvsroot=ppl&only_with_tag=grids&r1=1.11.2.2&r2=1.11.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.42.2.3&r2=1.42.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.diff?cvsroot=ppl&only_with_tag=grids&r1=1.13.2.3&r2=1.13.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.32.2.2&r2=1.32.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.53.4.3&r2=1.53.4.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=ppl&only_with_tag=grids&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.26.4.2&r2=1.26.4.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&only_with_tag=grids&r1=1.18&r2=1.18.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.53.4.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.53.4.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.24.4.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.24.4.2&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?cvsroot=ppl&only_with_tag=grids&r1=1.47.2.3&r2=1.47.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&only_with_tag=grids&r1=1.37.2.1&r2=1.37.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.90.2.2&r2=1.90.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.4.2.4&r2=1.4.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.28.2.4&r2=1.28.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.19.2.4&r2=1.19.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.26.2.4&r2=1.26.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.48.2.3&r2=1.48.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.102.2.5&r2=1.102.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.5.2.5&r2=1.5.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.7.2.1&r2=1.7.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.59.2.3&r2=1.59.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.103.2.7&r2=1.103.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.9.2.2&r2=1.9.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.4.2.1&r2=1.4.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.18.2.3&r2=1.18.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.105.2.8&r2=1.105.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.10.2.3&r2=1.10.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.9.2.4&r2=1.9.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.14.2.4&r2=1.14.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.18.2.5&r2=1.18.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.27.2.3&r2=1.27.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.50.2.5&r2=1.50.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.30.2.5&r2=1.30.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.40.2.1&r2=1.40.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.9.2.3&r2=1.9.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.1&r2=1.1.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bgp99extrapolation1.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhz03widening1.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.5.2.4&r2=1.5.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimplex2.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.11.2.8&r2=1.11.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.1&r2=1.2.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.2.2.2&r2=1.2.2.3
More information about the PPL-devel
mailing list