February 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/tests/Box boundedaffinepreimage1.cc
by Patricia Hill 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-29 23:22:35 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: Corrected title line of file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0

ppl/tests/Octagonal_Shape addspacedims1.cc aff ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

ppl/tests/BD_Shape congruences1.cc
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 22:41:04 Modified files: tests/BD_Shape : congruences1.cc Log message: This was ripped from the Octagonal_Shape directory without even renaming variables or adapting comments: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/congruences1.c…

1 0

ppl/tests ppl_test.hh BD_Shape/addconstraints1 ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

ppl/tests/BD_Shape addconstraints1.cc addspace ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

ppl/tests/BD_Shape h79widening1.cc intersectio ...
by Roberto Bagnara 29 Feb '08

29 Feb '08

1 0

w3ppl/htdocs/Documentation BagnaraHZ08SCP.pdf
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 21:26:30 Added files: htdocs/Documentation: BagnaraHZ08SCP.pdf Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHZ08.pdf
by Roberto Bagnara 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-02-29 21:14:25 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHZ08.pdf Log message: BagnaraHZ08 renamed BagnaraHZ08SCP (the paper to appear on Science of Computer Programming). New paper BagnaraHZ08 (the VMCAI 2008 paper). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Box boundedaffinepreimage1.cc
by Patricia Hill 29 Feb '08

29 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-29 16:30:47 Modified files: tests/Box : boundedaffinepreimage1.cc Log message: In test03, result checked using check_result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffinepreima…

1 0