April 2009 - PPL-devel - BUGSENG Mailman

Problems with test suite on alpha
by Michael Tautschnig 09 Sep '10

09 Sep '10

Hi PPL developers, I've reported problems with some test cases because of suspected gcc bugs on alpha earlier already. Now it seems that even more test cases are broken, most probably because of the very same bug (I suspect it to be http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966). My question now is: How to proceed? Shall I specifically disable the failing test cases by surrounding them with an #ifndef __alpha__ or disable the entire test suite on alpha? Thanks, Michael

2 6

Re: [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.]
by Enea Zaffanella 11 May '09

11 May '09

Yuriy Taraday wrote: > Oh, we didn't mention this function before. > I'm curious why "const jobject&"? jobject - just a pointer and constant > referencing to a pointer looks pointless. [...] > //! Returns a pointer to the C++ object wrapped by \p ppl_object. > void* > get_ptr(JNIEnv* env, const jobject& ppl_object); I guess that, since we are not JNI experts, we just tried to take a safer approach whereby the `jobject' datatype is treated as a black box. Usually, when we need to pass a "black box" datatype as an argument, we pass it by reference; since we do not need to modify it in this function, we also qualify it using const. I just realized that we haven't been fully systematic in this respect, since we also have the helper function //! Returns \c true if and only if \p obj is a null Java reference. jboolean is_null(JNIEnv* env, jobject obj); which is passing its jobject argument by copy. Cheers, Enea Zaffanella.

2 3

Check dependency resolution for 64 bit linking
by Markus Elfring 04 May '09

04 May '09

Hello, I try to compile your software library on my own. Unfortunately, I get an error message from the build process after the configuration on my openSUSE 11.1 system. elfring@Sonne:~/Projekte/PPL/trunk> ./configure --enable-optimization --enable-pch && make -j4 ... make[3]: Entering directory `/home/elfring/Projekte/PPL/trunk/src' CXXLD libppl.la /usr/local/lib/../lib/libstdc++.so: could not read symbols: File in wrong format collect2: ld returned 1 exit status make[3]: *** [libppl.la] Fehler 1 ... elfring@Sonne:~/Projekte/PPL/trunk> file /usr/local/lib/../lib/libstdc++.so /usr/local/lib/../lib/libstdc++.so: symbolic link to `libstdc++.so.6.0.10' 2.6.28.7-default #1 SMP PREEMPT Sun Mar 1 18:21:35 CET 2009 x86_64 x86_64 x86_64 GNU/Linux I have got the impression that there is a 64 bit compatibility problem. Can it be solved with autoconf macros in your project? Regards, Markus

2 19

ppl_io_asprint_* behavior for null pointers?
by Basile STARYNKEVITCH 04 May '09

04 May '09

Hello All and Roberto & Enea. May I suggest that all the ppl_io_asprint_* C functions in ppl_c.h & libppl_c.so accept a null pointer as the PPL thing? More precisely, I was expecting char* s = 0; Polyhedron_t poly= NULL; ppl_io_asprint_Polyhedron(&s,poly); would not crash, but it does crash. I was supposing it would either leave s as it was, or fill it will a null pointer, an empty string, or eg a string like "{null polyhedron}" or just "*null*". I was not expecting it to crash. Of course, one could imagine that this does not happen. As a case in point, under Linux or GNU libc, a printf("%s\n", (char*)NULL); output (null). And I know that it "should" crash according to Posix or C standard lawyers (IIRC, it did crash under older versions of Sun Solaris). A simpler for you solution would be to document explicitly that ppl_io_asprint_Polyhedron expects a proper Polyhedron_t pointer (not a null pointer). The documentation http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10.2-h… states that int ppl_io_asprint_Polyhedron <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10.2-h…> (char **strp, ppl_const_Polyhedron_t <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10.2-h…> x) Prints |x| to a malloc-allocated string, a pointer to which is returned via |strp|. You could at least say: Prints |x| to a malloc-allocated string, a pointer to which is returned via |strp|. Both x and strp should be proper pointers (undefined behavior if either is nil). Selfishly, I would prefer that the documentation explicitly says for instance Prints |x| to a malloc-allocated string, a pointer to which is returned via |strp|. Does nothing if either strp or x is a nil pointer. or Prints |x| to a malloc-allocated string, a pointer to which is returned via |strp|. Does nothing if strp is nil. If x is nil, return via strp an strdup-ed string duplicating "{null polyhedron}" and of course that the function behave as documented in the bizarre case when strp or x are nil. Please accept my apologies for using your ppl_io_asprint_Polyhedron <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10.2-h…> function in such a bizarre situation. I have the habit of initializing all my pointers to nil, and I do know (and do code) that ppl_Polyhedron_t is a pointer to some opaque structure tagged ppl_Polyhedron_tag. <http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-c-interface-0.10.2-h…> BTW, I was suprized to read the tag word in this context in your documentation. for me, ppl_Polyhedron_tag is the name (not a tag) of an opaque (or private) struct-ure, not its tag : I tend to associate tags to discriminated unions, or to magic like the Tag_hd macro of <caml/mlvalues.h>. But I would expect the ppl_Polyhedron_tag identifier to stay, since the documentation mentions it! [So for me, a tag is known at runtime, while a name is for compile-time]. Still, a very big thanks for PPL. You definitely should be proud of it. Regards. PS. Totally unrelated, but you might be interested: J.Pitrat's latest book http://www.iste.co.uk/index.php?f=x&ACTION=View&id=257 "Artificial Beings - conscience of a conscious machine" ISBN: 97818482211018 explain a bit an interesting approach to constraint satisfaction problems. I enjoyed reading this book. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***

2 1

[GIT] ppl/ppl(master): Useless friend declaration removed.
by Roberto Bagnara 30 Apr '09

