diff --git a/NEWS b/NEWS index dd4431071..99b1f1f40 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.11.5.dev (not yet released) +New in spot 2.11.6.dev (not yet released) Command-line tools: @@ -29,6 +29,8 @@ New in spot 2.11.5.dev (not yet released) - spot::bdd_to_cnf_formula() is a new variant of spot::bdd_to_formula() that converts a BDD into a CNF instead of a DNF. +New in spot 2.11.6 (2023-08-01) + Bug fixes: - Running command lines such as "autfilt input.hoa -o output-%L.hoa" @@ -46,6 +48,8 @@ New in spot 2.11.5.dev (not yet released) mixed. Spot was safe from this bug because it was only using bdd_exist(). (Issue #535) + - Work around recent Pandas and GCC changes. + New in spot 2.11.5 (2023-04-20) Bug fixes: diff --git a/configure.ac b/configure.ac index 09fe45364..41261d84c 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.69]) -AC_INIT([spot], [2.11.5.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.11.6.dev], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) diff --git a/doc/org/setup.org b/doc/org/setup.org index 255a01c3d..772ff2cc0 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,11 +1,11 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: LASTDATE 2023-04-20 +#+MACRO: LASTDATE 2023-08-01 #+NAME: SPOT_VERSION #+BEGIN_SRC python :exports none :results value :wrap org -return "2.11.5" +return "2.11.6" #+END_SRC #+NAME: TARBALL_LINK