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

* NEWS: Mention recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-07-09 13:22:29 +02:00
parent 9af40bf14e
commit c0ffe5cdff
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
NEWS
View file

@ -7,6 +7,12 @@ New in spot 1.99.1a (not yet released)
* Debian packages for libraries have been split from * Debian packages for libraries have been split from
the main Spot package, as per Debian guidelines. the main Spot package, as per Debian guidelines.
* The scc_info object, used to build a map of SCCs while gathering
additionnal information, has been simplified and speed up. One
test case where ltlcross would take more than 13min (to check the
translation of one PSL formula and its now takes) now takes only
75s.
* 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