Module: ppl/ppl Branch: devel Commit: e1d8ae6dff428bd849b8fe3b0adc7d40e9e0891f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1d8ae6dff428...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 10 09:49:57 2016 +0100

Mentioned the improvement in the polyhedra conversion algorithm.

---

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

diff --git a/NEWS b/NEWS index bee0c90..49ff56f 100644 --- a/NEWS +++ b/NEWS @@ -15,8 +15,11 @@ NEWS for version 1.2 (released date to be decided) New and Changed Features ========================

-o TO BE WRITTEN +o Improved the efficiency of the conversion procedure for polyhedra + by adding a quick adjacency check.

+o In the Java language interface, throw an exception when trying + to build a disequality Constraint.

Bugfixes