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

Release Spot 2.0.1

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Update.
This commit is contained in:
Alexandre Duret-Lutz 2016-05-09 09:33:24 +02:00
parent 4cc6df102a
commit cfd4a1b98d
3 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

10
NEWS
View file

@ -1,16 +1,16 @@
New in spot 2.0.0a (not yet released) New in spot 2.0.1 (2016-05-09)
Library: Library:
* twa::unregister_ap() and twa_graph::remove_unused_ap() are new * 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: Documentation:
* Add missing documentation for the option string passed to * Add missing documentation for the option string passed to
spot::make_emptiness_check_instantiator(). 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. command-line tools.
Python: Python:
@ -19,7 +19,6 @@ New in spot 2.0.0a (not yet released)
Bug fixes: Bug fixes:
* Typo in documentation of the -H option in --help output.
* The automaton parser would choke on comments like /******/. * The automaton parser would choke on comments like /******/.
* check_strength() should also set negated properties. * check_strength() should also set negated properties.
* Fix autfilt to apply --simplify-exclusive-ap only after * 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 (Note that it will also throw an exception if the automaton uses
an unregistered AP; this is how some of the above bugs were an unregistered AP; this is how some of the above bugs were
found.) 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 will now unregister atomic propositions that are no longer
used in labels. Simplification of exclusive properties used in labels. Simplification of exclusive properties
and remove_ap::strip() will do similarly. and remove_ap::strip() will do similarly.
* bench/ltl2tgba/ was not working since the source code * bench/ltl2tgba/ was not working since the source code
reorganization of 1.99.7. reorganization of 1.99.7.
* Various typos and minor documentation fixes.
New in spot 2.0 (2016-04-11) New in spot 2.0 (2016-04-11)

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.61]) 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_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,8 +1,8 @@
#+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+OPTIONS: H:2 num:nil toc:t html-postamble:nil
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: SPOTVERSION 2.0 #+MACRO: SPOTVERSION 2.0.1
#+MACRO: LASTRELEASE 2.0 #+MACRO: LASTRELEASE 2.0.1
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.tar.gz][=spot-2.0.tar.gz=]] #+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/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-1/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2016-04-11 #+MACRO: LASTDATE 2016-05-09