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

Merge branch 'master' into next

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-09-07 10:56:24 +02:00
commit 2879c1d8e2
3 changed files with 12 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.9.3.dev (not yet released)
New in spot 2.9.4.dev (not yet released)
Build:
@ -63,10 +63,14 @@ New in spot 2.9.3.dev (not yet released)
be simplied to {0}, but the oppose rewriting can be useful as
well. (Issue #418.)
New in spot 2.9.4 (2020-09-07)
Bugs fixed:
- Handle xor and <-> in a more natural way when translating
LTL formulas to generic acceptancee conditions.
LTL formulas to generic acceptance conditions.
- Multiple typos in documentation, --help texts, or error messages.
New in spot 2.9.3 (2020-07-22)