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

Release Spot 2.0.3

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Update.
This commit is contained in:
Alexandre Duret-Lutz 2016-07-11 10:59:23 +02:00
parent 2665b5780a
commit 2abfd73a30
3 changed files with 13 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

16
NEWS
View file

@ -1,22 +1,20 @@
New in spot 2.0.2a (Not yet released) New in spot 2.0.3 (2016-07-11)
Nothing yet.
Bug fixes: Bug fixes:
* The degen-lcache=1 option of the degeneralization algorithm (which * The degen-lcache=1 option of the degeneralization algorithm (which
is a default option) did not behave exactly as documented: instead is a default option) did not behave exactly as documented: instead
of reusing the first level ever created for a state where the of reusing the first level ever created for a state where the
choice of the level is free, it used the last level used. This choice of the level is free, it reused the last level ever used.
caused some posterior simulation-based reductions to be less This caused some posterior simulation-based reductions to be less
efficient at reducing automata (on the average). efficient at reducing automata (on the average).
* The generalized testing automata displayed by the on-line * The generalized testing automata displayed by the online
translator were incorrect (those output by ltl2tgta were OK). translator were incorrect (those output by ltl2tgta were OK).
* ltl2tgta should not offer options --ba, --monitor, --tgba and such. * ltl2tgta should not offer options --ba, --monitor, --tgba and such.
* the relabel() function could incorrectly unregister old atomic * the relabel() function could incorrectly unregister old atomic
propositions even if they are still used in the output (e.g., if propositions even when they were still used in the output (e.g.,
a&p0 is relabeled to p0&p1). This could cause ltldo and on-line if a&p0 is relabeled to p0&p1). This could cause ltldo and the
translator to report errors. online translator to report errors.
New in spot 2.0.2 (2016-06-17) New in spot 2.0.2 (2016-06-17)

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.2a], [spot@lrde.epita.fr]) AC_INIT([spot], [2.0.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 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.2 #+MACRO: SPOTVERSION 2.0.3
#+MACRO: LASTRELEASE 2.0.2 #+MACRO: LASTRELEASE 2.0.3
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.2.tar.gz][=spot-2.0.2.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.3.tar.gz][=spot-2.0.3.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-2/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-3/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2016-06-17 #+MACRO: LASTDATE 2016-07-11