[PPL-devel] [GIT] ppl/ppl(master): Mention recently fixed Java interface bug.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 7251d8f70a5c3a1964ef8babb0b39c12f2405ca3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7251d8f70a5c3a1964ef8babb0b39c12f2405ca3

Author: Enea Zaffanella <enea.zaffanella at bugseng.com>
Date:   Mon Sep  9 16:27:14 2013 +0200

Mention recently fixed Java interface bug.

The bug was observed by Gianluca Amato when working (in Java)
using a 32 bit build of the PPL.
Fixed in commit 30478fbeb75f3e675ec0b3eff32f0a8dd7991f7a

---

 NEWS |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index 5eda9f7..2b035af 100644
--- a/NEWS
+++ b/NEWS
@@ -41,6 +41,11 @@ o  Fixed a precision regression in Polyhedron method
      void drop_some_non_integer_points(const Variables_Set&,
                                        Complexity_Class);
 
+o  In the Java language interface, fixed a C++/Java conversion error
+   whereby the construction of a valid Variable object in JNI code
+   was leading to an exception being thrown. The bug has only been
+   observed on 32-bit builds.
+
 o  In the Java interface, fixed declaration of methods
      void drop_some_non_integer_points(...);
    so as to accept a Complexity_Class enum value.