diff --git a/NEWS b/NEWS index c962cd4ff..44394b6a7 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.6.1.dev (not yet released) +New in spot 2.6.2.dev (not yet released) Command-line tools: @@ -66,6 +66,32 @@ New in spot 2.6.1.dev (not yet released) would incorrectly copy the "universal" property of the input automaton, causing print_hoa() to fail. +New in spot 2.6.2 (2018-09-28) + + Build: + + - We no longer distribute the Python-based CGI script + javascript + code for the online translator. Its replacement has its own + repository: https://gitlab.lrde.epita.fr/spot/spot-web-app/ + + Library: + + - When states are highlighted with more than 8 colors, print_dot() + will add some extra markers to help distinguishing the colors. + This helps with the fact that colors 8-15 are lighter versions of + colors 0-7, and that higher color numbers cycle into this 16-color + palette. + + Bugs fixed: + + - exclusive_ap::constrain() (called by autfilt --exclusive-ap=...) + would incorrectly copy the "universal" property of the input + automaton, causing print_hoa() to fail. + + - configure --disable-doxygen would actually enable it. + + - Fix several warnings emited by the development version of GCC. + New in spot 2.6.1 (2018-08-04) Command-line tools: diff --git a/configure.ac b/configure.ac index 66563e4f6..4ce96ea6e 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.1.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.6.2.dev], [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/index.org b/doc/org/index.org index daf2a2220..1d1292bbe 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -49,8 +49,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on * Try Spot On-line -- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or - PSL formulas into automata. +- [[https://spot.lrde.epita.fr/app/][Our on-line translator]] provides a convenient way to translate LTL or + PSL formulas into automata, or to study/compare formulas. - [[http://spot-sandbox.lrde.epita.fr/][spot-sandbox]] is a Jupyter notebook with a complete installation of Spot that allows you to try the [[file:tools.org][command-line tools]] (using a shell interface) as well as the Python bindings (in an IPython notebook). diff --git a/doc/org/setup.org b/doc/org/setup.org index 1abb53d33..3e505f3c7 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.1 -#+MACRO: LASTRELEASE 2.6.1 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.6.1.tar.gz][=spot-2.6.1.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-6-1/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2018-08-04 +#+MACRO: SPOTVERSION 2.6.2 +#+MACRO: LASTRELEASE 2.6.2 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.6.2.tar.gz][=spot-2.6.2.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-6-2/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2018-09-28 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]