We are happy to announce the release of Spot 2.7.2

This release contains mostly documentation improvements and some minor
additions to the Python bindings.  See below for a detailed list of
user-visible changes.

You can find the new release here:

  http://www.lrde.epita.fr/dload/spot/spot-2.7.2.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.2 (2019-03-17)

  Python:

  - Improved support for explicit Kripke structures.  It is now
    possible to iterate over a kripke_graph object in a way similar to
    twa_graph.

  Documentation:

  - A new page shows how to create explicit Kripke structures in C++
    and Python.  See https://spot.lrde.epita.fr/tut52.html
  - Another new page shows how to deal with LTLf formulas (i.e., LTL
    with finite semantics) and how to translate those.
    See https://spot.lrde.epita.fr/tut12.html

  Build:

  - Work around a spurious null dereference warning when compiling
    with --coverage and g++ 8.3.0-3 from Debian unstable.



--
Alexandre Duret-Lutz