From 4692b8962910cca48f3828c3e7558612c5490365 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 14 Jan 2022 20:34:16 +0100 Subject: [PATCH] * NEWS: Prepare for next release. --- NEWS | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 835d6d704..610514baa 100644 --- a/NEWS +++ b/NEWS @@ -4,19 +4,27 @@ New in spot 2.10.2.dev (not yet released) - On automata where the absence of color is not rejecting (e.g. co-Büchi) and where the initial state was in a rejecting - SCC, sbacc() could output a superflous state. (Issue #492) + SCC, sbacc() could output a superfluous state. (Issue #492) - Compared to 2.9.8, complement() (and many functions using it) was slower and produced larger outputs on some automata with more than 32 states due to an optimization of the determinization being unintentionally disabled. + - The split_2step() function used to create a synthesis game could + complain that it was unable to complement a monitor (Issue #495). + - Work around GraphViz bug #2179 by avoiding unnecessary empty lines in the acceptance conditions shown in dot. - Fix a case where generic_accepting_run() incorrectly returns a cycle around a rejecting self-loop. + - Mealy machine resulting from SAT-based minimization could differ + on architectures with different hash tables implementations. + + - org-mode moved to GNU ELPA (Issue #496). + New in spot 2.10.2 (2021-12-03) Bugs fixed: