November 2002 - PPL-devel - BUGSENG Mailman

Recent change concerning the PPL output operators
by Roberto Bagnara 04 Nov '02

04 Nov '02

The recent change concerning the confinment of PPL's output operators into the Parma_Polyhedra_Library::IO_Operators namespace has triggered a problem that makes it impossible to compile the test program smm1.cc with gcc 3.2 and -DNOISY=1. After a quite deep investigation that, among other things, has had the positive consequence of porting PPL to two new C++ compilers, I have concluded that this is likely to be a newly introduced gcc bug. See http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&… for more information. I am still looking for a workaround, but found nothing up to now. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:15:45 Modified files: htdocs/Links : Links.raw Log message: Added links to Ciao Prolog and XSB. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:12:29 Modified files: src : Polyhedron.inlines.hh Log message: Reposition a declaration that was moved by mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am ciao_cl ...
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:03:45 Modified files: interfaces/Prolog/Ciao: Makefile.am Added files: interfaces/Prolog/Ciao: ciao_clpq.pl Log message: Little progress in the Ciao-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 12:02:45 Modified files: src : Polyhedron.inlines.hh Log message: Improved comments for Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Elisa Ricci 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-04 11:36:57 Modified files: src : Polyhedron.inlines.hh Log message: In Polyhedron::shrink_bounding_box() added the comment that explains why we change the sign of `n' when we built the ExtendedRational `r`. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 10:29:23 Modified files: src : Polyhedron.inlines.hh Log message: Avoid taking references to temporary GMP expressions. FIXME about a missing comment added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/tests boundingbox3.cc boundingbox4.cc
by Elisa Ricci 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-04 09:34:55 Modified files: tests : boundingbox3.cc boundingbox4.cc Log message: Modified these tests so that they also verify Polyhedron::shrink_bounding_box(box, POLYNOMIAL). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 04 Nov '02

04 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-04 08:38:17 Modified files: src : Polyhedron.cc Log message: Avoid some useless copies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 03 Nov '02

03 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-03 23:30:57 Modified files: src : Polyhedron.cc Log message: Avoid taking references to temporary GMP expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0