From 68da48484bee7e94b112434339935fab9e815724 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 11 Dec 2018 09:00:52 +0100 Subject: [PATCH] Release Spot 2.7 * configure.ac, NEWS, doc/org/setup.org: Bump version. --- NEWS | 9 +++++---- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 11 insertions(+), 10 deletions(-) diff --git a/NEWS b/NEWS index 051aa9f4a..fa7998fe6 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.6.3.dev (not yet released) +New in spot 2.7 (2018-12-11) Command-line tools: @@ -76,9 +76,10 @@ New in spot 2.6.3.dev (not yet released) twa_graph_ptr::is_empty(), twa_graph_ptr::intersects(), and scc_info::determine_unknown_acceptance(). - - The new function spot::to_parity() translates an automaton - with arbitrary acceptance condition into a parity automaton, - based on a last-appearance record (LAR) construction. + - The new function spot::to_parity() translates an automaton with + arbitrary acceptance condition into a parity automaton, based on a + last-appearance record (LAR) construction. (It is used by ltlsynt + but not yet by autfilt or ltl2tgba.) - The new function is_liveness() and is_liveness_automaton() can be used to check whether a formula or an automaton represents a diff --git a/configure.ac b/configure.ac index af25c4665..ce02c3b98 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [2.6.3.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.7], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) diff --git a/doc/org/setup.org b/doc/org/setup.org index 5f0d58293..d26292b0d 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,11 +1,11 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.6.3 -#+MACRO: LASTRELEASE 2.6.3 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.6.3.tar.gz][=spot-2.6.3.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-6-3/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2018-10-17 +#+MACRO: SPOTVERSION 2.7 +#+MACRO: LASTRELEASE 2.7 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.7.tar.gz][=spot-2.7.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-7/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2018-12-11 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]