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

Release spot 2.12

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.12.
This commit is contained in:
Alexandre Duret-Lutz 2024-05-14 15:19:37 +02:00
parent 913e807d66
commit 532b57d0df
3 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

12
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.11.6.dev (not yet released) New in spot 2.12 (2024-05-16)
Build: Build:
@ -19,8 +19,8 @@ New in spot 2.11.6.dev (not yet released)
to produce the 0-based serial number of the produced object. This to produce the 0-based serial number of the produced object. This
differs from the existing '%L' that is usually related to the line differs from the existing '%L' that is usually related to the line
number of the input (when that makes sense). For instance to number of the input (when that makes sense). For instance to
split a file that contains many automata into several files, one split a file that contains many automata into one file per
per automaton, do automaton, do
autfilt input.hoa -o output-%l.hoa autfilt input.hoa -o output-%l.hoa
@ -50,7 +50,7 @@ New in spot 2.11.6.dev (not yet released)
ltlsynt --ins='/^in/,/env/' --outs=/^out/,/control/' ... ltlsynt --ins='/^in/,/env/' --outs=/^out/,/control/' ...
any atomic proposition that starts with 'in' or contains 'env' any atomic proposition that starts with 'in' or contains 'env'
will be considered as inputs, and those that start with 'out' will be considered as input, and one that starts with 'out'
or contain 'control' will be considered output. or contain 'control' will be considered output.
By default, if neither --ins nor --outs is given, ltlsynt will By default, if neither --ins nor --outs is given, ltlsynt will
@ -149,7 +149,7 @@ New in spot 2.11.6.dev (not yet released)
spot::contains_forq() implementation will be used instead when spot::contains_forq() implementation will be used instead when
applicable (inclusion between Büchi automata). applicable (inclusion between Büchi automata).
The above also impacts autfilt --included-in option. The above also impacts autfilt's --included-in option.
- spot::reduce_buchi_acceptance_set_here() and - spot::reduce_buchi_acceptance_set_here() and
spot::enlarge_buchi_acceptance_set_here() will heuristically spot::enlarge_buchi_acceptance_set_here() will heuristically
@ -170,7 +170,7 @@ New in spot 2.11.6.dev (not yet released)
- scc_filter used to reduce automata tagged with the inherently-weak - scc_filter used to reduce automata tagged with the inherently-weak
property to weak Büchi automata (unless the acceptance was already property to weak Büchi automata (unless the acceptance was already
t or co-Büchi). In case where the input automaton had no t or co-Büchi). In cases where the input automaton had no
rejecting cycle, the Büchi acceptance was overkill: scc_filter rejecting cycle, the Büchi acceptance was overkill: scc_filter
will now use "t" acceptance. This change may have unexpected will now use "t" acceptance. This change may have unexpected
consequences in code paths that assume running scc_filter on a consequences in code paths that assume running scc_filter on a

2
configure.ac
View file

@ -17,7 +17,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.69]) AC_PREREQ([2.69])
AC_INIT([spot], [2.11.6.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.12], [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])

6
doc/org/setup.org
View file

@ -1,11 +1,11 @@
#+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: LASTDATE 2023-08-01 #+MACRO: LASTDATE 2024-05-14
#+NAME: SPOT_VERSION #+NAME: SPOT_VERSION
#+BEGIN_SRC python :exports none :results value :wrap org #+BEGIN_SRC python :exports none :results value :wrap org
return "2.11.6" return "2.12"
#+END_SRC #+END_SRC
#+NAME: TARBALL_LINK #+NAME: TARBALL_LINK
@ -15,7 +15,7 @@ return "2.11.6"
#+NAME: NEWS_LINK #+NAME: NEWS_LINK
#+BEGIN_SRC python :exports none :var version=SPOT_VERSION :results output :wrap org #+BEGIN_SRC python :exports none :var version=SPOT_VERSION :results output :wrap org
version = version.replace('.', '-') version = str(version).replace('.', '-')
print(f"[[https://gitlab.lre.epita.fr/spot/spot/blob/spot-{version}/NEWS][summary of the changes]]") print(f"[[https://gitlab.lre.epita.fr/spot/spot/blob/spot-{version}/NEWS][summary of the changes]]")
#+END_SRC #+END_SRC