Default branch

master dd09603f4d · fix the logic of adding all coefficients and blocking double insertions in m_todo · Updated 2026-02-09 01:01:51 +00:00

Branches

PIBC31vRhCIHvFIN 6798da2212 · fix build warnings for bit_util · Updated 2026-01-23 22:57:05 +00:00	168 1
copilot/update-code-conventions-analyzer c35e903354 · Initial plan · Updated 2026-01-23 21:36:34 +00:00	167 1
copilot/fix-workflows a8878bb594 · Initial plan · Updated 2026-01-23 05:07:15 +00:00	172 1
copilot/fix-missing-override-keyword 024b19db1d · Initial plan · Updated 2026-01-22 04:01:55 +00:00	181 1
finite-sets d070296ae5 · nits · Updated 2026-01-21 19:44:18 +00:00	552 143
copilot/change-release-notes-action cee443b5f6 · Initial plan · Updated 2026-01-19 22:06:09 +00:00	203 1
copilot/align-coding-conventions-z3 5b904a20f9 · Initial plan · Updated 2026-01-19 01:50:15 +00:00	206 1
copilot/revert-range-based-loops 6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00	222 1
copilot/fix-missing-test-files d197be85ca · Initial plan · Updated 2026-01-10 22:08:27 +00:00	312 1
parallel c2102c8dfb · Param tuning updates (#8137) · Updated 2026-01-09 22:14:44 +00:00	552 34
copilot/update-code-review-remarks 2d9da2fd72 · Initial plan · Updated 2026-01-09 00:21:44 +00:00	329 1
nl2lin 543a473993 · Update nlsat_explain.cpp · Updated 2025-12-17 03:55:26 +00:00	395 34
par d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00	581 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	585 4
daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	593 1
daily-backlog-burner/add-clang-format-b2c2bf893132649d be174cef87 · Add .clang-format file for consistent C++ code formatting · Updated 2025-09-17 01:34:15 +00:00	600 1
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	609 4
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	771 104
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	1640 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	1899 436