From 1fddfe60ec4da8bb4b365189f3d0bf418db5abe3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 4 Dec 2015 16:03:35 +0100 Subject: [PATCH] * NEWS: Typo. --- NEWS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index cda2df889..1aebe59a7 100644 --- a/NEWS +++ b/NEWS @@ -74,13 +74,13 @@ New in spot 1.99.6 (2015-12-04) second automaton by the number of acceptance sets N of the first one. - * The sat minimization for DTWA now does a better job at selecting + * The sat minimization for DTωA now does a better job at selecting reference automata when the output acceptance is the the same as the input acceptance. This can provide nice speedups when tring to syntethise larged automata with different acceptance conditions. - * Explicit Kripke structure (i.e., stored as explciti graphs) have + * Explicit Kripke structures (i.e., stored as explicit graphs) have been rewritten above the graph class, using an interface similar to the twa class. The new class is called kripke_graph. The ad hoc Kripke parser and printer have been removed, because we can