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

* NEWS: Add a missing entry.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-11-13 10:42:43 +01:00
parent dba2305367
commit c20f49aeac
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -8,7 +8,7 @@ New in spot 2.6.3.dev (not yet released)
determinized (with Safra construction). determinized (with Safra construction).
--algo=ds the automaton of the formula is determinized (Safra), --algo=ds the automaton of the formula is determinized (Safra),
then split to separate inputs and outputs. then split to separate inputs and outputs.
--alog=lar translate the formula to a deterministic automaton --algo=lar translate the formula to a deterministic automaton
with an arbitrary acceptance condition, then turn it with an arbitrary acceptance condition, then turn it
into a parity automaton using LAR, and split it. into a parity automaton using LAR, and split it.
In all three cases, the obtained parity game is solved using In all three cases, the obtained parity game is solved using
@ -115,6 +115,9 @@ New in spot 2.6.3.dev (not yet released)
repr() to display returned values, you may want to call print() repr() to display returned values, you may want to call print()
explicitely if you prefer the old representation. explicitely if you prefer the old representation.
- Fix compilation under Cygwin and Alpine Linux, both choking
on undefined secure_getenv().
New in spot 2.6.3 (2018-10-17) New in spot 2.6.3 (2018-10-17)
Bugs fixed: Bugs fixed: