[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937cdd4961dd03a308ea37f1669ea3e2
Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720
Author: Roberto Bagnara <bagnara at 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=9ce7c8bdce348315c574891ecb60cc0dc4cb3720
Author: Roberto Bagnara <bagnara at 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=efbf989a1e9b1a2b0fb242de6c42cf6c74d241be
Author: Enea Zaffanella <zaffanella at 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=827e54079b1ec6528dd5d185c8d8d0694c891587
Author: Enea Zaffanella <zaffanella at 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=6c74abbd831d16868fabb6b90d1b57578e164cda
Author: Roberto Bagnara <bagnara at 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=bb1f4a6bc8f719a28b9a26bf817f064c348a2d36
Author: Enea Zaffanella <zaffanella at 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.