[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