* doc/org/install.org: Here.

This prevented static compilation on MinGW.

* bin/common_setup.cc: Here.

* tests/python/ipnbdoctest.py: Here.  It seems importlib
does not load importlib.util anymore.

Maximilien Colange authored Nov 22, 2017 and Alexandre Duret-Lutz committed Nov 28, 2017

* tests/sanity/namedprop.test: fix typo for proper output

* spot/misc/bitvect.cc, spot/misc/bitvect.hh, spot/tl/formula.cc,
spot/tl/formula.hh: Here.
* NEWS: Mention the bug.

This only occurs when doing the emptiness check of twa with allocated
states.

* spot/twaalgos/couvreurnew.cc: Here.
* NEWS: Mention the bug.

* spot/twaalgos/couvreurnew.cc: explicit operator bool is not used by
return.

* configure.ac, NEWS: Here.

* NEWS, configure.ac, doc/org/setup.org: Update.

That's the new name of ltl3hoa.

* bin/common_trans.cc: Add it.

* doc/org/install.org: Mention the GPG key.

* doc/org/tut04.org: This tests equivalence, not equality.

* doc/tl/tl.tex: This adds the rules implemented in 0a2bca13
for #293.

* doc/org/ltlcross.org: Use SPOT_HOA_TOLERANT=1 to work around a bug
in ltl3ba -H1.

Part of #292.

* bin/man/spot.x, bin/spot.cc: Here.

Fixes #293.

* spot/tl/simplify.cc: Test implications that would yield tt or ff
first.  In rules of the form "if a => b, a op b = b" also check
if b => a, and in this case return smallest(a,b).
* tests/core/reduccmp.test: Add a test.
* NEWS: Mention it.

* spot/gen/automata.cc (ks_nca): The output is complete.
* tests/core/genaut.test: Add test.
* NEWS: Mention the bug.

* spot/twaalgos/simulation.cc: Remove useless creation of scc_info
object.

* NEWS, configure.ac: Here.

* NEWS, configure.ac, doc/org/setup.org: Bump version.

* doc/org/oaut.org: Fix the call to convert.

Maximilien Colange authored Oct 02, 2017 and Alexandre Duret-Lutz committed Oct 03, 2017

* NEWS: typos

Fixes #286.

* spot/twaalgos/simulation.cc: Only set the deterministic
property, not the non-deterministic one.
* tests/core/ltl2tgba.test: Add test case.
* NEWS: Mention the issue.

Fixes #285, reported by Florian Perlié-Long.

* NEWS: Mention the issue.
* spot/tl/formula.cc: Fix it.
* tests/core/kind.test: Document it.
* THANKS: Add Florian.

Fixes #284, reported by Juraj Major.

* spot/twaalgos/totgba.cc: Fix the algorithm.
* spot/twa/acc.hh: More doc for future generations.
* tests/core/scc.test: More test cases.
* NEWS: Mention the issues.

* tests/python/toweak.py: Here.

Maximilien Colange authored Sep 25, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017

* spot/twaalgos/sccinfo.hh, spot/twaalgos/sccinfo.cc: Implement it
* tests/python/sccinfo.py: Test it
* NEWS: Document the fix

Fixes #282.

* spot/misc/bddlt.hh (bdd_less_than_stable): New function.
* spot/twa/twagraph.cc (merge_edges): Use it.
* tests/core/complement.test, tests/core/degenid.test,
tests/core/ltldo.test, tests/core/prodor.test,
tests/core/readsave.test, tests/core/sbacc.test,
tests/python/atva16-fig2a.ipynb, tests/python/automata.ipynb,
tests/python/decompose.ipynb, tests/python/dualize.py,
tests/python/highlighting.ipynb, tests/python/piperead.ipynb,
tests/python/product.ipynb, tests/python/simstate.py,
tests/python/tra2tba.py: Adjust all expected outputs.
* NEWS: Mention the bug.

* spot/twaalgos/postproc.cc: Here.

Alexandre GBAGUIDI AISSE authored May 12, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017

* spot/twaalgos/alternation.hh: Typos.
* spot/twa/twa.hh: Typos.

Alexandre GBAGUIDI AISSE authored Sep 19, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017

* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works
with transition-based acceptance as well.

Reported by František Blahoudek.

* bin/genaut.cc, bin/autcross.cc: Fix help strings.

* doc/org/oaut.org: Here.

* NEWS, configure.ac, doc/org/setup.org: Bump version.

Clément Gillard authored Apr 18, 2017 and Alexandre Duret-Lutz committed Sep 05, 2017

* bin/autfilt.cc, python/spot/__init__.py, spot/twa/twa.hh,
spot/twa/twaproduct.cc, spot/twaalgos/couvreurnew.cc,
tests/python/bugdet.py: Here.