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)