Default branch

master 82a0d42970 · Improve hash mixing to eliminate bitvector-expression hash-table clustering (#10120) · Updated 2026-07-14 18:51:49 +00:00

Branches

copilot/swap-order-names d94e527905 · Initial plan · Updated 2026-03-10 16:22:59 +00:00	562 1
copilot/fix-string-solver-performance-regression 1ed4ac7f83 · Initial plan · Updated 2026-03-09 17:57:01 +00:00	579 1
copilot/fix-invalid-model-generation f0612ab7e0 · Initial plan · Updated 2026-02-24 04:44:45 +00:00	734 1
copilot/fix-invalid-model-proof-generation 6b12bffd55 · Initial plan · Updated 2026-02-23 04:05:35 +00:00	749 1
copilot/fix-tagged-pointer-bug e6607df831 · fixes · Updated 2026-02-17 15:41:07 +00:00	1705 41
copilot/fix-undeclared-identifier-p 768bcb6331 · Initial plan · Updated 2026-02-12 15:02:38 +00:00	1810 1
copilot/refactor-theory-bv-structured-bindings f6c5aa34a0 · Initial plan · Updated 2026-01-27 17:58:14 +00:00	2022 1
copilot/refactor-factor-rewriter-structured-bindings 82fc7643af · Initial plan · Updated 2026-01-27 17:58:05 +00:00	2022 1
arie a15854869b · combine backtracking methods · Updated 2026-01-26 05:48:58 +00:00	2457 192
copilot/update-code-conventions-analyzer c35e903354 · Initial plan · Updated 2026-01-23 21:36:34 +00:00	2055 1
copilot/fix-workflows a8878bb594 · Initial plan · Updated 2026-01-23 05:07:15 +00:00	2060 1
copilot/fix-missing-override-keyword 024b19db1d · Initial plan · Updated 2026-01-22 04:01:55 +00:00	2069 1
copilot/change-release-notes-action cee443b5f6 · Initial plan · Updated 2026-01-19 22:06:09 +00:00	2091 1
copilot/align-coding-conventions-z3 5b904a20f9 · Initial plan · Updated 2026-01-19 01:50:15 +00:00	2094 1
copilot/revert-range-based-loops 6717c2a96c · Initial plan · Updated 2026-01-17 21:06:17 +00:00	2110 1
copilot/fix-missing-test-files d197be85ca · Initial plan · Updated 2026-01-10 22:08:27 +00:00	2200 1
copilot/update-code-review-remarks 2d9da2fd72 · Initial plan · Updated 2026-01-09 00:21:44 +00:00	2217 1
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	3528 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	3787 436
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	4124 1660