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

* NEWS: Add more news.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-08-19 14:57:35 +02:00
parent e5124faa13
commit e7dc62e3c8
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -9,6 +9,9 @@ New in spot 1.2.4a (not yet released)
- Fix simplification of bounded repetition in SERE formulas. - Fix simplification of bounded repetition in SERE formulas.
- Fix parsing of neverclaims produced by Modella. - Fix parsing of neverclaims produced by Modella.
- Fix a memory leak in the little-used conversion from
transition-based alternating automata to tgba.
- Fix a harmless uninitialized read in BuDDy.
New in spot 1.2.4 (2014-05-15) New in spot 1.2.4 (2014-05-15)