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.