From 881afd67bad1cef3a2387cb333396219d3b988b0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 14 Nov 2014 13:23:30 +0100 Subject: [PATCH] * NEWS: Mention the new stutter invariance check --- NEWS | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/NEWS b/NEWS index 5d1560611..05b277967 100644 --- a/NEWS +++ b/NEWS @@ -15,6 +15,10 @@ New in spot 1.99a (not yet released) size of any bogus formula it discovers, while still exhibiting 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 requires GCC >= 4.6 or Clang >= 3.1. These minimum versions are old enough that it should not be an issue to most people.