From f3ef2253344522e5dae4784232b5124631032f06 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 5 Sep 2017 19:08:51 +0200 Subject: [PATCH] * NEWS: Add a missing entry. --- NEWS | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index f13415bf0..00d41f6f8 100644 --- a/NEWS +++ b/NEWS @@ -164,6 +164,11 @@ New in spot 2.3.5.dev (not yet released) - The function spot::streett_to_generalized_buchi() is now able to work on automata with Streett-like acceptance. + - The function for converting deterministic Rabin automata to + deterministic Büchi automata (when possible), internal to the + remove_fin() procedure, has been updated to work with + transition-based acceptance and with Rabin-like acceptance. + - spot::relabel_here() was used on automata to rename atomic propositions, it can now replace atomic propositions by Boolean subformula. This makes it possible to use relabeling maps @@ -202,7 +207,7 @@ New in spot 2.3.5.dev (not yet released) - spot::sbacc() and spot::degeneralize() learned to merge accepting sinks. - - If the SPOT_BDD_TRACE envorinment variable is set, statistics + - If the SPOT_BDD_TRACE environment variable is set, statistics about BDD garbage collection and table resizing are shown. - The & and | operators for acceptannce conditions have been changed @@ -269,8 +274,9 @@ New in spot 2.3.5.dev (not yet released) from 9 to 16 colors. While the first 8 colors are similar, they are a bit more saturated now. - Deprecation notices (code using these functions will still work, but - the compiler will emit warnings): + Deprecation notices: + + (These functions still work but compilers emit warnings.) - spot::decompose_strength() is deprecated, it has been renamed to spot::decompose_scc().