May 2008 - PPL-devel - BUGSENG Mailman

ppl/src Box.defs.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 22:26:05 Modified files: src : Box.defs.hh Log message: Useless inclusion removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/src Octagonal_Shape.templates.hh BD_Shape. ...
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 22:13:11 Modified files: src : Octagonal_Shape.templates.hh BD_Shape.templates.hh Log message: Unreachable breaks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Pointset_Ask_Tell.defs.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 22:12:24 Modified files: src : Pointset_Ask_Tell.defs.hh Log message: Inclusions fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh…

1 0

ppl/src MIP_Problem.cc Polyhedron_public.cc
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:58:33 Modified files: src : MIP_Problem.cc Polyhedron_public.cc Log message: Unreachable breaks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Pointset_Powerset.defs.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:58:13 Modified files: src : Pointset_Powerset.defs.hh Log message: Inclusions fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src compiler.hh fpu.defs.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:46:35 Modified files: src : compiler.hh fpu.defs.hh Log message: Do not try to use asm() statements unless defined(__GNUC__). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=…

1 0

ppl/src checked_mpz.inlines.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:45:42 Modified files: src : checked_mpz.inlines.hh Log message: Warning avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:45:15 Modified files: src : Box.templates.hh Log message: Code formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Roberto Bagnara 11 May '08

11 May '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-05-11 21:44:20 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Avoid shadowing and repeated computations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

Re: [PPL-devel] static initialization interferes with OpenGL
by Manoj Rajagopalan 11 May '08

11 May '08

Hi Roberto, I am using PPL v0.9.16 from one of the Fedora 8 repositories (fedora extras?). I am attaching a short C++ program to print out the OpenGL version. It requires GLUT. When I comment out the inclusion of ppl.hh the code runs. I built the executable with the command: g++ glversion.cpp -o glversion -lppl -lglut -lGLU -lGL Thanks, Manoj Roberto Bagnara wrote: > Manoj Rajagopalan wrote: >> This looks like a bug to me. I'm working on a Intel Core 2 Duo / >> Fedora 8 laptop. >> >> In any application that uses OpenGL, simply including ppl.hh causes >> the program to hang. Running GDB and interrupting it shows an error in >> the OpenGL library (libGL.so). This is strange but I don't know why it >> is happening. I am not encountering any error in non-OpenGL programs >> using Parma. >> >> My OpenGL driver is the NVIDIA driver from Livna. >> >> Has anyone encountered something like this before? > > Hi Manoj, > > which version of the PPL are you using? Can you provide us with > a short testcase so that we try to reproduce the problem? > All the best, > > Roberto >

2 4