From cfd4a1b98d9ba0e4e7e503416039ff21383765ae Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 9 May 2016 09:33:24 +0200 Subject: [PATCH] Release Spot 2.0.1 * NEWS, configure.ac, doc/org/setup.org: Update. --- NEWS | 10 +++++----- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/NEWS b/NEWS index c44404b37..6f29395f3 100644 --- a/NEWS +++ b/NEWS @@ -1,16 +1,16 @@ -New in spot 2.0.0a (not yet released) +New in spot 2.0.1 (2016-05-09) Library: * twa::unregister_ap() and twa_graph::remove_unused_ap() are new - methods introduced to fix some of the bugs below. + methods introduced to fix some of the bugs listed below. Documentation: * Add missing documentation for the option string passed to spot::make_emptiness_check_instantiator(). - * There is a now a spot(7) man page listing all installed + * There is now a spot(7) man page listing all installed command-line tools. Python: @@ -19,7 +19,6 @@ New in spot 2.0.0a (not yet released) Bug fixes: - * Typo in documentation of the -H option in --help output. * The automaton parser would choke on comments like /******/. * check_strength() should also set negated properties. * Fix autfilt to apply --simplify-exclusive-ap only after @@ -37,12 +36,13 @@ New in spot 2.0.0a (not yet released) (Note that it will also throw an exception if the automaton uses an unregistered AP; this is how some of the above bugs were found.) - * The for Small or Deterministic preference, the postprocessor + * For Small or Deterministic preference, the postprocessor will now unregister atomic propositions that are no longer used in labels. Simplification of exclusive properties and remove_ap::strip() will do similarly. * bench/ltl2tgba/ was not working since the source code reorganization of 1.99.7. + * Various typos and minor documentation fixes. New in spot 2.0 (2016-04-11) diff --git a/configure.ac b/configure.ac index e78e4a11c..8933c0c22 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.0.0a], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.0.1], [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 fea69f133..fc75f5d4c 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.0 -#+MACRO: LASTRELEASE 2.0 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.tar.gz][=spot-2.0.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2016-04-11 +#+MACRO: SPOTVERSION 2.0.1 +#+MACRO: LASTRELEASE 2.0.1 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.1.tar.gz][=spot-2.0.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2016-05-09