I'm pleased to announce the release of Spot 1.1.3. This maintenance release fixes a couple of bugs reported over the last month, and add support for reading the new neverclaims output by Spin 6.24+ (they can be parsed by ltlcross, for instance). You can download the new release here: http://spot.lip6.fr/dl/spot-1.1.3.tar.gz New in spot 1.1.3 (2013-07-09) * New feature: - The neverclaim parser now understands the new style of output used by Spin 6.24 and later. * Bug fixes: - The scc_filter() function could abort with a BDD error. If all the acceptance sets of an SCC but the first one were useless. - The script in bench/spin13/ would not work on MacOS X because of some non-portable command. - A memory corruption in ltlcross. -- Alexandre Duret-Lutz