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

* NEWS: Mention the new stutter invariance check

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-11-14 13:23:30 +01:00
parent d92ca23da3
commit 881afd67ba
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -15,6 +15,10 @@ New in spot 1.99a (not yet released)
size of any bogus formula it discovers, while still exhibiting size of any bogus formula it discovers, while still exhibiting
the bug. the bug.
- "ltlfilt --stutter-invariant" will now work with PSL formula.
The implementation is actually much more efficient
than the previous implementation that was only for LTL.
- Spot is now compiling in C++11 mode. The set of features we use - Spot is now compiling in C++11 mode. The set of features we use
requires GCC >= 4.6 or Clang >= 3.1. These minimum versions requires GCC >= 4.6 or Clang >= 3.1. These minimum versions
are old enough that it should not be an issue to most people. are old enough that it should not be an issue to most people.