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

* NEWS: Mention recent python changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-04-09 10:14:31 +02:00
parent 59e1f6a339
commit 949638930b
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -6,6 +6,11 @@ New in spot 1.99.9a (not yet released)
--reject-word=WORD options that were introduced in autfilt in the --reject-word=WORD options that were introduced in autfilt in the
previous version. previous version.
Python:
* The output of spot.atomic_prop_collect() is printable and
can now be passed directly to spot.ltsmin.model.kripke().
New in spot 1.99.9 (2016-03-14) New in spot 1.99.9 (2016-03-14)
Command-line tools: Command-line tools: