2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	Release Spot 2.16

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

2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	* NEWS: Fix typos and add missing entries.

2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	* doc/org/init.el.in: Tweaks to fix build on ArchLinux.

2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	* tests/python/ltlf2dfa.ipynb: Reorder some sections; fix typos.

2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	from_ltlf: link to the arXiv note

	https://arxiv.org/abs/2609.00379 describes the recent changes to
	from_ltlf().

	* doc/spot.bib: Add a new entry.
	* spot/tl/ltlf.hh, doc/org/tut12.org, NEWS: Cite the arXiv note.

2026-09-02  Alexandre Duret-Lutz  <adl@lre.epita.fr>

	* tests/python/mtdswa.ipynb: Improve examples and fix typos.

2026-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	workaround some GCC 16.2 false positives

	Those are just false positive warnings turned into errors by -Werror.

	* spot/twaalgos/aiger.cc: Tweaks to avoid two false positives.

2026-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	doc: cite recent papers

	* doc/org/citing.org, doc/org/ltlfsynt.org,
	doc/org/ltlsynt.org, spot/twaalgos/ltlf2dfa.hh,
	spot/twaalgos/mtdswa.hh: Cite the CAV'26 and KR'26 papers.
	* doc/spot.bib: Add bib entries for those.

2026-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	ltlf2dfa: unregister quantified variables

	* spot/twaalgos/ltlf2dfa.cc (quantification_aux): Unregister
	quantified variables.
	* tests/core/ltlf2dfa.test: Adjust.

2026-09-01  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	ltlf2dfa: add support for QLTL to the compositional approach

	* bin/ltlf2dfa.cc: Remove the error message claiming that quantifiers
	cannot work with --translation=compositional.
	* spot/twaalgos/ltlf2dfa.cc (ltlf_to_mtdfa_compose): Add support
	for op::exists and op::forall.
	* tests/core/ltlf2dfa.test, tests/python/ltlf2dfa.py: Add more tests.
	The test added to ltlf2dfa.test actually shows that the quantification
	function for mtdfa_ptr forgot to remove the quantified variables from
	the variables declared in the automaton.  This will be fixed in next
	patch.
	* NEWS: Mention the new feature.
