From c4307e21ae20cff4a5e41fc3862d39d6246b60da Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Apr 2014 14:59:53 +0200 Subject: [PATCH] * NEWS: Mention recent changes. --- NEWS | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 2ab30a083..e53749d6c 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,16 @@ New in spot 1.2.3a (not yet released) - Nothing yet. + * New features: + + - "-B -x degen-lskip" can be used to disable level-skipping in the + degeralization procedure. This is mostly meant for running + experiments. + - "-B -x degen-lcache=N" can be used to experiment with different + type of level caching during degeneralization. + + * Bug fixes: + + - Change the Python bindings to make them compatible with Swig 3.0. New in spot 1.2.3 (2014-02-11)