We are happy to announce the release of Spot 2.4.4
This is a maintenance release containing fixes for two serious bugs
reported by František Blahoudek.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.4.4.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions.
New in spot 2.4.4 (2017-12-25)
Bugs fixed:
- The generic to_generalized_buchi() function would fail if the
Fin-less & CNF version of the acceptance condition had several
unit clauses.
- If the automaton passed to sbacc() was incomplete or
non-deterministic because of some unreachable states, then it was
possible that the output would marked similarly while it was in
fact complete or deterministic.
Merry Christmas,
--
Alexandre Duret-Lutz
We are happy to announce the release of Spot 2.4.3
This is a maintenance release containing only minor bug fixes and
documentation changes.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.4.3.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions.
New in spot 2.4.3 (2017-12-19)
Bugs fixed:
- couvreur99_new() leaked memory when processing TωA that allocate
states.
- Some mismatched placement-new/delete reported by ASAN were fixed.
- Static compilation was broken on MinGW.
- Execution of Jupyter notebooks from the testsuite failed with
recent versions of Python.
- Fix some warnings triggered by the development version of g++.
--
Alexandre Duret-Lutz
