We are happy to announce the release of Spot 2.1.1.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.1.1.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions.
Spot 2.1.1 contains some very minor fixups, and a few command-line
improvements that should really have been part of 2.1.
As always, please direct any feedback to <spot(a)lrde.epita.fr>.
New in spot 2.1.1 (2016-09-20)
Command-line tools:
* ltlfilt, randltl, genltl, and ltlgrind learned to display the size
(%s), Boolean size (%b), and number of atomic propositions (%a)
with the --format and --output options. A typical use-case is to
sort formulas by size:
genltl --dac --format='%s,%f' | sort -n | cut -d, -f2
or to group formulas by number of atomic propositions:
genltl --dac --output='ap-%a.ltl'
* autfilt --stats learned the missing %D, %N, %P, and %W sequences,
to complete the existing %d, %n, %p, and %w.
* The --stats %c option of ltl2tgba, autfilt, ltldo, and dstar2tgba
now accepts options to filter the SCCs to count. For instance
--stats='%[awT]c' will count the SCCs that are (a)ccepting and
(w)eak, but (not t)erminal. See --help for all supported filters.
Bugs fixed:
* Fix several cases where command-line tools would fail to diagnose
write errors (e.g. when writing to a filesystem that is full).
* Typos in genltl --help and in the man page spot-x(7).
--
Alexandre Duret-Lutz
