We are happy to announce the release of Spot 2.8.1

This release one important bug fix to ltlcross, and a few other minor addition.

You can find the new release here:

http://www.lrde.epita.fr/dload/spot/spot-2.8.1.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.8.1 (2019-07-18)

Command-line tools:

- genltl learned --pps-arbiter-standard and --pps-arbiter-strict.

- ltlcross and autcross have learned a new option -q (--quiet) to remain quiet until an error is found. This helps for instance in scenarios where multiple instances of ltlcross/autcross are run in parallel (using "xargs -P" or "GNU Parallel", for instance). See https://spot.lrde.epita.fr/ltlcross.html#parallel for examples.

Bugs fixed:

- When complement() was called with an output_aborter, it could return an alternating automaton on large automata. This in turn caused ltlcross to emit errors like "remove_alternation() only works with weak alternating automata" or "product() does not support alternating automata".

- Work around Emacs bug #34341 when rebuilding documentation on a system with Emacs <26.3, GNU TLS >= 3.6, and without ESS or with an obsolete org-mode installed.