Module: ppl/ppl Branch: master Commit: 5c7a1d8b8f5bf71ff74d6df5ae13053aba91b28e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1d8b8f5bf... Author: Roberto Bagnara <roberto.bagnara@bugseng.com> Date: Thu Apr 4 15:10:57 2013 +0200 Updated. --- NEWS | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 954c7e8..5eda9f7 100644 --- a/NEWS +++ b/NEWS @@ -45,6 +45,9 @@ o In the Java interface, fixed declaration of methods void drop_some_non_integer_points(...); so as to accept a Complexity_Class enum value. +o Fixed an issue in method MIP_Problem::OK() whereby the method + was trying to enforce a non-invariant condition. + -------------------------------------------------------------------------- NEWS for version 1.0 (released on June 28, 2012)