
2 Feb
2022
2 Feb
'22
8:09 a.m.
We are happy to announce the release of Spot 2.10.4 This is a maintenance release fixing some very old memory leaks discovered in the Python bindings. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.10.4.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>. New in spot 2.10.4 (2022-02-01) Bug fixed: - Fix memory leaks in Python bindings for several iteration objects. This occured while itering on twa_graph.out(), twa_graph.edges(), twa_graph.univ_dests(), kripke_graph.out(), kripke_graph.edges(), mark_t.sets(), scc_info.edges_of(), scc_info.inner_edges_of(), and on an scc_info instance.