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

	Release Spot 2.14.5

	* NEWS, configure.ac, doc/org/setup.org: Update for 2.14.5.
	* AUTHORS: Adjust Florian's employer.
	* debian/copyright: We are now in 2026.

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

	parsetl: fix ordering of pnode conversion to fnode

	The pnode optimization introduced in 2.11 to improve the parsing of
	large conjunction relied on an implicit conversion to fnode.
	Unfortunately, when creating binop from two pnode, the order in which
	those implicit conversion would be done was architecture dependent.

	* spot/parsetl/parsetl.yy: Make sure the that mutple pnode arguments
	are converted from left to right.
	* tests/core/parse.test: Add a test case demonstrating the
	problem.
	* NEWS: Mention the bug.

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

	* NEWS: Mention BuDDy's fix.

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

	fix restrict_dead_end_edges_here

	Fixes #628.

	* spot/twaalgos/deadends.hh: Update documentation.
	* spot/twaalgos/deadends.cc (gather_useful_labels): Previous
	implementation was only correct for Fin-less acceptance.  This adds
	another option for the general case.
	(restrict_dead_end_edges_here): Adjust.
	* tests/core/deadends.test: Add the test cases from #628.
	* NEWS: Mention the bug.

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

	fix acc_code::inf_satisfiable

	Needed to fix issue #628.

	* spot/twa/acc.hh (acc_code::inf_satisfiable): Clarify doc string.
	* spot/twa/acc.cc (partial_eval): Distinguish the cases where
	we know all colors from the cases where we do not.
	(acc_code::inf_satisfiable, acc_code::maybe_accepting): Adjust.
	* tests/python/accparse2.py: Add test cases for inf_satisfiable
	below the test cases for maybe_accepting.
	* NEWS: Mention the bug.

2025-12-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* NEWS, configure.ac: Bump version to 2.14.4.dev.

2025-12-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	release Spot 2.14.4

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

2025-12-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	pay attention to colors in are_isomorphic_det

	Fixes #627.

	* spot/twaalgos/are_isomorphic.cc (tr_t_less_than, operator!=):
	Compare the colors of transitions.
	* tests/core/ltlfilt.test: Add test case.
	* NEWS: Mention the bug.

2025-12-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>

	* doc/spot.bib (duret.25.ciaa): Add missing DOI.
