September 2008 - PPL-devel - BUGSENG Mailman

[Fwd: Re: Missing symbols in C interface.]
by Roberto Bagnara 29 Sep '08

29 Sep '08

-------- Original Message -------- Subject: Re: Missing symbols in C interface. Date: Mon, 29 Sep 2008 18:30:59 +0200 From: Nicolas CANIART <nicolas.caniart(a)labri.fr> Reply-To: Nicolas CANIART <nicolas.caniart(a)labri.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <20080929122413.GA20943(a)labri.fr> <48E0DCC9.9040306(a)cs.unipr.it> On Mon, Sep 29, 2008 at 03:48:57PM +0200, Roberto Bagnara wrote: > Nicolas CANIART wrote: >> I'm currently working with PPL throught its C programming interface. >> For some days now, have been bothered by some missing symbols in the interface. >> Namely: >> >> ppl_Polyhedron_poly_hull_assign_and_minimize (*) >> ppl_new_C_Polyhedron_empty_from_dimension >> ppl_Polyhedron_constraints >> ppl_new_C_Polyhedron_from_dimension >> >> I'm working on a debian system and using the packaged version of ppl which is >> not necessarily up-to-date. Checking CVS log I saw that a bug was introduced >> in file: >> ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 >> and fixed at revision 1.29 so I tried to build the lib from CVS sources >> but with no more success. In fact the function (*) was not missing in the >> debian package but is now. Since I'm not completely sure that the >> above-mentionned bug is related to >> my problem, and where to look in ppl sources, I'm turning to you. >> Could you, please, shed some light on my problem. > > Dear Nicolas, > > first of all we should identify the precise version you are using. > Then, since some of the symbols above are obsolete, we would need to know > why you expect them to be defined. If you can tell us what you are > working on, we can certainly help. > Please direct all PPL-related messages to ppl-devel(a)cs.unipr.it. > 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 I'm currently working on a model checker which uses (amongst others) a library that was developped here at LaBRI and is called PresTAF [1]. It is a library used to encode linear sets of Naturals using automata. This library is also capable of formula synthesis from an automata. This is where PPL is used in PresTAF . The version of PPL PresTAF used to be built against is PPL-0.9. The version of PPL installed on my systems is PPL 0.10pre27 (cvs source snapshot made by the Debian Developper) and after my build problem occured I also tryed the CVS head (last update is 2 days old). But anyway from my point of view, I'm just a client of PresTAF and I don't really know/care how it is implemented. I wrote to you because I thought that the problem I was experiencing, were related to a bug in the C interface generation (I did not find any deprecation message about these symbols in the changelog). But if you say that some of these functions are, indeed, deprecated I guess the solution to my problem is to grab a snapshot of PPL-09 and i'll see with PresTAF maintainer what he decides to do about the newer version of PPL (the maintainer is on vacation right now...) And I guess I must apologize for bothering you. Thanks again, Nicolas. [1]: http://altarica.labri.fr/wiki/tools:tapas:start -- Nicolas CANIART | PhD. Student LaBRI, Domaine Universitaire | Room : 378 351, Cours de la Libération | Phone : +33 (0)540 003 511 F-33405 Talence CEDEX | e-mail: nicolas.caniart(a)labri.fr -- 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 1

ppl/interfaces/C ppl_c_implementation_common.d ...
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 19:19:29 Modified files: interfaces/C : ppl_c_implementation_common.defs.hh Log message: Temporarily inhibited DEFINE_ASCII_DUMP_LOAD_FUNCTIONS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa…

1 0

[Fwd: [Bug math/6869] sin() and cos() return grossly wrong results when rounding is set to upward]
by Roberto Bagnara 29 Sep '08

29 Sep '08

-------- Original Message -------- Subject: [Bug math/6869] sin() and cos() return grossly wrong results when rounding is set to upward Date: 29 Sep 2008 16:43:31 -0000 From: anders dot lennartsson at foi dot se <sourceware-bugzilla(a)sourceware.org> Reply-To: sourceware-bugzilla(a)sourceware.org To: bagnara(a)cs.unipr.it References: <20080905193441.6869.bagnara(a)cs.unipr.it> ------- Additional Comments From anders dot lennartsson at foi dot se 2008-09-29 16:43 ------- Created an attachment (id=2967) --> (http://sourceware.org/bugzilla/attachment.cgi?id=2967&action=view) modified version of test program and plot of results There are several intervals for which sine and cosine return wrong results, when rounding is adjusted according to the original bug report. I modified the original program to compute values for several angles, and plotted the results. The program and one plot are attached. As it turns out, not even for all arguments where |angle|<pi are the results completely correct. -- http://sourceware.org/bugzilla/show_bug.cgi?id=6869 ------- You are receiving this mail because: ------- You reported the bug, or are watching the reporter. -- 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/interfaces/C/tests cxxoutput.c
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 18:55:22 Modified files: interfaces/C/tests: cxxoutput.c Log message: Test with a higher dimension. Handle the case where malloc() returns 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/cxxoutput.…

1 0

[Fwd: Re: [Yap-users] Maximum number of foreign predicates?]
by Roberto Bagnara 29 Sep '08

29 Sep '08

-------- Original Message -------- Subject: Re: [Yap-users] Maximum number of foreign predicates? Date: Mon, 29 Sep 2008 00:04:21 +0100 From: Vítor Santos Costa <vsc(a)dcc.fc.up.pt> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: yap-users(a)lists.sourceforge.net References: <48BC4A08.3060407(a)cs.unipr.it> Hi Roberto (and yap-users) Sorry for taking so long to reply. I include a patch that seems to fix this bug for me. The patch and recent changes can also be found at http://gitorious.org/projects/yap-git The patch tries to handle DB overflows that may happen when you try to initialise a very large number of predicates. Please tell me if it works. This is a temporary location: yap has now moved to a git development model, and temporarily I am using gitorious to keep a copy. Cheers Vitor -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl/interfaces/C/tests print_to_buffer.cc
by Abramo Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-29 18:30:10 Modified files: interfaces/C/tests: print_to_buffer.cc Log message: Fixed corner case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0

ppl ./configure.ac ./configure.repo interfaces ...
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 17:58:24 Modified files: . : configure.ac configure.repo Added files: interfaces/C/tests: Makefile.am cxxoutput.c print_to_buffer.cc print_to_buffer.h Log message: Drafted a new test for the C interface, showing how to print a nice debugging output onto a malloc-allocated buffer. (The wrap_to_buffer() routine in print_to_buffer.cc has been written by Abramo Bagnara.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/Makefile.a… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/cxxoutput.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0

ppl/interfaces/Prolog/tests Makefile.am
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 17:06:41 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Do create ppl_prolog_generated_test.stamp. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces/C/tests .cvsignore
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 16:25:07 Added files: interfaces/C/tests: .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/.cvsignore…

1 0

ppl TODO
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 16:22:26 Modified files: . : TODO Log message: Item revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0