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