alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* NEWS: Mention recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-04-07 14:59:53 +02:00
parent ae62265ec8
commit c4307e21ae
1 changed files with 11 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

12
NEWS
View file

@ -1,6 +1,16 @@
New in spot 1.2.3a (not yet released) 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) New in spot 1.2.3 (2014-02-11)