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

Merge branch 'master' into next

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2019-04-19 09:04:29 +02:00
commit cb72191642
3 changed files with 13 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.7.2.dev (not yet released)
New in spot 2.7.3.dev (not yet released)
Command-line tools:
@ -46,6 +46,8 @@ New in spot 2.7.2.dev (not yet released)
acceptance condition. The output can be alternating only if the
input was alternating.
New in spot 2.7.3 (2019-04-19)
Bugs fixed:
- When processing CSV files with MSDOS-style \r\n line endings,
@ -55,6 +57,10 @@ New in spot 2.7.2.dev (not yet released)
- Fix serious typo in removel_alternation() causing incorrect
output for some VWAA. Bug introduced in Spot 2.6.
Documentation:
- Multiple typos and minor updates.
New in spot 2.7.2 (2019-03-17)
Python: