March 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

Sicstus prolog
by Ashutosh Gupta 29 Mar '08

29 Mar '08

Hello, I have downloaded PPL0.9. I have sicstus 4.... in my computer. It is failing to complile and saying SP_get_number_chars and SP_put_number_chars functions are mission in header files There is interface change in Sicstus prolog 4 from sicstus prolog 3. these functions are renamed.. Please check this URL http://www.sics.se/sicstus/docs/4.0.2/html/relnotes.html/Foreign-Language-A… regards, Ashutosh K Gupta

2 1

Thanks for the file.
by David Rodriguez Velazquez 29 Mar '08

29 Mar '08

Dear Roberto: Finally, I get the file from your link. I am going to start checking this version. Thanks for your help. I am going to work in this project and Sure I am going to give you the final version once I finish it. Also I think I am going to need assistance of the PPL developers. Thanks for help me. On the previous message you did mention about some updates on PPL from version 9 for this project. How can I get those updates. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

2 1

Re: [PPL-devel] ALV based on PPL
by Roberto Bagnara 29 Mar '08

29 Mar '08

Zijiang (James) Yang wrote: > Dear Roberto, > > We plan to integrate PPL into a software model checker using techniques > similar to Tevfik's Action Language Verifier. I contacted Tevfik for his > PPL-based ALV, but unfortunately he could not locate his copy. From my > student David I understand you have a copy. Tevfik agreed that I can ask > for the copy from you (I am cc'ing this email to Tevfik). In this case, > could you please email me the ALV package you have? > > Thanks in advance, and I will keep you updated on the project. > James Dear James, I have put the version I have of PPL-based ALV in ftp://ftp.cs.unipr.it/pub/ppl/applications/composite-parma-alpha.tgz We are in touch with your student David and we will help him to the best of our possibilities. 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

ppl configure.ac
by Roberto Bagnara 29 Mar '08

29 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-03-29 08:44:36 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Question about ALV & PPL
by David Rodriguez Velazquez 28 Mar '08

28 Mar '08

Hi. I have a question. I want to use ALV and PPL instead of Omega. Do you have any tip how can I start to work on it? Do you have any advice? Thanks. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

3 3

Fwd: Question about ALV and PPL
by David Rodriguez Velazquez 26 Mar '08

26 Mar '08

Dear Roberto: I sent the message to Tevfik and Ken but I have not received any answer. Did you receive any answer? Thanks for your time. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu

2 1

[Fwd: Re: Question about ALV & PPL]
by Roberto Bagnara 25 Mar '08

25 Mar '08

-------- Original Message -------- Subject: Re: [PPL-devel] Question about ALV & PPL Date: Tue, 25 Mar 2008 10:51:56 -0400 From: David Rodriguez Velazquez <david.rodriguez-velazquez(a)wmich.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Dear Roberto: Ok. I read the address in your web page. I am going to send the message to them. Sincerely. David Rodriguez Velazquez david.rodriguez-velazquez(a)wmich.edu ----- Original Message ----- From: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tuesday, March 25, 2008 10:27 am Subject: Re: [PPL-devel] Question about ALV & PPL > David Rodriguez Velazquez wrote: > > Dear Roberto : > > First, Thanks a lot for your fast email. > > > > Yes, ALV is the Action Language Verifier > > I installed the version 9 of PPL and version 4 of ALV. > > I don't know the Ken's email . > > Hi David, > > The email addresses of Ken and Tevfik are in CC in my > previous message. > > > Is it possible to get that version? > > I think so. However, I would prefer to know if Ken > and Tevfik have something to say on this subject. > There should not be any legal problem: since the PPL > is under the GNU General Public License, the version > of ALV I got must be under a GPL-compatible license. > But they may have a more recent version to offer > and/or advice on how to upgrade Ken's interface to > PPL 0.9 and ALV 0.4. > > > I could test in the new versions. > > OK. Let us give them the time to react to my message. > All the best, > > Roberto > > P.S. Please, direct all correspondence to ppl-devel(a)cs.unipr.it > > > > Sincerely. > > > > David Rodriguez Velazquez > > david.rodriguez-velazquez(a)wmich.edu > > > > > > ----- Original Message ----- > > From: Roberto Bagnara <bagnara(a)cs.unipr.it> > > Date: Tuesday, March 25, 2008 9:23 am > > Subject: Re: [PPL-devel] Question about ALV & PPL > > > >> David Rodriguez Velazquez wrote: > >>> I have a question. I want to use ALV and PPL instead of Omega. > >>> Do you have any tip how can I start to work on it? Do you have > >> any advice? > >> > >> Dear David, > >> > >> I assume by ALV you mean the Action Language Verifier > >> (http://www.cs.ucsb.edu/~bultan/composite/index.html). > >> > >> Back in 2003 Ken Mixter, under the direction of Tevfik Bultan > >> (both in CC), produced a version of ALV that is based on > >> the PPL. That version was never released to the public, > >> but I have a copy (I don't know if it is up-to-date). > >> The problem is that this was based on ALV 0.2 and PPL 0.4.2 > >> whereas the current version of ALV is 0.4 and the current > >> version of PPL is 0.9: I don't know if the PPL interface > >> developed by Ken is compatible with these new versions. > >> For the PPL side there is no problem at all: we can make the > >> required changes in a matter of minutes. I don't know > >> if the changes between ALV 0.2 to ALV 0.4 are more difficult > >> to accommodate. > >> > >> Let us see if Ken and or Tevfik have something > >> more up-to-date or some suggestion to offer. > >> All the best, > >> > >> Roberto > >> > >> -- > >> Prof. Roberto Bagnara > >> Computer Science Group > >> Department of Mathematics, University of Parma, Italy > >> http://www.cs.unipr.it/~bagnara/ > >> bagnara(a)cs.unipr.it > >> > > > > > -- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > bagnara(a)cs.unipr.it > _______________________________________________ > PPL-devel mailing list > PPL-devel(a)cs.unipr.it > http://www.cs.unipr.it/mailman/listinfo/ppl-devel > -- 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

