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

Author: Enea Zaffanella enea.zaffanella@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.