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

* NEWS: Remove some items from 2.6.2.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-10-01 16:40:03 +02:00
parent bfdeadcdbe
commit 0de334d783
1 changed files with 0 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

12
NEWS
View file

@ -54,18 +54,6 @@ New in spot 2.6.2.dev (not yet released)
with arbitrary acceptance condition into a parity automaton, with arbitrary acceptance condition into a parity automaton,
based on a last-appearance record (LAR) construction. based on a last-appearance record (LAR) construction.
- When states are highlighted with more than 8 colors, print_dot()
will add some extra markers to help distinguishing the colors.
This helps with the fact that colors 8-15 are lighter versions of
colors 0-7, and that higher color numbers cycle into this 16-color
palette.
Bugs fixed:
- exclusive_ap::constrain() (called by autfilt --exclusive-ap=...)
would incorrectly copy the "universal" property of the input
automaton, causing print_hoa() to fail.
New in spot 2.6.2 (2018-09-28) New in spot 2.6.2 (2018-09-28)
Build: Build: