[PPL-devel] Fwd: Fwd: PPL Interface Issue
Roberto Bagnara
bagnara at cs.unipr.it
Thu May 15 19:03:11 CEST 2014
On 05/15/14 16:54, Syed Sabah-ud-Din Gilani wrote:
> 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.
Dear Syed,
as I said, PPL 0.9 is no longer maintained: you really have to
use the latest version. Adapting PHAVer to use the new version
is straightforward: I attach a minimal patch to this effect.
I also CC Goran Frehese hoping he will consider to incorporate
the changes in the main distribution for the benefit of others.
Kind regards,
Roberto
> On Thu, May 15, 2014 at 10:09 AM, Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>> wrote:
>
>
> Hello.
>
> PPL 0.9 is a very old release and it is no longer maintained.
> Please download the latest version and use that one.
>
> On 05/15/14 15:17, Syed Sabah-ud-Din Gilani wrote:
> > 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.
> > .
> > .
> > .
> > /make[1]: Entering directory `/home/leepians/ppl-0.9'
> > Making all in utils
> > make[2]: Entering directory `/home/leepians/ppl-0.9/utils'
> > 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; \
> > then mv -f ".deps/timings.Tpo" ".deps/timings.Po"; else rm -f ".deps/timings.Tpo"; exit 1; fi
> > timings.cc: In function ‘void start_clock()’:
> > timings.cc:53:11: error: ‘exit’ was not declared in this scope
> > exit(1);
> > ^
> > timings.cc: In function ‘void print_clock(std::ostream&)’:
> > timings.cc:64:11: error: ‘exit’ was not declared in this scope
> > exit(1);
> > ^
> > make[2]: *** [timings.o] Error 1
> > make[2]: Leaving directory `/home/leepians/ppl-0.9/utils'
> > make[1]: *** [all-recursive] Error 1
> > make[1]: Leaving directory `/home/leepians/ppl-0.9'
> > make: *** [all] Error 2/
>
> This was fixed 6.5 years ago:
>
> commit f31fe07c6482a3fd5175a3400d0521c795bfb408
> Author: Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>
> Date: Sat Dec 29 17:42:00 2007 +0000
>
> Include <cstdlib> for exit().
>
> > I have used the following commands to install ppl 0.9
> >
> > /C_INCLUDE_PATH=$MYPREFIX/include CXX_INCLUDE_PATH=$MYPREFIX/include LIBRARY_PATH=$MYPREFIX/lib ./configure --prefix=$MYPREFIX --with-libgmp-prefix=$MYPREFIX
>
> What are you trying to achieve by defining C_INCLUDE_PATH, CXX_INCLUDE_PATH
> and LIBRARY_PATH this way?
> Kind regards,
>
> Roberto
>
> > On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>> wrote:
> >
> > Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>> wrote:
> >
> > >Syed Sabah-ud-Din Gilani <leepianz at gmail.com <mailto:leepianz at gmail.com> <mailto:leepianz at gmail.com <mailto:leepianz at gmail.com>>> wrote:
> > >
> > >>Dear Sir,
> > >>
> > >>It seems to come from a use of string, and there are very few place in
> > >>Phaver where strings are used. I have already discussed with Dr. Goran
> > >>(Phaver author) but he told me that they did't tested Phaver with PPL
> > >>0.9
> > >>and later. He guided me to comment out methods that are excluded from
> > >>ppl
> > >>1.1 and I did it. Sir, could this error be due to those commented
> > >>methods
> > >>i.e shrink_bounding_box etc and if so, let me know the alternate
> > >>methods.
> > >>
> > >>Best Regards,
> > >>*Syed Sabah-ud-din Gilani*
> > >>
> > >>
> > >>On Thu, Apr 3, 2014 at 11:15 AM, Roberto Bagnara
> > >><bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>wrote:
> > >>
> > >>> Syed Sabah-ud-Din Gilani <leepianz at gmail.com <mailto:leepianz at gmail.com> <mailto:leepianz at gmail.com <mailto:leepianz at gmail.com>>> wrote:
> > >>>
> > >>> >Dear Sir,
> > >>> >
> > >>> >I have attached the ppl-1.1 'config.log' file. Actually I am
> > >working
> > >>on
> > >>> >Phaver hybrid model checker that uses PPL. After configuring
> > >>everything
> > >>> >successfully when I start checking my model in Phaver it generates
> > >>> >error. I
> > >>> >have also mentioned my input and resulting output below.
> > >>> >
> > >>> >*Input:*
> > >>> >-bash-3.2$ *./phaver mutex_2.pha *
> > >>> >
> > >>> >Note: mutex_2.pha is a phaver file that contains model to parse and
> > >>> >verify.
> > >>> >
> > >>> >*Output:*
> > >>> >
> > >>> > Parsing file mutex_2.pha.
> > >>> > -------------------------
> > >>> >File Opened
> > >>> >YY Parse started
> > >>> >terminate called after throwing an instance of 'std::out_of_range'
> > >>> > what(): basic_string::substr
> > >>> >Aborted
> > >>> >-bash-3.2$
> > >>> >
> > >>> >I am waiting and will be very glade to have your positive
> > >response.
> > >>> >
> > >>> >
> > >>> >Best Regards,
> > >>> >*Syed Sabah-ud-din Gilani*
> > >>> >
> > >>> >
> > >>> >---------- Forwarded message ----------
> > >>> >From: Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>
> > >>> >Date: Fri, Mar 21, 2014 at 12:45 PM
> > >>> >Subject: Re: [PPL-devel] Fwd: PPL Interface Issue
> > >>> >To: Syed Sabah-ud-Din Gilani <leepianz at gmail.com <mailto:leepianz at gmail.com> <mailto:leepianz at gmail.com <mailto:leepianz at gmail.com>>>
> > >>> >Cc: The Parma Polyhedra Library developers' list
> > >>> ><ppl-devel at cs.unipr.it <mailto:ppl-devel at cs.unipr.it> <mailto:ppl-devel at cs.unipr.it <mailto:ppl-devel at cs.unipr.it>>>
> > >>> >
> > >>> >
> > >>> >On 03/21/14 08:13, Syed Sabah-ud-Din Gilani wrote:
> > >>> >> I have used ppl 0.9 in my project, now I am upgrading it to ppl
> > >>1.1,
> > >>> >during compilation I had ppl interface issue i.e.
> > >>*shrink_bounding_box*
> > >>> >and
> > >>> >some other functions not found. I have commented all these
> > >functions
> > >>> >and
> > >>> >compiled my project successfully, now when I try to parse some file
> > >>it
> > >>> >returns me the following error:
> > >>> >> *
> > >>> >> *
> > >>> >> *terminate called after throwing an instance of
> > >>'std::out_of_range'*
> > >>> >> * what(): basic_string::substr*
> > >>> >> *Aborted*
> > >>> >>
> > >>> >> I want guidelines and will be glade to have you positive
> > >response.
> > >>> >
> > >>> >Dear Syed,
> > >>> >
> > >>> >more details are needed. Please explain what exactly is happening,
> > >>> >include the exact output you obtain from the compiler, explain what
> > >>> >you mean by "when I try to parse some file", and include the
> > >>> >`config.log' file that is generated by the `configure'
> > >>> >script with which you configured PPL 1.1.
> > >>> >Kind regards,
> > >>> >
> > >>> > Roberto
> > >>> >
> > >>> >--
> > >>> > Prof. Roberto Bagnara
> > >>> >
> > >>> >Applied Formal Methods Laboratory - University of Parma, Italy
> > >>> >mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>
> > >>> > BUGSENG srl - http://bugseng.com
> > >>> > mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com> <mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com>>
> > >>>
> > >>> Hello Syed. What makes you think the problem is related to the PPL?
> > >
> > >>From
> > >>> the output message you provided I see nothing suggesting this. Did
> > >>you get
> > >>> in touch with the Phaver authors/maintainers?
> > >>> Kind regards,
> > >>>
> > >>> Roberto
> > >>> --
> > >>> Sent from my Android phone with K-9 Mail. Please excuse my brevity.
> > >>>
> > >>
> > >>
> > >>------------------------------------------------------------------------
> > >>
> > >>_______________________________________________
> > >>PPL-devel mailing list
> > >>PPL-devel at cs.unipr.it <mailto:PPL-devel at cs.unipr.it> <mailto:PPL-devel at cs.unipr.it <mailto:PPL-devel at cs.unipr.it>>
> > >>http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> > >
> > >Dear Syed, I cannot check myself right now, but if you look at the PPL
> > >sources, you should see that string::substr() is only used (indirectly)
> > >in methods called ascii_load(). I very much doubt the ascii_load(),
> > >but please check that as well. If I am correct, then your observation
> > >has nothing to do with the PPL.
> > >Kind regards,
> > >
> > > Roberto
> > >--
> > >Sent from my Android phone with K-9 Mail. Please excuse my brevity.
> > >_______________________________________________
> > >PPL-devel mailing list
> > >PPL-devel at cs.unipr.it <mailto:PPL-devel at cs.unipr.it> <mailto:PPL-devel at cs.unipr.it <mailto:PPL-devel at cs.unipr.it>>
> > >http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> >
> > Sorry: one sentence got cut. I meant to tell you that I very much doubt Phaver uses the ascii_load() methods: please check that.
> > --
> > Sent from my Android phone with K-9 Mail. Please excuse my brevity.
> >
> >
>
>
> --
> Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>
> BUGSENG srl - http://bugseng.com
> mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com>
>
>
>
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara at bugseng.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: phaver.patch
Type: text/x-patch
Size: 11514 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140515/a783f8e9/attachment.bin>
More information about the PPL-devel
mailing list