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

* NEWS: Summarize recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-02 22:56:49 +02:00
parent 6ff4fa9722
commit 20bb171904
1 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
NEWS
View file

@ -1,6 +1,17 @@
New in spot 1.99.4a (not yet released)
Nothing yet.
Python:
* Add bindings for complete().
Bugs fixed:
* Work around some strange weird exception raised when using the
randltlgenerator under Python 3.5.
* Recognize "nullptr" formulas as None in Python.
* Fix compilation of bench/stutter/
* Handle saturation of formula reference counts.
* Fix typo in the Python code for the CGI server.
New in spot 1.99.4 (2015-10-01)