From c0ffe5cdff7424d3bd98c3f54dede11784f3854b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 9 Jul 2015 13:22:29 +0200 Subject: [PATCH] * NEWS: Mention recent changes. --- NEWS | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/NEWS b/NEWS index 20c6c8aee..4848b48b6 100644 --- a/NEWS +++ b/NEWS @@ -7,6 +7,12 @@ New in spot 1.99.1a (not yet released) * Debian packages for libraries have been split from the main Spot package, as per Debian guidelines. + * The scc_info object, used to build a map of SCCs while gathering + additionnal information, has been simplified and speed up. One + test case where ltlcross would take more than 13min (to check the + translation of one PSL formula and its now takes) now takes only + 75s. + * Bugs fixed: - p[+][:*2] was not detected as belonging to siPSL - scc_filter() would incorrectly remove Fin marks from