[PPL-devel] ppl demos/ppl_lpsol/ppl_lpsol.c interfaces/C/p ...
Roberto Bagnara
roberto at cs.unipr.it
Sat Sep 3 13:34:09 CEST 2005
CVSROOT: /cvs/ppl
Module name: ppl
Branch: grids
Changes by: roberto at cs.unipr.it 2005-09-03 13:34:09
Modified files:
demos/ppl_lpsol: ppl_lpsol.c
interfaces/C : ppl_c.cc ppl_c.h.in
interfaces/Prolog: ppl_prolog.icc
interfaces/Prolog/Ciao: Makefile.am
src : BD_Shape.defs.hh BD_Shape.inlines.hh
C_Polyhedron.cc C_Polyhedron.defs.hh
C_Polyhedron.inlines.hh
Constraint_System.defs.hh
Determinate.inlines.hh NNC_Polyhedron.cc
NNC_Polyhedron.defs.hh
Polyhedra_Powerset.defs.hh
Polyhedra_Powerset.inlines.hh
Polyhedron.defs.hh Polyhedron.inlines.hh
Polyhedron_nonpublic.cc Powerset.inlines.hh
algorithms.hh simplex.cc
tests/BD_Shape : Makefile.am cc76extrapolation2.cc
cc76extrapolation6.cc ch78widening6.cc
exceptions1.cc
tests/Polyhedron: Makefile.am max_min1.cc max_min2.cc
Added files:
tests/BD_Shape : bdshull1.cc bdshull2.cc bdshull3.cc bdshull4.cc
tests/Polyhedron: primalsimplex1.cc
Removed files:
tests/BD_Shape : polyhull1.cc polyhull2.cc polyhull3.cc
polyhull4.cc
Log message:
Third merge from main trunk.
Patches:
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.2&r2=1.13.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.131.2.2&r2=1.131.2.3
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.2&r2=1.47.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.154.2.1&r2=1.154.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&only_with_tag=grids&r1=1.40.2.2&r2=1.40.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.2&r2=1.4.2.3
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.2&r2=1.28.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.14.2.1&r2=1.14.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.31.2.1&r2=1.31.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.24.2.1&r2=1.24.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.46.2.1&r2=1.46.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.13.2.1&r2=1.13.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.33.2.1&r2=1.33.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.1&r2=1.14.2.2
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.1&r2=1.18.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.266.2.2&r2=1.266.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.109.2.2&r2=1.109.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.46.2.1&r2=1.46.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.9.2.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.39.2.1&r2=1.39.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.1&r2=1.9.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull1.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull2.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull3.cc?cvsroot=ppl&only_with_tag=grids&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bdshull4.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.2&r2=1.5.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/cc76extrapolation6.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/ch78widening6.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/exceptions1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.2&r2=1.3.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/polyhull1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/polyhull2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/polyhull3.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/polyhull4.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimplex1.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.2&r2=1.11.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/max_min1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=1.3.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/max_min2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.3.2.1&r2=1.3.2.2
More information about the PPL-devel
mailing list