From e7dc62e3c8e50a3c8071dc31dd69fb6223de0b08 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 19 Aug 2014 14:57:35 +0200 Subject: [PATCH] * NEWS: Add more news. --- NEWS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/NEWS b/NEWS index f8378d199..70ce8d566 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,9 @@ New in spot 1.2.4a (not yet released) - Fix simplification of bounded repetition in SERE formulas. - Fix parsing of neverclaims produced by Modella. + - Fix a memory leak in the little-used conversion from + transition-based alternating automata to tgba. + - Fix a harmless uninitialized read in BuDDy. New in spot 1.2.4 (2014-05-15)