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

Release Spot 2.5.1

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Set version to 2.5.1.
This commit is contained in:
Alexandre Duret-Lutz 2018-02-20 07:58:58 +01:00
parent 7710008caa
commit 6887fcdbff
3 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

10
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.5.0.dev (not yet released) New in spot 2.5.1 (2018-02-20)
Library: Library:
@ -6,12 +6,12 @@ New in spot 2.5.0.dev (not yet released)
Bugs fixed: Bugs fixed:
- iar() and iar_maybe() properly handle Rabin-like conditions.
- streett_to_generalized_buchi() could produce incorrect result on - streett_to_generalized_buchi() could produce incorrect result on
Streett-like input with acceptance like (Inf(0)|Fin(1))&Fin(1) Streett-like input with acceptance like (Inf(0)|Fin(1))&Fin(1)
where some Fin(x) is used both with and without a paired Fin(y). where some Fin(x) is used both with and without a paired Fin(y).
- iar() and iar_maybe() properly handle Rabin-like conditions.
- is_generalized_rabin() had a typo that caused some non-simplified - is_generalized_rabin() had a typo that caused some non-simplified
acceptance conditions like Fin(0)|(Fin(0)&Inf(1)) to be acceptance conditions like Fin(0)|(Fin(0)&Inf(1)) to be
incorrectly detecteded as generalized-Rabin 2 0 1 and then output incorrectly detecteded as generalized-Rabin 2 0 1 and then output
@ -22,8 +22,8 @@ New in spot 2.5.0.dev (not yet released)
acceptance condition where one pair used Fin(x) and another pair acceptance condition where one pair used Fin(x) and another pair
used Inf(x) with the same x. Unfortunately, this situation could used Inf(x) with the same x. Unfortunately, this situation could
also occur as a side effect of simplifying the acceptance also occur as a side effect of simplifying the acceptance
condition (by merging identical set) prior to running the condition (by merging identical set) of some automaton prior to
conversion to Büchi. converting it to Büchi.
- dnf_to_dca() was mishandling some Rabin-like input. - dnf_to_dca() was mishandling some Rabin-like input.

2
configure.ac
View file

@ -21,7 +21,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.61]) AC_PREREQ([2.61])
AC_INIT([spot], [2.5.0.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.5.1], [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])

10
doc/org/setup.org
View file

@ -1,8 +1,8 @@
#+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+OPTIONS: H:2 num:nil toc:t html-postamble:nil
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: SPOTVERSION 2.5 #+MACRO: SPOTVERSION 2.5.1
#+MACRO: LASTRELEASE 2.5 #+MACRO: LASTRELEASE 2.5.1
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.5.tar.gz][=spot-2.5.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.5.1.tar.gz][=spot-2.5.1.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-5/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-5-1/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2018-01-20 #+MACRO: LASTDATE 2018-02-20