From 507c4a509cde3b1fbb78b2499b839af2ae57abf0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 18 Jan 2021 09:30:33 +0100 Subject: [PATCH] * NEWS: Update for recent changes. --- NEWS | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 2c0734431..44bba4ab5 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,12 @@ New in spot 2.9.5.dev (not yet released) + Build: + + - Build scripts are now compatible with Autoconf 2.70 (Issue #447) + and require at least Autoconf 2.69 (released in 2012). + + - Debian builds use updated standard. + Bugs fixed: - twa_graph::merge_edges() could fail to merge two transitions if the @@ -11,7 +18,12 @@ New in spot 2.9.5.dev (not yet released) - When passed an incomplete automaton as input, tgba_determinize() would sometimes produce a complete automaton but incorrectly mark - it as incomplete. + it as incomplete. (Related to issue #298) + + - gf_guarantee_to_ba(), used to translate some specific classes of + subformulas, could segfault in some condition (Issue #449). + + - Work around some spurious test suite failures. New in spot 2.9.5 (2020-11-19)