[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