From b51b7ab8b928de5a50b38b03d95931eda25e956a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 11 Mar 2011 10:20:47 +0100 Subject: [PATCH] * NEWS: Mention recent changes to dotty_reachable. --- ChangeLog | 4 ++++ NEWS | 3 +++ 2 files changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index 9adb1c4af..723ace063 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-03-11 Alexandre Duret-Lutz + + * NEWS: Mention recent changes to dotty_reachable. + 2011-03-10 Alexandre Duret-Lutz Add support for finite behaviors in the DVE interface. diff --git a/NEWS b/NEWS index 9be063356..67c75a231 100644 --- a/NEWS +++ b/NEWS @@ -2,6 +2,9 @@ New in spot 0.7.1a: * Spot can read DiVinE models. See iface/dve2/README for details. * The experimental Nips interface has been removed. + * The dotty_reachable() has a new option "assume_sba" that can + be used for rendering automata with state-based acceptance. In + that case, acceptance states are displayed with a double circle. New in spot 0.7.1 (2001-02-07):