From e27a7899a3e4d586705798508d9bb684c67cdba4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 18 Dec 2011 11:34:37 +0100 Subject: [PATCH] * NEWS: Summarize recent fixes. --- ChangeLog | 4 ++++ NEWS | 9 ++++++++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 6489ca9e7..069caa843 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-12-18 Alexandre Duret-Lutz + + * NEWS: Summarize recent fixes. + 2011-12-18 Alexandre Duret-Lutz Fix VPATH builds, now that hash.hh include _config.h diff --git a/NEWS b/NEWS index c64ba4492..b539a97cd 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,13 @@ New in spot 0.8a: - Nothing yet. + * Only bug fixes: + - When ltl2tgba is set to perform both WDBA minimization and + degeneralization, do the latter only if the former failed. + In previous version, automata were (uselessly) degeneralized + before WDBA minimization, causing important slowdowns. + - Fix compilation with Clang 3.0. + - Fix a Makefile setup causing a "make check" failure on MacOS X. + - Fix an mkdir error in the CGI script. New in spot 0.8 (2011-11-28):