I'm happy to announce that Spot 1.2.2 has been released.
This maintenance release addresses a couple of portability issues and
other minor bugs discovered over the last month.
You can download the new release here:
http://spot.lip6.fr/dl/spot-1.2.2.tar.gz
New in spot 1.2.2 (2014-01-24)
* Bug fixes:
- Fix compilation *and* behavior of bitvectors on 32-bit
architectures.
- Fix some compilation errors observed using the antique G++ 4.0.1.
- Fix compatibility with Python 3 in the test suite.
- Fix a couple of new clang warnings (like "unused private member").
- Add some missing #includes that are not included indirectly
when the C++ compiler is in C++11 mode.
- Fix detection of numbers that are too large in the ELTL parser.
- Fix a memory leak in the ELTL parser, and avoid some unnecessary
calls to strlen() at the same time.
--
Alexandre Duret-Lutz
