summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorEnea Zaffanella <zaffanella@cs.unipr.it>2012-08-30 16:56:38 +0200
committerEnea Zaffanella <zaffanella@cs.unipr.it>2012-08-30 16:56:38 +0200
commit6d75839dc6ad19ce268208bd459ba9724efaa562 (patch)
tree51073318da7b81726ee72bfca1852a89a532007b /NEWS
parentec402f20b005730cac93521b9ce89718da352e00 (diff)
downloadppl-6d75839dc6ad19ce268208bd459ba9724efaa562.tar.gz
ppl-6d75839dc6ad19ce268208bd459ba9724efaa562.tar.bz2
ppl-6d75839dc6ad19ce268208bd459ba9724efaa562.zip
Updated news.
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS8
1 files changed, 8 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 8b0b11eb8..c63e20a4a 100644
--- a/NEWS
+++ b/NEWS
@@ -37,6 +37,14 @@ Bugfixes
o Portability improved.
+o Fixed a precision regression in Polyhedron method
+ void drop_some_non_integer_points(const Variables_Set&,
+ Complexity_Class);
+
+o In the Java interface, fixed declaration of methods
+ void drop_some_non_integer_points(...);
+ so as to accept a Complexity_Class enum value.
+
--------------------------------------------------------------------------
NEWS for version 1.0 (released on June 28, 2012)