Spot 1.1.2 has been released.
This maintainance release fixes a couple minor bugs. If you have
version 1.1.1 already installed, there is no reason to upgrade unless
you are using ltlcross to generate statistics.
You can download the new release here:
http://spot.lip6.fr/dl/spot-1.1.2.tar.gz
New in spot 1.1.2 (2013-06-09)
* Bug fixes:
- Uninitialized variables in ltlcross (affect the count of terminal
weak, and strong SCCs).
- Workaround an old GCC bug to allow compilation with g++ <= 4.5
- Fix several Doxygen comments so that they display correctly.
--
Alexandre Duret-Lutz
