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

Release Spot 2.3.2

Browse source 
* configure.ac, NEWS, doc/org/setup.org: Bump version to 2.3.2.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-15 09:17:10 +01:00
parent 2f7d5cfd00
commit 696eba8a29
3 changed files with 15 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

17
NEWS
View file

@ -1,11 +1,11 @@
New in spot 2.3.1.dev (not yet released) New in spot 2.3.2 (2017-03-15)
Tools: Tools:
- In tools that output automata the number of atomic propositions - In tools that output automata, the number of atomic propositions
can be output using --stats=%x (output automaton) or --stats=%X can be output using --stats=%x (output automaton) or --stats=%X
(input automaton). Additional options can be passed to list (input automaton). Additional options can be passed to list
atomic propositions instead of conting them. Tools that output atomic propositions instead of counting them. Tools that output
formulas also support --format=%x for this purpose. formulas also support --format=%x for this purpose.
Python: Python:
@ -35,7 +35,7 @@ New in spot 2.3.1.dev (not yet released)
- 'ltl2tgba --any -C -M ...' would not complete automata. - 'ltl2tgba --any -C -M ...' would not complete automata.
- while not incorrect, the HOA properties output by 'ltl2tgba -M' - While not incorrect, the HOA properties output by 'ltl2tgba -M'
could be 'inherently-weak' or 'terminal', while 'ltl2tgba -M -D' could be 'inherently-weak' or 'terminal', while 'ltl2tgba -M -D'
would always report 'weak' automata. Both variants now report the would always report 'weak' automata. Both variants now report the
most precise between 'weak' or 'terminal'. most precise between 'weak' or 'terminal'.
@ -43,20 +43,21 @@ New in spot 2.3.1.dev (not yet released)
- spot::twa_graph::set_univ_init_state() could not be called with - spot::twa_graph::set_univ_init_state() could not be called with
an initializer list. an initializer list.
- the Python wrappers for spot::twa_graph::state_from_number and - The Python wrappers for spot::twa_graph::state_from_number and
spot::twa_graph::state_acc_sets were broken in 2.3. spot::twa_graph::state_acc_sets were broken in 2.3.
- instantiating an emptiness check on an automaton with unsupported - Instantiating an emptiness check on an automaton with unsupported
acceptance condition should throw an exception. This used to be acceptance condition should throw an exception. This used to be
just an assertion, disabled in release builds; the difference just an assertion, disabled in release builds; the difference
matters for the Python bindings. matters for the Python bindings.
Deprecation notices: Deprecation notice:
- Using --format=%a to print the number of atomic propositions in - Using --format=%a to print the number of atomic propositions in
ltlfilt, genltl, and randltl still works, but it is not documented ltlfilt, genltl, and randltl still works, but it is not documented
anymore and should be replaced by the newly-introduced --format=%x anymore and should be replaced by the newly-introduced --format=%x
for consistency with tools producing automata. for consistency with tools producing automata, where %a means
something else.
New in spot 2.3.1 (2017-02-20) New in spot 2.3.1 (2017-02-20)

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.3.1.dev], [spot@lrde.epita.fr]) AC_INIT([spot], [2.3.2], [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.3.1 #+MACRO: SPOTVERSION 2.3.2
#+MACRO: LASTRELEASE 2.3.1 #+MACRO: LASTRELEASE 2.3.2
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.3.1.tar.gz][=spot-2.3.1.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.3.2.tar.gz][=spot-2.3.2.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-3-1/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-3-2/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2017-02-20 #+MACRO: LASTDATE 2017-03-15