Default branch

master eef00e2023 · Add specbot-crash-analyzer agentic workflow (.md + .lock.yml) (#9198) · Updated 2026-04-02 08:10:56 +00:00

Branches

copilot/fix-workflows a8878bb594 · Initial plan · Updated 2026-01-23 05:07:15 +00:00	1647 1
copilot/fix-missing-override-keyword 024b19db1d · Initial plan · Updated 2026-01-22 04:01:55 +00:00	1656 1
copilot/change-release-notes-action cee443b5f6 · Initial plan · Updated 2026-01-19 22:06:09 +00:00	1678 1
copilot/align-coding-conventions-z3 5b904a20f9 · Initial plan · Updated 2026-01-19 01:50:15 +00:00	1681 1
copilot/revert-range-based-loops 6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00	1697 1
copilot/fix-missing-test-files d197be85ca · Initial plan · Updated 2026-01-10 22:08:27 +00:00	1787 1
parallel c2102c8dfb · Param tuning updates (#8137) · Updated 2026-01-09 22:14:44 +00:00	2027 34
copilot/update-code-review-remarks 2d9da2fd72 · Initial plan · Updated 2026-01-09 00:21:44 +00:00	1804 1
par d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00	2056 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	2060 4
daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	2068 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	2075 1
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	2084 4
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	2246 104
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	3115 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	3374 436
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	3711 1660
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	4120 45
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	4826 65
smtmus ec1a04bbb5 · merge · Updated 2022-01-07 20:57:39 +00:00    mirrors	6002 19