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 2020-01-04 14:25:14 +01:00
commit 6a531be052
3 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.8.4.dev (not yet released) New in spot 2.8.5.dev (not yet released)
Command-line tools: Command-line tools:
@ -58,6 +58,8 @@ New in spot 2.8.4.dev (not yet released)
degeneralization to get rid of conjunction of Inf terms in degeneralization to get rid of conjunction of Inf terms in
acceptance conditions. acceptance conditions.
New in spot 2.8.5 (2020-01-04)
Bugs fixed: Bugs fixed:
- ltl2tgba -B could return automata with "t" acceptance, instead - ltl2tgba -B could return automata with "t" acceptance, instead

4
configure.ac
View file

@ -1,5 +1,5 @@
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
# Copyright (C) 2008-2019, Laboratoire de Recherche et Développement # Copyright (C) 2008-2020, Laboratoire de Recherche et Développement
# de l'Epita (LRDE). # de l'Epita (LRDE).
# Copyright (C) 2003-2007 Laboratoire d'Informatique de Paris 6 # Copyright (C) 2003-2007 Laboratoire d'Informatique de Paris 6
# (LIP6), département Systèmes Répartis Coopératifs (SRC), Université # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@ -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.63]) AC_PREREQ([2.63])
AC_INIT([spot], [2.8.4.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.8.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.8.4 #+MACRO: SPOTVERSION 2.8.5
#+MACRO: LASTRELEASE 2.8.4 #+MACRO: LASTRELEASE 2.8.5
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.8.4.tar.gz][=spot-2.8.4.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.8.5.tar.gz][=spot-2.8.5.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-8-4/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-8-5/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2019-12-08 #+MACRO: LASTDATE 2020-01-04
#+ATTR_HTML: :id spotlogo #+ATTR_HTML: :id spotlogo
[[file:spot2.svg]] [[file:spot2.svg]]