From 41265cd94febdff898329ec685b7b35e43fce3f0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 28 Nov 2012 17:53:43 +0100 Subject: [PATCH] * NEWS: Document recent bug fixes. --- NEWS | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index aed5fd394..61e0dfc52 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,14 @@ New in spot 1.0a (not released): - Nothing yet. + * Bug fixes: + - Two executions of the simulation reductions could produce + two isomorphic automata, but with transitions in a different + order. + - ltlcross did not diagnose write errors to temporary files, + and certain versions of g++ would warn about it. + - "P0.init" is parsed as an atomic even without the double quotes, + but it was always output with double quotes. This version will + not quote this atomic proposition anymore. New in spot 1.0 (2012-10-27):