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

Release Spot 1.99.2

Browse source 
* NEWS, configure.ac, doc/org/setup.org: Bump version number.
This commit is contained in:
Alexandre Duret-Lutz 2015-07-18 00:37:45 +02:00
parent 4e025ecd2b
commit ff57e3ef4c
3 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

20
NEWS
View file

@ -1,7 +1,7 @@
New in spot 1.99.1a (not yet released) New in spot 1.99.2 (2015-07-18)
* The scc_info object, used to build a map of SCCs while gathering * The scc_info object, used to build a map of SCCs while gathering
additionnal information, has been simplified and speed up. One additional information, has been simplified and speed up. One
test case where ltlcross would take more than 13min (to check the test case where ltlcross would take more than 13min (to check the
translation of one PSL formula) now takes only 75s. translation of one PSL formula) now takes only 75s.
@ -18,19 +18,19 @@ New in spot 1.99.1a (not yet released)
automaton generatated by ltl2dstar (configured with ltl2tgba) for automaton generatated by ltl2dstar (configured with ltl2tgba) for
the formula the formula
!((GFa -> GFb) & (GFc -> GFd)) !((GFa -> GFb) & (GFc -> GFd))
has 4307 states and 14 pairs. The new algorithm can translate it has 4307 states and 14 acceptance sets. The new algorithm can
into a TGBA with 9754 states and 7 acceptance sets, while the translate it into a TGBA with 9754 states and 7 acceptance sets,
default approch used for converting any acceptance to TGBA would while the default approch used for converting any acceptance
produce 250967 states and 7 acceptance sets. to TGBA would produce 250967 states and 7 acceptance sets.
* Bugs fixed: * Bugs fixed:
- p[+][:*2] was not detected as belonging to siPSL - p[+][:*2] was not detected as belonging to siPSL.
- scc_filter() would incorrectly remove Fin marks from - scc_filter() would incorrectly remove Fin marks from
rejecting SCCs. rejecting SCCs.
- the libspotltsmin library is installed - the libspotltsmin library is installed.
- ltlcross and ltldo did not properly quote atomic propositions - ltlcross and ltldo did not properly quote atomic propositions
and temporary file names containing a single-quote and temporary file names containing a single-quote.
- A missing Python.h is now diagnosed at ./configure time, with - a missing Python.h is now diagnosed at ./configure time, with
the suggestion to either install python3-devel, or run the suggestion to either install python3-devel, or run
./configure --disable-python. ./configure --disable-python.
- Debian packages for libraries have been split from - Debian packages for libraries have been split from

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], [1.99.1a], [spot@lrde.epita.fr]) AC_INIT([spot], [1.99.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 #+OPTIONS: H:2 num:nil toc:t
#+EMAIL: spot@lrde.epita.fr #+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html #+HTML_LINK_HOME: index.html
#+MACRO: SPOTVERSION 1.99.1 #+MACRO: SPOTVERSION 1.99.2
#+MACRO: LASTRELEASE 1.99.1 #+MACRO: LASTRELEASE 1.99.2
#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.1.tar.gz][=spot-1.99.1.tar.gz=]] #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.2.tar.gz][=spot-1.99.2.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-1/NEWS][summary of the changes]] #+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-2/NEWS][summary of the changes]]
#+MACRO: LASTDATE 2015-06-23 #+MACRO: LASTDATE 2015-07-18