alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

release Spot 2.12.2

Browse source 
* configure.ac, doc/org/setup.org: Bump version to 2.12.2.
* bin/common_setup.cc, debian/copyright: Bump copyright year to 2025.
* NEWS: Update.
This commit is contained in:
Alexandre Duret-Lutz 2025-01-17 22:50:20 +01:00
parent 480e5e999b
commit ec3e6750ee
5 changed files with 12 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

9
NEWS
View file

@ -1,6 +1,6 @@
New in spot 2.12.1.dev (not yet released) New in spot 2.12.2 (2025-01-18)
Nothing yet. Bug fixes:
- to_finite() was dealing incorrectly with edges that were - to_finite() was dealing incorrectly with edges that were
both alive and dead. (Issue #596.) both alive and dead. (Issue #596.)
@ -8,6 +8,11 @@ New in spot 2.12.1.dev (not yet released)
- LaTeX output of the X[!] operator with broken in both - LaTeX output of the X[!] operator with broken in both
LaTeX and self-contained LaTeX mode. (Issue #597) LaTeX and self-contained LaTeX mode. (Issue #597)
- Fix a bug in the AIGER encoding with certain forms of
global-equivalence.
- Work around a spurious test failure with Python 3.13.
New in spot 2.12.1 (2024-09-23) New in spot 2.12.1 (2024-09-23)
Bug fixes: Bug fixes:

2
bin/common_setup.cc
View file

@ -35,7 +35,7 @@ display_version(FILE *stream, struct argp_state*)
fputs(program_name, stream); fputs(program_name, stream);
fputs(" (" PACKAGE_NAME ") " PACKAGE_VERSION "\n\ fputs(" (" PACKAGE_NAME ") " PACKAGE_VERSION "\n\
\n\ \n\
Copyright (C) 2024 by the Spot authors, see the AUTHORS File for details.\n\ Copyright (C) 2025 by the Spot authors, see the AUTHORS File for details.\n\
License GPLv3+: \ License GPLv3+: \
GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\ GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\
This is free software: you are free to change and redistribute it.\n\ This is free software: you are free to change and redistribute it.\n\

2
configure.ac
View file

@ -17,7 +17,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>. # along with this program. If not, see <http://www.gnu.org/licenses/>.
AC_PREREQ([2.69]) AC_PREREQ([2.69])
AC_INIT([spot], [2.12.1.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.12.2], [spot@lrde.epita.fr])
AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_AUX_DIR([tools])
AC_CONFIG_MACRO_DIR([m4]) AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])

2
debian/copyright vendored
View file

@ -3,7 +3,7 @@ Upstream-Name: spot
Source: http://www.lrde.epita.fr/dload/spot/ Source: http://www.lrde.epita.fr/dload/spot/
Files: * Files: *
Copyright: 2003-2024 the Spot authors Copyright: 2003-2025 the Spot authors
License: GPL-3+ License: GPL-3+
Spot is free software; you can redistribute it and/or modify it Spot is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by under the terms of the GNU General Public License as published by

4
doc/org/setup.org
View file

@ -1,11 +1,11 @@
#+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: LASTDATE 2024-09-23 #+MACRO: LASTDATE 2025-01-18
#+NAME: SPOT_VERSION #+NAME: SPOT_VERSION
#+BEGIN_SRC python :exports none :results value :wrap org #+BEGIN_SRC python :exports none :results value :wrap org
return "2.12.1" return "2.12.2"
#+END_SRC #+END_SRC
#+NAME: TARBALL_LINK #+NAME: TARBALL_LINK