Spot-announce August 2021

spot-announce@lrde.epita.fr

1 participants
1 discussions

Spot 2.9.8 released (with conda-forge packages for Linux and OSX)
by Alexandre Duret-Lutz 10 Aug '21

10 Aug '21

We are happy to announce the release of Spot 2.9.8. This is a maintenance release that fixes a few bugs reported over the last three months, as well as a few warnings. New since the last version, we are now distributing Spot as a conda package (via conda-forge) for Linux and OSX. Instructions are on https://spot.lrde.epita.fr/install.html You can download the source for the new release directly from: http://www.lrde.epita.fr/dload/spot/spot-2.9.8.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Versions from the 2.9.x branch are the last releases using C++14. We have already switched to C++17 for the development of the next major release. This release is already compatible with C++17, so those using Spot as a library should consider switching to C++17 already. Please direct any feedback to <spot(a)lrde.epita.fr>. New in spot 2.9.8 (2021-08-10) Documentation: - Mention the conda-forge package. Bugs fixed: - left->intersacting_run(right) could return a run with incorrect colors (likely not corresponding to any existing transition of left) if left was a weak automaton. (Issue #471) - Fix bitset::operator-() causing issues when Spot was configured with more than 32 colors for instance with --enable-max-sets=64. (Issue #469) - Work around some warnings from newer compilers.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Spot-announce August 2021