<div dir="ltr"><div>Dear Sir,<br><br></div> I have already tried the latest version of PPL and installed it successfully but it didn't solved my problem, actually I need exact that version (ppl 0.9) to compile PHAVer because due to change in PPL interface PHAVer doesn't work and generates bunch of errors. I will be very glad if you guide me to configure PPL-0.9.<br>
<br></div><div class="gmail_extra"><br clear="all"><div><div dir="ltr"><div><span style="font-family:arial;font-size:small">Best Regards,</span><br></div><div><div style="font-family:arial;font-size:small"><b>Syed Sabah-ud-din Gilani</b></div>
</div></div></div>
<br><br><div class="gmail_quote">On Thu, May 15, 2014 at 10:09 AM, Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Hello.<br>
<br>
PPL 0.9 is a very old release and it is no longer maintained.<br>
Please download the latest version and use that one.<br>
<div class=""><br>
On 05/15/14 15:17, Syed Sabah-ud-Din Gilani wrote:<br>
> I am getting following error during installing ppl 0.9 and have gmp 4.2.2 installed on my ubuntu 32 bit operating system. I have also attached the 'config.log' file in mail. I need your guidlines.<br>
> .<br>
> .<br>
> .<br>
</div>> /make[1]: Entering directory `/home/leepians/ppl-0.9'<br>
<div class="">> Making all in utils<br>
> make[2]: Entering directory `/home/leepians/ppl-0.9/utils'<br>
> if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I/home/leepians/local/include -W -Wall -g -O2 -MT timings.o -MD -MP -MF ".deps/timings.Tpo" -c -o timings.o timings.cc; \<br>
> then mv -f ".deps/timings.Tpo" ".deps/timings.Po"; else rm -f ".deps/timings.Tpo"; exit 1; fi<br>
> timings.cc: In function ‘void start_clock()’:<br>
> timings.cc:53:11: error: ‘exit’ was not declared in this scope<br>
> exit(1);<br>
> ^<br>
> timings.cc: In function ‘void print_clock(std::ostream&)’:<br>
> timings.cc:64:11: error: ‘exit’ was not declared in this scope<br>
> exit(1);<br>
> ^<br>
> make[2]: *** [timings.o] Error 1<br>
> make[2]: Leaving directory `/home/leepians/ppl-0.9/utils'<br>
> make[1]: *** [all-recursive] Error 1<br>
> make[1]: Leaving directory `/home/leepians/ppl-0.9'<br>
</div>> make: *** [all] Error 2/<br>
<br>
This was fixed 6.5 years ago:<br>
<br>
commit f31fe07c6482a3fd5175a3400d0521c795bfb408<br>
Author: Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>><br>
Date: Sat Dec 29 17:42:00 2007 +0000<br>
<br>
Include <cstdlib> for exit().<br>
<div class=""><br>
> I have used the following commands to install ppl 0.9<br>
><br>
</div>> /C_INCLUDE_PATH=$MYPREFIX/include CXX_INCLUDE_PATH=$MYPREFIX/include LIBRARY_PATH=$MYPREFIX/lib ./configure --prefix=$MYPREFIX --with-libgmp-prefix=$MYPREFIX<br>
<br>
What are you trying to achieve by defining C_INCLUDE_PATH, CXX_INCLUDE_PATH<br>
and LIBRARY_PATH this way?<br>
Kind regards,<br>
<br>
Roberto<br>
<br>
> On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>> wrote:<br>
><br>
> Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>> wrote:<br>
<div class="">><br>
> >Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a> <mailto:<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>>> wrote:<br>
> ><br>
> >>Dear Sir,<br>
> >><br>
> >>It seems to come from a use of string, and there are very few place in<br>
> >>Phaver where strings are used. I have already discussed with Dr. Goran<br>
> >>(Phaver author) but he told me that they did't tested Phaver with PPL<br>
> >>0.9<br>
> >>and later. He guided me to comment out methods that are excluded from<br>
> >>ppl<br>
> >>1.1 and I did it. Sir, could this error be due to those commented<br>
> >>methods<br>
> >>i.e shrink_bounding_box etc and if so, let me know the alternate<br>
> >>methods.<br>
> >><br>
> >>Best Regards,<br>
> >>*Syed Sabah-ud-din Gilani*<br>
> >><br>
> >><br>
> >>On Thu, Apr 3, 2014 at 11:15 AM, Roberto Bagnara<br>
</div>> >><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>>wrote:<br>
<div><div class="h5">> >><br>
> >>> Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a> <mailto:<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>>> wrote:<br>
> >>><br>
> >>> >Dear Sir,<br>
> >>> ><br>
> >>> >I have attached the ppl-1.1 'config.log' file. Actually I am<br>
> >working<br>
> >>on<br>
> >>> >Phaver hybrid model checker that uses PPL. After configuring<br>
> >>everything<br>
> >>> >successfully when I start checking my model in Phaver it generates<br>
> >>> >error. I<br>
> >>> >have also mentioned my input and resulting output below.<br>
> >>> ><br>
> >>> >*Input:*<br>
> >>> >-bash-3.2$ *./phaver mutex_2.pha *<br>
> >>> ><br>
> >>> >Note: mutex_2.pha is a phaver file that contains model to parse and<br>
> >>> >verify.<br>
> >>> ><br>
> >>> >*Output:*<br>
> >>> ><br>
> >>> > Parsing file mutex_2.pha.<br>
> >>> > -------------------------<br>
> >>> >File Opened<br>
> >>> >YY Parse started<br>
> >>> >terminate called after throwing an instance of 'std::out_of_range'<br>
> >>> > what(): basic_string::substr<br>
> >>> >Aborted<br>
> >>> >-bash-3.2$<br>
> >>> ><br>
> >>> >I am waiting and will be very glade to have your positive<br>
> >response.<br>
> >>> ><br>
> >>> ><br>
> >>> >Best Regards,<br>
> >>> >*Syed Sabah-ud-din Gilani*<br>
> >>> ><br>
> >>> ><br>
> >>> >---------- Forwarded message ----------<br>
</div></div><div class="">> >>> >From: Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>><br>
> >>> >Date: Fri, Mar 21, 2014 at 12:45 PM<br>
> >>> >Subject: Re: [PPL-devel] Fwd: PPL Interface Issue<br>
</div><div class="">> >>> >To: Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a> <mailto:<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>>><br>
> >>> >Cc: The Parma Polyhedra Library developers' list<br>
</div><div><div class="h5">> >>> ><<a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a> <mailto:<a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a>>><br>
> >>> ><br>
> >>> ><br>
> >>> >On 03/21/14 08:13, Syed Sabah-ud-Din Gilani wrote:<br>
> >>> >> I have used ppl 0.9 in my project, now I am upgrading it to ppl<br>
> >>1.1,<br>
> >>> >during compilation I had ppl interface issue i.e.<br>
> >>*shrink_bounding_box*<br>
> >>> >and<br>
> >>> >some other functions not found. I have commented all these<br>
> >functions<br>
> >>> >and<br>
> >>> >compiled my project successfully, now when I try to parse some file<br>
> >>it<br>
> >>> >returns me the following error:<br>
> >>> >> *<br>
> >>> >> *<br>
> >>> >> *terminate called after throwing an instance of<br>
> >>'std::out_of_range'*<br>
> >>> >> * what(): basic_string::substr*<br>
> >>> >> *Aborted*<br>
> >>> >><br>
> >>> >> I want guidelines and will be glade to have you positive<br>
> >response.<br>
> >>> ><br>
> >>> >Dear Syed,<br>
> >>> ><br>
> >>> >more details are needed. Please explain what exactly is happening,<br>
> >>> >include the exact output you obtain from the compiler, explain what<br>
> >>> >you mean by "when I try to parse some file", and include the<br>
> >>> >`config.log' file that is generated by the `configure'<br>
> >>> >script with which you configured PPL 1.1.<br>
> >>> >Kind regards,<br>
> >>> ><br>
> >>> > Roberto<br>
> >>> ><br>
> >>> >--<br>
> >>> > Prof. Roberto Bagnara<br>
> >>> ><br>
> >>> >Applied Formal Methods Laboratory - University of Parma, Italy<br>
</div></div>> >>> >mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a> <mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>><br>
<div class="">> >>> > BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
</div>> >>> > mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a> <mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a>><br>
<div class="">> >>><br>
> >>> Hello Syed. What makes you think the problem is related to the PPL?<br>
> ><br>
> >>From<br>
> >>> the output message you provided I see nothing suggesting this. Did<br>
> >>you get<br>
> >>> in touch with the Phaver authors/maintainers?<br>
> >>> Kind regards,<br>
> >>><br>
> >>> Roberto<br>
> >>> --<br>
> >>> Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
> >>><br>
> >><br>
> >><br>
> >>------------------------------------------------------------------------<br>
> >><br>
> >>_______________________________________________<br>
> >>PPL-devel mailing list<br>
</div>> >><a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a> <mailto:<a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a>><br>
<div class="">> >><a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" target="_blank">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br>
> ><br>
> >Dear Syed, I cannot check myself right now, but if you look at the PPL<br>
> >sources, you should see that string::substr() is only used (indirectly)<br>
> >in methods called ascii_load(). I very much doubt the ascii_load(),<br>
> >but please check that as well. If I am correct, then your observation<br>
> >has nothing to do with the PPL.<br>
> >Kind regards,<br>
> ><br>
> > Roberto<br>
> >--<br>
> >Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
> >_______________________________________________<br>
> >PPL-devel mailing list<br>
</div>> ><a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a> <mailto:<a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a>><br>
<div class="im HOEnZb">> ><a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" target="_blank">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br>
><br>
> Sorry: one sentence got cut. I meant to tell you that I very much doubt Phaver uses the ascii_load() methods: please check that.<br>
> --<br>
> Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
><br>
><br>
<br>
<br>
</div><div class="HOEnZb"><div class="h5">--<br>
Prof. Roberto Bagnara<br>
<br>
Applied Formal Methods Laboratory - University of Parma, Italy<br>
mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a><br>
BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a><br>
</div></div></blockquote></div><br></div>