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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Nov 19 12:44:41 2015 +0100

Mention fixed bug.

---

NEWS | 7 +++++++ 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS index ea2858f..e4f862f 100644 --- a/NEWS +++ b/NEWS @@ -22,6 +22,13 @@ o TO BE WRITTEN Bugfixes ========

+o Fixed a bug in the implementation of methods + Pointset_Powerset<PSET>::relation_with(const Constraint&) const; + and + Pointset_Powerset<PSET>::relation_with(const Congruence&) const; + whereby the computed result for relations strictly_intersects() + and saturates() could have been wrong. + o Fixed a bug in the implementation of dense rows.

o Portability improved.