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

Release Spot 1.99.3

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Update version.
This commit is contained in:
Alexandre Duret-Lutz 2015-08-26 08:14:53 +02:00
parent 1fc3bf1a1a
commit 5498f1335a
3 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

8
NEWS
View file

@ -1,4 +1,4 @@
New in spot 1.99.2a (not yet released) New in spot 1.99.3 (2015-08-26)
* The CGI script for LTL translation offers a HOA download link * The CGI script for LTL translation offers a HOA download link
for each generated automaton. for each generated automaton.
@ -44,12 +44,12 @@ New in spot 1.99.2a (not yet released)
- ltlcross no longer outputs additional columns about the size - ltlcross no longer outputs additional columns about the size
of the input automaton in the case ltl2dstar's format is used. of the input automaton in the case ltl2dstar's format is used.
- ltldo uses results in ltl2dstar's format directly, without - ltldo uses results in ltl2dstar's format directly, without
converting them to Büchi converting them to Büchi.
- dstar2tgba has been greatly simplified and now uses the - dstar2tgba has been greatly simplified and now uses the
same output routines as all the other tools that output same output routines as all the other tools that output
automata. This implies a few minor semantic changes for automata. This implies a few minor semantic changes, for
instance --stats=%A used to output the number of acceptance instance --stats=%A used to output the number of acceptance
*pairs* in the input automaton, while it nows output the *pairs* in the input automaton, while it now outputs the
number of acceptance sets like in all the other tools. number of acceptance sets like in all the other tools.
* Bugs fixed * Bugs 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.61]) AC_PREREQ([2.61])
AC_INIT([spot], [1.99.2a], [spot@lrde.epita.fr]) AC_INIT([spot], [1.99.3], [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 #+OPTIONS: H:2 num:nil toc:t
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: SPOTVERSION 1.99.2 #+MACRO: SPOTVERSION 1.99.3
#+MACRO: LASTRELEASE 1.99.2 #+MACRO: LASTRELEASE 1.99.3
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.2.tar.gz][=spot-1.99.2.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.3.tar.gz][=spot-1.99.3.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-2/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-3/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2015-07-18 #+MACRO: LASTDATE 2015-08-26