diff --git a/NEWS b/NEWS index 23366eb07..88cee43cf 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.99a (not yet released) +New in spot 1.99b (not yet released) * Major changes (including backward incompatible changes): @@ -70,17 +70,17 @@ New in spot 1.99a (not yet released) order to do batch processing. This format can be output by all tools (since Spot 1.2.5) using the --hoa option, and it can be read by autfilt (by default) and ltlcross (using the %H - specifier). The current implementation does not support: - - acceptance specifications involving "Fin(x)", "|", or "f". - - alternation - but the rest is expected to work. Those restrictions cause the - automaton to be interpretable as a TGBA. In particular, - multiple initial states are converted into an extra initial - state; complemented acceptance sets Inf(!x) are converted to - Inf(x); negated (maybe after duplication); explicit or implicit - labels can be used; aliases are supported; "--ABORT--" can be - used in a stream. The parser currently ignore all optional - headers (starting with a lowercase letter). + specifier). The current implementation does not support + alternation. Multiple initial states are converted into an + extra initial state; complemented acceptance sets Inf(!x) are + converted to Inf(x); negated (maybe after duplication); explicit + or implicit labels can be used; aliases are supported; + "--ABORT--" can be used in a stream. + + Note that not all algorithms in the library will work with any + acceptance conditions. Automata with acceptance conditions that + involve Fin acceptance can be couverted to not use Fin when that + is a problem. - The above HOA parser can also parse never claims, and LBTT automata, so the never claim parser and the LBTT parser have diff --git a/configure.ac b/configure.ac index 1f070587e..f3134350d 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], [1.99a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99b], [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])