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.