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

* NEWS: Update for recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-01-18 09:30:33 +01:00
parent f0e1ea1931
commit 507c4a509c
1 changed files with 13 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

14
NEWS
View file

@ -1,5 +1,12 @@
New in spot 2.9.5.dev (not yet released)
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 standard.
Bugs fixed:
- twa_graph::merge_edges() could fail to merge two transitions if the
@ -11,7 +18,12 @@ New in spot 2.9.5.dev (not yet released)
- When passed an incomplete automaton as input, tgba_determinize()
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)