Dear Sir, 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. Best Regards, *Syed Sabah-ud-din Gilani*
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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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$ Best Regards, *Syed Sabah-ud-din Gilani* On Fri, Mar 21, 2014 at 12:45 PM, Roberto Bagnara <bagnara@cs.unipr.it>wrote:
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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
Syed Sabah-ud-Din Gilani <leepianz@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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@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.
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@cs.unipr.it>wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@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.
Syed Sabah-ud-Din Gilani <leepianz@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@cs.unipr.it>wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@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@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.
Roberto Bagnara <bagnara@cs.unipr.it> wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@cs.unipr.it>wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@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@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@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.
Dear Sir, 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 utilsmake[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; fitimings.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 1make[1]: Leaving directory `/home/leepians/ppl-0.9'make: *** [all] Error 2* 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 makemake install * Waiting for your positive response. Best Regards, *Syed Sabah-ud-din Gilani* On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <bagnara@cs.unipr.it> wrote:
Roberto Bagnara <bagnara@cs.unipr.it> wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@cs.unipr.it>wrote:
Syed Sabah-ud-Din Gilani <leepianz@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@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@gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@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@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@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.
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@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@cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote:
Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote:
>Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@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@cs.unipr.it <mailto:bagnara@cs.unipr.it>>wrote: >> >>> Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@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@cs.unipr.it <mailto:bagnara@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@gmail.com <mailto:leepianz@gmail.com>> >>> >Cc: The Parma Polyhedra Library developers' list >>> ><ppl-devel@cs.unipr.it <mailto:ppl-devel@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> >>> > BUGSENG srl - http://bugseng.com >>> > mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@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@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
Dear Sir, 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. Best Regards, *Syed Sabah-ud-din Gilani* On Thu, May 15, 2014 at 10:09 AM, Roberto Bagnara <bagnara@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@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@cs.unipr.it<mailto: bagnara@cs.unipr.it>> wrote:
Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote:
>Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto: leepianz@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@cs.unipr.it <mailto:bagnara@cs.unipr.it>>wrote: >> >>> Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto: leepianz@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@cs.unipr.it <mailto: bagnara@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@gmail.com <mailto: leepianz@gmail.com>> >>> >Cc: The Parma Polyhedra Library developers' list >>> ><ppl-devel@cs.unipr.it <mailto:ppl-devel@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> >>> > BUGSENG srl - http://bugseng.com >>> > mailto: roberto.bagnara@bugseng.com <mailto:roberto.bagnara@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@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@cs.unipr.it <mailto:bagnara@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@cs.unipr.it <mailto:bagnara@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> <mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>>> wrote: > > Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it> <mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>>> wrote: > > >Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@gmail.com> <mailto:leepianz@gmail.com <mailto:leepianz@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> <mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>>>wrote: > >> > >>> Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@gmail.com> <mailto:leepianz@gmail.com <mailto:leepianz@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> <mailto:bagnara@cs.unipr.it <mailto:bagnara@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@gmail.com <mailto:leepianz@gmail.com> <mailto:leepianz@gmail.com <mailto:leepianz@gmail.com>>> > >>> >Cc: The Parma Polyhedra Library developers' list > >>> ><ppl-devel@cs.unipr.it <mailto:ppl-devel@cs.unipr.it> <mailto:ppl-devel@cs.unipr.it <mailto:ppl-devel@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> <mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>> > >>> > BUGSENG srl - http://bugseng.com > >>> > mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@bugseng.com> <mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@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@cs.unipr.it <mailto:PPL-devel@cs.unipr.it> <mailto:PPL-devel@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it <mailto:PPL-devel@cs.unipr.it> <mailto:PPL-devel@cs.unipr.it <mailto:PPL-devel@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@cs.unipr.it <mailto:bagnara@cs.unipr.it> BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@bugseng.com>
_______________________________________________ PPL-devel mailing list PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Roberto Bagnara -
Syed Sabah-ud-Din Gilani