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

* NEWS: mention the translate() typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-21 16:06:29 +02:00
parent 308833788b
commit 8d38587da8
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -71,6 +71,8 @@ New in spot 1.99.2a (not yet released)
- LTL formula rewritten in Spin's syntax no longer have their -> - LTL formula rewritten in Spin's syntax no longer have their ->
and <-> rewritten aways. and <-> rewritten aways.
- Fix some warnings reported by the development version of GCC 6. - Fix some warnings reported by the development version of GCC 6.
- the spot.translate() function of the Python binding had a typo
preventing the use of 'low'/'medium'/'high' as argument.
New in spot 1.99.2 (2015-07-18) New in spot 1.99.2 (2015-07-18)