Copilot 86d7a2a529 Merge e503ead008 into 1d425e55cd		2026-07-10 16:24:22 +02:00
..
ackermannization	block ackermann over nested selects	2026-06-19 10:41:56 -07:00
api	Remove unnecessary semicolons (Attempt 2) (#10020)	2026-07-02 12:47:29 -07:00
ast	bug fixes to ho_matching - offset alignment inv_var_shift, callback scopes should not be nested, allow bindings that are not ground	2026-07-09 19:16:12 -07:00
cmd_context	fix pattern inference to deal with binders properly, pin sorts in tptp_frontend	2026-07-08 15:29:05 -07:00
math	opt: validate strict optimization optima faithfully with delta-rational bounds (#10059)	2026-07-09 10:39:23 -07:00
model	updates to tptp_frontend	2026-07-04 14:34:21 -07:00
muz	Remove unnecessary semicolons (Attempt 2) (#10020)	2026-07-02 12:47:29 -07:00
nlsat	Remove unnecessary semicolons (Attempt 2) (#10020)	2026-07-02 12:47:29 -07:00
opt	opt: validate strict optimization optima faithfully with delta-rational bounds (#10059)	2026-07-09 10:39:23 -07:00
params	fix loop bug in ho_matching and add throttle configurations	2026-07-07 09:20:32 -07:00
parsers	Remove unnecessary semicolons (Attempt 2) (#10020)	2026-07-02 12:47:29 -07:00
qe	Merge e503ead008 into 1d425e55cd	2026-07-10 16:24:22 +02:00
sat	Remove unnecessary semicolons (Attempt 2) (#10020)	2026-07-02 12:47:29 -07:00
shell	Fixes necessary to compile z3 included in clang-tidy via FetchContents. (#9768)	2026-06-08 19:44:01 -07:00
smt	bug fixes to ho_matching - offset alignment inv_var_shift, callback scopes should not be nested, allow bindings that are not ground	2026-07-09 19:16:12 -07:00
solver	fix pattern inference to deal with binders properly, pin sorts in tptp_frontend	2026-07-08 15:29:05 -07:00
tactic	[snapshot-regression-fix] Fix elim_uncnstr disabled by manager-wide has_type_vars() flag (iss-6260/small-2) (#10063)	2026-07-07 13:02:37 -07:00
test	Merge e503ead008 into 1d425e55cd	2026-07-10 16:24:22 +02:00
util	bug fixes to ho_matching - offset alignment inv_var_shift, callback scopes should not be nested, allow bindings that are not ground	2026-07-09 19:16:12 -07:00
CMakeLists.txt	git bindings v1.0	2026-02-18 21:02:25 -08:00