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

* NEWS: Summarize recent changes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-07 11:21:55 +02:00
parent 62fb48ea6e
commit be847372de
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -1,10 +1,15 @@
New in spot 1.99.2a (not yet released) New in spot 1.99.2a (not yet released)
* The CGI script for LTL translation offers a HOA download link
for each generated automaton.
* Bugs fixed * Bugs fixed
- Some acceptance conditions like Fin(0)|Fin(1)|Fin(2)&Inf(3) - Some acceptance conditions like Fin(0)|Fin(1)|Fin(2)&Inf(3)
where not detected as generalized-Rabin. where not detected as generalized-Rabin.
- Unknown arguments for print_hoa() (i.e., option -H in command-line - Unknown arguments for print_hoa() (i.e., option -H in command-line
tools) are now diagnosed. tools) are now diagnosed.
- the CGI script for LTL translation now force transition-based
acceptance on WDBA-minimized automata when TGBA is requested
New in spot 1.99.2 (2015-07-18) New in spot 1.99.2 (2015-07-18)