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

Release Spot 0.9

Browse source 
* configure.ac, NEWS: Bump version to 0.9.
This commit is contained in:
Alexandre Duret-Lutz 2012-05-09 13:19:35 +02:00
parent 2945668021
commit 1e0ae54892
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -1,4 +1,4 @@
New in spot 0.8.3a: New in spot 0.9 (2012-05-09):
* New features: * New features:
- Operators from the linear fragment of PSL are supported. This - Operators from the linear fragment of PSL are supported. This
@ -29,7 +29,7 @@ New in spot 0.8.3a:
- A new direct simulation reduction has been implemented. It - A new direct simulation reduction has been implemented. It
works directly on TGBAs. It is in src/tgbaalgos/simlation.hh, works directly on TGBAs. It is in src/tgbaalgos/simlation.hh,
and it can be tested via ltl2tgba's -RDS option. and it can be tested via ltl2tgba's -RDS option.
- unabbreviate_wm() is a function that rewrite the W and M operators - unabbreviate_wm() is a function that rewrites the W and M operators
of LTL formulae using R and U. This is called whenever we output of LTL formulae using R and U. This is called whenever we output
a formula in Spin syntax. By combining this with the aforementioned a formula in Spin syntax. By combining this with the aforementioned
PSL rewriting rules, many PSL formulae that use simple SERE can be PSL rewriting rules, many PSL formulae that use simple SERE can be

2
configure.ac
View file

@ -22,7 +22,7 @@
# 02111-1307, USA. # 02111-1307, USA.
AC_PREREQ([2.61]) AC_PREREQ([2.61])
AC_INIT([spot], [0.8.3a], [spot@lrde.epita.fr]) AC_INIT([spot], [0.9], [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])