April 2008 - PPL-devel - BUGSENG Mailman

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

ppl/doc devref-c-interface.tex devref.tex user ...
by Roberto Bagnara 30 Apr '08

30 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-04-30 12:54:56 Modified files: doc : devref-c-interface.tex devref.tex user-c-interface.tex user-prolog-interface.tex user.tex Log message: Package inclusions updated. We now set the `tocdepth' counter to 2 in order to obtain a more useful index. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 29 Apr '08

29 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-29 14:53:47 Modified files: src : BD_Shape.templates.hh Log message: Avoid useless computation in minimized_congruences(), thereby also silencing a compiler warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/Grid pointsetpowerset1.cc
by Enea Zaffanella 29 Apr '08

29 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-29 14:51:28 Modified files: tests/Grid : pointsetpowerset1.cc Log message: Test 15 is no longer failing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointsetpowerset1.…

1 0

ppl/src Octagonal_Shape.inlines.hh Octagonal_S ...
by Enea Zaffanella 28 Apr '08

28 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-28 16:47:20 Modified files: src : Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Corrected an efficiency bug in methods minimized_congruences() and congruences(). In method OK(), do not check for closure if the shape is based on non-exact (i.e., floating point) coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.templates.hh BD_Shape.inlines.hh
by Enea Zaffanella 28 Apr '08

28 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-28 15:01:59 Modified files: src : BD_Shape.templates.hh BD_Shape.inlines.hh Log message: Corrected an efficiency bug in methods minimized_congruences() and congruences(). 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/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Float.defs.hh
by Enea Zaffanella 28 Apr '08

28 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-28 12:28:54 Modified files: src : Float.defs.hh Log message: Added missing inclusion of meta_programming.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo…

1 0

ppl/src Temp.inlines.hh
by Abramo Bagnara 27 Apr '08

27 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-04-27 16:28:59 Modified files: src : Temp.inlines.hh Log message: Added missing inline. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.inlines.hh.diff?cvsr…

1 0

ppl/src Float.defs.hh
by Abramo Bagnara 27 Apr '08

27 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-04-27 16:28:31 Modified files: src : Float.defs.hh Log message: Added True/False helper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh Octagonal_Shape.defs.hh
by Enea Zaffanella 24 Apr '08

24 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-24 08:37:34 Modified files: src : Polyhedron.defs.hh Octagonal_Shape.defs.hh Log message: Do not refer to the undefined concept `reduced' for congruence systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0