[PPL-devel] ppl interfaces/C/ppl_c.cc interfaces/Prolog/pp ...

Roberto Bagnara roberto at spartacus.cs.unipr.it
Sat Jun 15 18:42:16 CEST 2002


CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2002-06-15 18:42:16

Modified files:
	interfaces/C   : ppl_c.cc 
	interfaces/Prolog: ppl_prolog.icc 
	src            : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh 
	                 ConSys.defs.hh Constraint.defs.hh 
	                 GenSys.defs.hh NNC_Polyhedron.defs.hh 
	                 NNC_Polyhedron.inlines.hh 
	tests          : boundingbox2.cc 

Log message:
	Start replacing our ad hoc protection mechanisms with friendship.
	Got around the GCC bug described in http://gcc.gnu.org/bugs.html#known
	by exchanging the order of arguments in the constructors from
	bounding boxes of C_Polyhedron and NNC_Polyhedron.
	The test program boundingbox2.cc has been cleaned up consequently.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.48&r2=1.49
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.59&r2=1.60
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7




More information about the PPL-devel mailing list