Default branch

master 459629c662 · bugfixes to ho_matcher · Updated 2026-05-24 01:06:04 +00:00

Branches

copilot/fix-z3-regression-unknown-to-sat 9e96ee91dc · Fix regression: use setup_solver_terms() instead of setup_solver_poly() in nra_solver check() · Updated 2026-02-24 05:11:31 +00:00	439 2
copilot/fix-invalid-model-generation f0612ab7e0 · Initial plan · Updated 2026-02-24 04:44:45 +00:00	439 1
subpave c4c4d18da3 · second round of copilot prompting · Updated 2026-02-23 21:34:06 +00:00	466 2
copilot/fix-invalid-model-proof-generation 6b12bffd55 · Initial plan · Updated 2026-02-23 04:05:35 +00:00	454 1
copilot/fix-tagged-pointer-bug e6607df831 · fixes · Updated 2026-02-17 15:41:07 +00:00	1410 41
copilot/fix-undeclared-identifier-p 768bcb6331 · Initial plan · Updated 2026-02-12 15:02:38 +00:00	1515 1
copilot/refactor-theory-bv-structured-bindings f6c5aa34a0 · Initial plan · Updated 2026-01-27 17:58:14 +00:00	1727 1
copilot/refactor-factor-rewriter-structured-bindings 82fc7643af · Initial plan · Updated 2026-01-27 17:58:05 +00:00	1727 1
arie a15854869b · combine backtracking methods · Updated 2026-01-26 05:48:58 +00:00	2162 192
copilot/update-code-conventions-analyzer c35e903354 · Initial plan · Updated 2026-01-23 21:36:34 +00:00	1760 1
copilot/fix-workflows a8878bb594 · Initial plan · Updated 2026-01-23 05:07:15 +00:00	1765 1
copilot/fix-missing-override-keyword 024b19db1d · Initial plan · Updated 2026-01-22 04:01:55 +00:00	1774 1
copilot/change-release-notes-action cee443b5f6 · Initial plan · Updated 2026-01-19 22:06:09 +00:00	1796 1
copilot/align-coding-conventions-z3 5b904a20f9 · Initial plan · Updated 2026-01-19 01:50:15 +00:00	1799 1
copilot/revert-range-based-loops 6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00	1815 1
copilot/fix-missing-test-files d197be85ca · Initial plan · Updated 2026-01-10 22:08:27 +00:00	1905 1
parallel c2102c8dfb · Param tuning updates (#8137) · Updated 2026-01-09 22:14:44 +00:00	2145 34
copilot/update-code-review-remarks 2d9da2fd72 · Initial plan · Updated 2026-01-09 00:21:44 +00:00	1922 1
par d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00	2174 7
perf/xxhash-optimization-8cab442e0c080529 7652d5a3e4 · Merge branch 'master' of https://github.com/Z3Prover/z3 into perf/xxhash-optimization-8cab442e0c080529 · Updated 2025-09-18 14:07:05 +00:00	2178 4