From c20f49aeacf1384f2c8768745bffa930c7b96301 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 13 Nov 2018 10:42:43 +0100 Subject: [PATCH] * NEWS: Add a missing entry. --- NEWS | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 5b1009fd7..2c1732adb 100644 --- a/NEWS +++ b/NEWS @@ -8,7 +8,7 @@ New in spot 2.6.3.dev (not yet released) determinized (with Safra construction). --algo=ds the automaton of the formula is determinized (Safra), 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 into a parity automaton using LAR, and split it. 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() 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) Bugs fixed: