Nikolaj Bjorner 7a2eea6f40 Revert "Refactor find_psort_decl() to return std::optional<psort_decl*> (#8339)" ... This reverts commit 445f995c54.		2026-01-26 13:19:51 -08:00
..
smt2	Revert "Refactor find_psort_decl() to return std::optional<psort_decl*> (#8339)"	2026-01-26 13:19:51 -08:00
util	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00