Re: [PPL-devel] Question about ALV & PPL
by Roberto Bagnara 25 Mar '08

25 Mar '08

David Rodriguez Velazquez wrote: > Dear Roberto : > First, Thanks a lot for your fast email. > > Yes, ALV is the Action Language Verifier > I installed the version 9 of PPL and version 4 of ALV. > I don't know the Ken's email . Hi David, The email addresses of Ken and Tevfik are in CC in my previous message. > Is it possible to get that version? I think so. However, I would prefer to know if Ken and Tevfik have something to say on this subject. There should not be any legal problem: since the PPL is under the GNU General Public License, the version of ALV I got must be under a GPL-compatible license. But they may have a more recent version to offer and/or advice on how to upgrade Ken's interface to PPL 0.9 and ALV 0.4. > I could test in the new versions. OK. Let us give them the time to react to my message. All the best, Roberto P.S. Please, direct all correspondence to ppl-devel(a)cs.unipr.it > Sincerely. > > David Rodriguez Velazquez > david.rodriguez-velazquez(a)wmich.edu > > > ----- Original Message ----- > From: Roberto Bagnara <bagnara(a)cs.unipr.it> > Date: Tuesday, March 25, 2008 9:23 am > Subject: Re: [PPL-devel] Question about ALV & PPL > >> David Rodriguez Velazquez wrote: >>> I have a question. I want to use ALV and PPL instead of Omega. >>> Do you have any tip how can I start to work on it? Do you have >> any advice? >> >> Dear David, >> >> I assume by ALV you mean the Action Language Verifier >> (http://www.cs.ucsb.edu/~bultan/composite/index.html). >> >> Back in 2003 Ken Mixter, under the direction of Tevfik Bultan >> (both in CC), produced a version of ALV that is based on >> the PPL. That version was never released to the public, >> but I have a copy (I don't know if it is up-to-date). >> The problem is that this was based on ALV 0.2 and PPL 0.4.2 >> whereas the current version of ALV is 0.4 and the current >> version of PPL is 0.9: I don't know if the PPL interface >> developed by Ken is compatible with these new versions. >> For the PPL side there is no problem at all: we can make the >> required changes in a matter of minutes. I don't know >> if the changes between ALV 0.2 to ALV 0.4 are more difficult >> to accommodate. >> >> Let us see if Ken and or Tevfik have something >> more up-to-date or some suggestion to offer. >> All the best, >> >> Roberto >> >> -- >> Prof. Roberto Bagnara >> Computer Science Group >> Department of Mathematics, University of Parma, Italy >> http://www.cs.unipr.it/~bagnara/ >> bagnara(a)cs.unipr.it >> > -- 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

ppl src/Pointset_Powerset.cc src/Pointset_Powe ...
by Patricia Hill 25 Mar '08

25 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-25 10:27:22 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh tests/Grid : powersetdifference1.cc tests/Polyhedron: pointsetpowerset1.cc Log message: Changes mainly affect poly_difference_assign(). Added difference_assign() to be a clone of poly_difference_assign(). Added a couple of tests and improved an existing test. Replaced all lines: // FIXME: this is buggy when PS is not an abstraction of NNC_Polyhedron. by // This code is only used when PS is an abstraction of NNC_Polyhedron. since the Grid domains are specialised separately. Corrected a bug in poly_difference_assign() for Grids where some precision was wrongly lost (when a remainder was negative and had been assumed to be positive). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0