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)