Nikolaj Bjorner b769ca3639 check context match ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2026-02-18 20:57:34 -08:00
..
ackermannization	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
api	check context match	2026-02-18 20:57:34 -08:00
ast	Migrate iterator-based for loops to range-based for loops (#8231)	2026-02-18 20:57:34 -08:00
cmd_context	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
math	Fix segfault in dioph_eq.cpp by adding bounds check	2026-02-18 20:57:32 -08:00
model	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
muz	Migrate iterator-based for loops to range-based for loops (#8231)	2026-02-18 20:57:34 -08:00
nlsat	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
opt	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
params	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
parsers	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
qe	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
sat	Fix 13 compiler warnings: sign-comparison and unused parameters (#8215)	2026-02-18 20:57:31 -08:00
shell	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
smt	Replace fall-through comments with Z3_fallthrough macro (#8219)	2026-02-18 20:57:31 -08:00
solver	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
tactic	Migrate iterator-based for loops to range-based for loops (#8231)	2026-02-18 20:57:34 -08:00
test	Standardize for-loop increments to prefix form (++i) (#8199)	2026-02-18 20:57:29 -08:00
util	Fix UNKNOWN bug in search tree about inconsistent end state (#8214)	2026-02-18 20:57:31 -08:00
CMakeLists.txt	BLD: Add CMake option to build Python bindings without rebuilding libz3 (redux) (#8088)	2026-02-18 20:57:00 -08:00