
We are happy to announce the release of Spot 2.7.3 This maintenance release contains only bug fixes and documentation updates. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.7.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.7.3 (2019-04-19) Bugs fixed: - When processing CSV files with MSDOS-style \r\n line endings, --stats would output the \r as part of the %> sequence instead of ignoring it. - Fix serious typo in removel_alternation() causing incorrect output for some VWAA. Bug introduced in Spot 2.6. Documentation: - Multiple typos and minor updates. -- Alexandre Duret-Lutz
participants (1)
-
Alexandre Duret-Lutz