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 2022-05-03 09:05:26 +02:00
commit 73e148446c
3 changed files with 25 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

21
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.10.4.dev (net yet released) New in spot 2.10.5.dev (not yet released)
Command-line tools: Command-line tools:
@ -82,12 +82,23 @@ New in spot 2.10.4.dev (net yet released)
averted in the parser by delaying the construction of such n-ary averted in the parser by delaying the construction of such n-ary
nodes until all children are known. nodes until all children are known.
New in spot 2.10.5 (2022-05-03)
Bugs fixed: Bugs fixed:
- reduce_parity() produced incorrect results when applied to - reduce_parity() produced incorrect results when applied to
automata with deleted edges. automata with deleted edges.
- work around a portability issue in Flex 2.6.4 preventing - An optimization of Zielonka could result in incorrect results
in some cases.
- ltlsynt --print-pg incorrectly solved the game in addition to
printing it.
- ltlsynt would fail if only one of --ins or --outs was set, and
if it was set empty.
- Work around a portability issue in Flex 2.6.4 preventing
compilation on OpenBSD. compilation on OpenBSD.
- Do not use the seq command in test cases, it is not available - Do not use the seq command in test cases, it is not available
@ -96,6 +107,12 @@ New in spot 2.10.4.dev (net yet released)
- Do not erase the previous contents of the PYTHONPATH environment - Do not erase the previous contents of the PYTHONPATH environment
variable when running tests, prepend to it instead. variable when running tests, prepend to it instead.
- Simplify Debian instructions for LTO build to work around newer
libtool version.
- Fix invalid read in digraph::sort_edges_of_(), currently unused in
Spot.
New in spot 2.10.4 (2022-02-01) New in spot 2.10.4 (2022-02-01)
Bug fixed: Bug fixed:

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.10.4.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.10.5.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])

10
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: SPOTVERSION 2.10.4 #+MACRO: SPOTVERSION 2.10.5
#+MACRO: LASTRELEASE 2.10.4 #+MACRO: LASTRELEASE 2.10.5
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.4.tar.gz][=spot-2.10.4.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.5.tar.gz][=spot-2.10.5.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-4/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-5/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2022-02-01 #+MACRO: LASTDATE 2022-05-03
#+ATTR_HTML: :id spotlogo #+ATTR_HTML: :id spotlogo
[[file:spot2.svg]] [[file:spot2.svg]]