Default branch

master 175625f43c · don't unfold recursive defs if there is an uninterpreted subterm, #7671 · Updated 2025-12-10 08:26:21 +00:00

Branches

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	171 4
daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	179 1
daily-backlog-burner-clang-format-6fb0b10f9edf9f15 33de44cdc8 · Daily Backlog Burner: Add .clang-format file for consistent code formatting · Updated 2025-09-17 01:49:04 +00:00	186 1
daily-backlog-burner-fix-dylib-versioning-aad58f6ba3afa571 c41d11409a · Fix dylib versioning in pip packages for macOS · Updated 2025-09-17 01:41:22 +00:00	186 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	186 1
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	195 4
daily-test-coverage-improver-533b3200fa126ff4 9f17c77932 · staged files · Updated 2025-09-16 12:58:41 +00:00	199 2
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	357 104
7677-potential-issue-in-arithmetic-optimization f81d9735e9 · Update prd.yml · Updated 2025-06-18 00:03:24 +00:00	421 0	Included
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	1226 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	1485 436
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	1822 1660
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	2231 45
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	2937 65
smtmus ec1a04bbb5 · merge · Updated 2022-01-07 20:57:39 +00:00    mirrors	4113 19
rs 4028ffa995 · merge · Updated 2020-03-03 02:16:07 +00:00    mirrors	7319 2