Commit d9d92881 authored by Maximilien Colange's avatar Maximilien Colange
Browse files

Typos

* NEWS: typos
parent f0dc9d44
...@@ -115,8 +115,8 @@ New in spot 2.4.0.dev (not yet released) ...@@ -115,8 +115,8 @@ New in spot 2.4.0.dev (not yet released)
Bugs fixed: Bugs fixed:
- The formula class failed to build {a->c[*]} althought it is - The formula class failed to build {a->c[*]} although it is
alowed in our grammar. allowed by our grammar.
- spot::scc_info::determine_unknown_acceptance() incorrectly - spot::scc_info::determine_unknown_acceptance() incorrectly
considered some rejecting SCC as accepting. considered some rejecting SCC as accepting.
...@@ -128,14 +128,13 @@ New in spot 2.4.0.dev (not yet released) ...@@ -128,14 +128,13 @@ New in spot 2.4.0.dev (not yet released)
function could crash on input that had a Streett-like acceptance function could crash on input that had a Streett-like acceptance
not using all declared sets. not using all declared sets.
- The twa_graph::mege_edges() function relied on BDD IDs to sort - The twa_graph::merge_edges() function relied on BDD IDs to sort
edges. This in turn caused some algorithm (like the edges. This in turn caused some algorithms (like the
degeneralization) to produce slighltly different outputs (but degeneralization) to produce slighltly different (but still correct)
still correct outputs) depending on the BDD operations performed outputs depending on the BDD operations performed before.
before.
- spot::simulation() would occasionally incorrectly flag an - spot::simulation() could incorrectly flag an automaton as
automaton as non-deterministic. non-deterministic.
New in spot 2.4 (2017-09-06) New in spot 2.4 (2017-09-06)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment