Default branch

master a1215b4132 · Enable concurrency for Windows.yml workflow · Updated 2026-01-19 01:35:12 +00:00

Branches

daily-test-improver-array-peq-tests-4dee5e83be600bcf 3c1a4be659 · Add comprehensive tests for array partial equality (array_peq) · Updated 2025-09-19 13:09:12 +00:00	373 1
daily-test-improver-ast-printer-tests-f01c21ee11444fc9 be8ea18a80 · Daily Test Coverage Improver: Add test infrastructure for AST printer module · Updated 2025-09-19 03:16:25 +00:00	373 1
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	379 4
daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	387 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	394 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	394 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	394 1
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	403 4
daily-test-coverage-improver-533b3200fa126ff4 9f17c77932 · staged files · Updated 2025-09-16 12:58:41 +00:00	407 2
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	565 104
7677-potential-issue-in-arithmetic-optimization f81d9735e9 · Update prd.yml · Updated 2025-06-18 00:03:24 +00:00	629 0	Included
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	1434 1
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	1693 436
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	2030 1660
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	2439 45
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	3145 65
smtmus ec1a04bbb5 · merge · Updated 2022-01-07 20:57:39 +00:00    mirrors	4321 19
rs 4028ffa995 · merge · Updated 2020-03-03 02:16:07 +00:00    mirrors	7527 2