From 168265bdf0d9c9c605b1d1a6632094f12e9d89e5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Jul 2013 06:25:05 +0200 Subject: [PATCH] * NEWS: Summarize recent changes. --- NEWS | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 6947d53f6..e0a817282 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,13 @@ New in spot 1.1.2a (not releaased) - Nothing yet. + * New feature: + - The neverclaim parser now understands the new style of output + used by Spin 6.24 and later. + * Bug fixes: + - The scc_filter() function could abort with a BDD error. If all + the acceptance sets of an SCC but the first one were useless. + - The script in bench/spin13/ would not work on MacOS X because + of some non-portable command. New in spot 1.1.2 (2013-06-09)