30 Apr '09

Module: ppl/ppl Branch: master Commit: b066995711ae2cb8441faec05b44a81ba71c62ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 22:10:16 2009 +0200 Useless friend declaration removed. --- src/Grid.defs.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index a0ad1c8..54a5dbf 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1803,8 +1803,6 @@ public: friend class Parma_Polyhedra_Library::Grid_Certificate; - template <typename Interval> friend class Parma_Polyhedra_Library::Box; - //! \name Miscellaneous Member Functions //@{

1 0

[GIT] ppl/ppl(bounded_arithmetic): New commits
by Roberto Bagnara 30 Apr '09

30 Apr '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937c… Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 20:18:37 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce7c8bdce34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 19:30:47 2009 +0200 Removed obsolete support for grid covering boxes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efbf989a1e9b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 30 17:07:37 2009 +0200 Fixed initialization for Java interface (explicit initialization required). Java class Parma_Polyhedra_Library now has two new static methods: initialize_library() and finalize_library(). The first one, to be called after loading the library and before calling any other library method, will provide proper initialization of both the C++ data structures and the Java class and field/method ID caches. The second one, to be called when no longer using the library, will clear the cache, deleting all stored global references, thereby allowing for the PPL Java classes to be garbage collected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=827e54079b1e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 28 09:36:30 2009 +0200 Fixed a typo causing improper cleaning of Java interface files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c74abbd831d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 27 19:06:12 2009 +0200 Use LT_PREREQ to ensure a recent-enough version of Libtool is used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb1f4a6bc8f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 27 14:16:31 2009 +0200 Fixed a few residual issue in Java interface method ID caching. Factored away common code in helper functions build_cxx_*_system. Inlined a few helper functions.

1 0

[GIT] ppl/ppl(master): Removed obsolete support for grid covering boxes.
by Roberto Bagnara 30 Apr '09

30 Apr '09

Module: ppl/ppl Branch: master Commit: 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ce7c8bdce34… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 19:30:47 2009 +0200 Removed obsolete support for grid covering boxes. --- src/Grid.defs.hh | 101 ------------------ src/Grid.templates.hh | 272 ------------------------------------------------- src/globals.defs.hh | 7 -- 3 files changed, 0 insertions(+), 380 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9ce7c8bd…

1 0

[GIT] ppl/ppl(master): Fixed initialization for Java interface ( explicit initialization required).
by Enea Zaffanella 30 Apr '09

30 Apr '09

Module: ppl/ppl Branch: master Commit: efbf989a1e9b1a2b0fb242de6c42cf6c74d241be URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efbf989a1e9b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 30 17:07:37 2009 +0200 Fixed initialization for Java interface (explicit initialization required). Java class Parma_Polyhedra_Library now has two new static methods: initialize_library() and finalize_library(). The first one, to be called after loading the library and before calling any other library method, will provide proper initialization of both the C++ data structures and the Java class and field/method ID caches. The second one, to be called when no longer using the library, will clear the cache, deleting all stored global references, thereby allowing for the PPL Java classes to be garbage collected. --- interfaces/Java/jni/ppl_java_common.cc | 307 +++++++++++++------- interfaces/Java/jni/ppl_java_common.defs.hh | 167 ++++++------ interfaces/Java/jni/ppl_java_common.inlines.hh | 41 +-- interfaces/Java/jni/ppl_java_globals.cc | 82 +++--- .../Parma_Polyhedra_Library.java | 11 + interfaces/Java/tests/C_Polyhedron_test1.java | 12 +- interfaces/Java/tests/MIP_Problem_test1.java | 12 +- interfaces/Java/tests/NNC_Polyhedron_test1.java | 12 +- .../Java/tests/Parma_Polyhedra_Library_test1.java | 12 +- .../ppl_interface_generator_java_test_java.m4 | 2 + interfaces/Java/tests/ppl_java_tests_common | 1 + 11 files changed, 366 insertions(+), 293 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=efbf989a…

1 0

[GIT] ppl/w3ppl(master): Updated entry concerning Katy's PhD.
by Patricia Hill 30 Apr '09

30 Apr '09

Module: ppl/w3ppl Branch: master Commit: 9956c98f4146360fff84c0c0bba149bce52d80ef URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=9956c98f41… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Apr 30 12:11:39 2009 +0100 Updated entry concerning Katy's PhD. --- htdocs/news.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index 0ff0ead..029cb9d 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -94,7 +94,7 @@ of the Parma Polyhedra Library. <TD> Congratulations to Katy Dobson - who has been recommended for the degree of PhD with the thesis + who has been awarded the degree of PhD with the thesis <A HREF="http://www.comp.leeds.ac.uk/cgi-bin/sis/ext/rs_pub.cgi?cmd=listtheses&paget…">Grid Domains for Analysing Software</A> (supervisor <A HREF="http://www.comp.leeds.ac.uk/hill">Patricia Hill</A>). </TD>

1 0

[GIT] ppl/w3ppl(master): Old news item removed from the front page.
by Roberto Bagnara 29 Apr '09

29 Apr '09

Module: ppl/w3ppl Branch: master Commit: 33382dfb50977350b34674169853f6c5d9391916 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=33382dfb50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 15:37:28 2009 +0200 Old news item removed from the front page. --- htdocs/ppl.raw | 11 ----------- 1 files changed, 0 insertions(+), 11 deletions(-) diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 60fa6dd..3345f93 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -102,17 +102,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Feb 22, 2009</TT></TD> - <TD> - PPL development moved to Git - - PPL development moved away from CVS and now uses the - <A HREF="http://git-scm.com/">Git distributed version control system</A>. - See the <A HREF="Download/Git">PPL Git page</A> for all the details. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.

1 0