URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc5983fb937cd... Merge: 6431f35e4360c7c8385635f1e262c2f984cf07b1 9ce7c8bdce348315c574891ecb60cc0dc4cb3720 Author: Roberto Bagnara bagnara@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=9ce7c8bdce348... Author: Roberto Bagnara bagnara@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=efbf989a1e9b1... Author: Enea Zaffanella zaffanella@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=827e54079b1ec... Author: Enea Zaffanella zaffanella@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=6c74abbd831d1... Author: Roberto Bagnara bagnara@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=bb1f4a6bc8f71... Author: Enea Zaffanella zaffanella@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.