* doc/org/citing.org, doc/spot.bib: Here.

* spot/twa/acc.cc: Fix detection of single-pairs gen-Rabin and
gen-Streett.
* tests/core/randaut.test: Add test case.
* NEWS: Mention this issue.

* spot/twaalgos/relabel.cc: Remove false transitions if
some of the propositions are equivalent to true or false.
* NEWS: Mention the bug.
* tests/core/ltl2tgba2.test: Test it.

* python/spot/__init__.py: Here.
* tests/python/except.py: Add test.
* NEWS: Mention the issue.

* spot/twaalgos/degen.cc (degeneralize_tba): Here.
* tests/python/simstate.py: Adjust expected values.
* NEWS: Mention the bug.

* tests/python/ipnbdoctest.py: Catch kernel deaths, wait a random
number of seconds, and try again up to three times.

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

* tests/python/ipnbdoctest.py: Use shorter timeouts, and flush the
shell messages without expecting them.

* bin/common_setup.cc, debian/copyright: Here.

Reported by František Blahoudek.

* spot/twa/twagraph.cc: Reset prop_universal() if edges are merged in
a non-deterministic automaton.
* tests/core/det.test: Add test case.
* NEWS: Mention the issue.

* bin/common_finput.cc, bin/ltl2tgba.cc, bin/ltldo.cc: Make sure
--negate is listed along with input options.

Reported by František Blahoudek.

* spot/twaalgos/postproc.cc: Turn "t" into "Inf(0)" for BA.
* tests/core/ltl2tgba.test: Add test case.
* NEWS: Mention the bug.

* spot/misc/tmpfile.cc: Display strerror(errno) plus some suggestions
that depend on the error.  Based on a report from Shengping Shaw.
* THANKS: Add reporter.
* tests/core/ltlcross5.test: New file.
* tests/Makefile.am: Add it.

* NEWS, configure.ac, doc/org/setup.org: Set version to 2.8.4.

* bin/common_hoaread.cc: Here.  Reported by Juraj Major.

This fixes a complementation bug reported by Juraj Major and Tereza
Šťastná.

* spot/twaalgos/remfin.cc (is_scc_tba_type): Fix the condition for
handling Fin-alone pairs.
* tests/core/complement.test: Add Juraj & Tereza's test case.
* NEWS: Mention it.

This is to workaround differences in minidom's pretty-printing that
occurred between Python 3.7 and 3.8.

* python/spot/jupyter.py (SVG): New class.
* python/spot/__init__.py: Use it.
* tests/python/_altscc.ipynb, tests/python/alternation.ipynb,
tests/python/automata.ipynb, tests/python/formulas.ipynb,
tests/python/gen.ipynb, tests/python/highlighting.ipynb,
tests/python/ltsmin-dve.ipynb, tests/python/ltsmin-pml.ipynb,
tests/python/product.ipynb, tests/python/randaut.ipynb,
tests/python/testingaut.ipynb, tests/python/twagraph-internals.ipynb,
tests/python/word.ipynb: Adjust.

* doc/org/arch.tex: Improve diagram, add links and online services.
* doc/org/concepts.org: Update text.

* NEWS, configure.ac, doc/org/setup.org: Set version to 2.8.3.

See https://gitlab.com/graphviz/graphviz/issues/1605.

* python/spot/aux.py (str_to_svg): Invert the scale parameters
if they are both greater than one.

* spot/twa/acc.hh (acc_cond::mark_t): Diagnose mark_t with set numbers
that are too larges.
* tests/python/except.py: Adjust.
* tests/core/acc.cc: Remove most of asserts, as those can be disabled,
and adjust expected exception.

Etienne Renault authored Oct 17, 2019 and Alexandre Duret-Lutz committed Oct 28, 2019

* tests/core/parity.cc: Here.

Reported by Etienne Renault.

* spot/priv/trim.cc: Simplify with a lambda.

This is needed for tcltl.

* python/spot/__init__.py: Alter __path__ to add any spot-extra/
directory we find.
* NEWS: Mention this.

* python/spot/gen.i, python/spot/impl.i, python/spot/ltsmin.i: Here.

* debian/control (spot-doc): Depends on libjs-requirejs.
* debian/rules (fix-js): Replace uses.

* debian/rules: Here.

* NEWS, configure.ac: Here.

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

* src/bddx.h (bdd_allsat): Add a version with the old prototype.