From 87022c23c61b64107585cc6ea2423fa88dc8be60 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 10 Aug 2021 13:37:33 +0200 Subject: [PATCH] * NEWS: Update for 2.9.8. --- NEWS | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 11edc1717..cef3072d9 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,21 @@ New in spot 2.9.7.dev (not yet released) + Documentation: + + - Mention the conda-forge package. + Bugs fixed: - left->intersacting_run(right) could return a run with incorrect colors (likely not corresponding to any existing transition of - left) if left was a weak automaton. + left) if left was a weak automaton. (Issue #471) + + - Fix bitset::operator-() causing issues when Spot was configured + with more than 32 colors for instance with --enable-max-sets=64. + (Issue #469) + + - Work around some warnings from newer compilers. + New in spot 2.9.7 (2021-05-12)