Spot-announce May 2022

spot-announce@lrde.epita.fr

1 participants
2 discussions

Spot 2.10.6 released
by Alexandre Duret-Lutz 18 May '22

18 May '22

We are happy to announce the release of Spot 2.10.6 This is a maintenance release fixing an couple of bugs reported or discovered over the last two weeks. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.10.6.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>. New in spot 2.10.6 (2022-05-18) Bugs fixed: - Fix compilation error on MacOS X. - Using -Ffile/N to read column N of a CSV file would not reset the /N specification for the next file. - make_twa_graph() will now preserve state numbers when copying a kripke_graph object. As a consequence, print_dot() and print_hoa() will now use state numbers matching those of the kripke_graph (issue #505). - Fix several compilation warning introduced by newer versions of GCC and Clang.

1 0

Spot 2.10.5 released
by Alexandre Duret-Lutz 03 May '22

03 May '22

We are happy to announce the release of Spot 2.10.5 This is a maintenance release fixing an assortment of minor bugs discovered over the last three months. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.10.5.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. (The spot web site is not yet updated to point to 2.10.5, but that should be fixed in the next days.) Please direct any feedback to <spot(a)lrde.epita.fr>. New in spot 2.10.5 (2022-05-03) Bugs fixed: - reduce_parity() produced incorrect results when applied to automata with deleted edges. - An optimization of Zielonka could result in incorrect results in some cases. - ltlsynt --print-pg incorrectly solved the game in addition to printing it. - ltlsynt would fail if only one of --ins or --outs was set, and if it was set empty. - Work around a portability issue in Flex 2.6.4 preventing compilation on OpenBSD. - Do not use the seq command in test cases, it is not available everywhere. - Do not erase the previous contents of the PYTHONPATH environment variable when running tests, prepend to it instead. - Simplify Debian instructions for LTO build to work around newer libtool version. - Fix invalid read in digraph::sort_edges_of_(), currently unused in Spot.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Spot-announce May 2022