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

Merge branch 'master' into next

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-01-18 11:15:25 +01:00
commit 2b51861953
3 changed files with 26 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

26
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.9.5.dev (not yet released) New in spot 2.9.6.dev (not yet released)
Build: Build:
@ -180,6 +180,20 @@ New in spot 2.9.5.dev (not yet released)
Bugs fixed: Bugs fixed:
- tgba_determinize() could create parity automata using more colors
than necessary. (Related to issue #298)
New in spot 2.9.6 (2021-01-18)
Build:
- Build scripts are now compatible with Autoconf 2.70 (Issue #447)
and require at least Autoconf 2.69 (released in 2012).
- Debian builds use updated standards.
Bugs fixed:
- twa_graph::merge_edges() could fail to merge two transitions if the - twa_graph::merge_edges() could fail to merge two transitions if the
destination transition was the first of the automaton. (Issue #441) destination transition was the first of the automaton. (Issue #441)
@ -187,12 +201,14 @@ New in spot 2.9.5.dev (not yet released)
performing an (unnecessary) second iteration even when the first performing an (unnecessary) second iteration even when the first
one failed to reduce the automaton. (Issue #442) one failed to reduce the automaton. (Issue #442)
- tgba_determinize() could create parity automata using more colors
than necessary.
- When passed an incomplete automaton as input, tgba_determinize() - When passed an incomplete automaton as input, tgba_determinize()
would sometimes produce a complete automaton but incorrectly mark would sometimes produce a complete automaton but incorrectly mark
it as incomplete. it as incomplete. (Related to issue #298)
- gf_guarantee_to_ba(), used to translate some specific classes of
subformulas, could segfault in some condition (Issue #449).
- Work around some spurious test suite failures.
New in spot 2.9.5 (2020-11-19) New in spot 2.9.5 (2020-11-19)

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.69]) AC_PREREQ([2.69])
AC_INIT([spot], [2.9.5.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.9.6.dev], [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])

8
doc/org/setup.org
View file

@ -1,10 +1,10 @@
#+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: SPOTVERSION 2.9.5 #+MACRO: SPOTVERSION 2.9.6
#+MACRO: LASTRELEASE 2.9.5 #+MACRO: LASTRELEASE 2.9.6
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.5.tar.gz][=spot-2.9.5.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.9.6.tar.gz][=spot-2.9.6.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-5/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-9-6/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2020-11-19 #+MACRO: LASTDATE 2020-11-19
#+ATTR_HTML: :id spotlogo #+ATTR_HTML: :id spotlogo