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

Typos

Browse source 
* NEWS: typos
This commit is contained in:
Maximilien Colange 2017-10-02 10:58:30 +02:00 • committed by Alexandre Duret-Lutz
parent 7e394506b6
commit 7b6346d38d
1 changed files with 8 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

17
NEWS
View file

@ -2,8 +2,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.
@ -15,14 +15,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)