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

* NEWS: Mention recent fixes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-02-06 00:45:18 +01:00
parent 50bdc24514
commit 38388748b0
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -6,6 +6,10 @@ New in spot 1.2.2a (not yet released)
- Fix calculation of length_boolone(), were 'Xa|b|c' was - Fix calculation of length_boolone(), were 'Xa|b|c' was
considered as length 6 instead of 4 (because it is 'Xa|(b|a)' considered as length 6 instead of 4 (because it is 'Xa|(b|a)'
were (b|a) is Boolean). were (b|a) is Boolean).
- Fix Clang-3.5 warnings.
- randltl -S did not honor --boolean-priorities.
- randltl had trouble generating formulas when all unary, or
all binary/n-ary operators were disabled.
New in spot 1.2.2 (2014-01-24) New in spot 1.2.2 (2014-01-24)