Default branch

master 77c70bf812 · param order · Updated 2025-10-06 22:52:09 +00:00

ZIP  TAR.GZ

Branches

arie 599e9da8a9 · optionally limit linearization · Updated 2025-10-06 20:40:06 +00:00	26 31		ZIP  TAR.GZ
copilot/fix-dd97045b-5ca3-4f7b-8edf-c3764fc4e5fd ce8ef4f19e · Add mutex to warning.cpp for thread safety · Updated 2025-10-06 20:34:13 +00:00	8 2		ZIP  TAR.GZ
nl2lin 6cbc6f4f84 · create polynomials with integer coefficients, use the hook to create new monomials · Updated 2025-10-06 18:53:06 +00:00	238 30		ZIP  TAR.GZ
copilot/fix-8720d50e-3ea8-4d98-8aed-98393b4b96aa b53896f6b3 · Add is_finite_set helper and parameter count validation · Updated 2025-10-06 16:16:25 +00:00	9 12		ZIP  TAR.GZ
finite-sets 7356b5ff88 · outline finite_set theory solver · Updated 2025-10-05 23:22:28 +00:00	9 7		ZIP  TAR.GZ
lws aca39a20a7 · t · Updated 2025-10-04 00:47:01 +00:00	175 79		ZIP  TAR.GZ
parallel c8bdbd2dc4 · remove directory · Updated 2025-10-03 18:58:57 +00:00	9 0	Included	ZIP  TAR.GZ
par d04433ef70 · config parameters · Updated 2025-09-20 17:44:49 +00:00	38 7		ZIP  TAR.GZ
copilot/fix-7941 04d9f58713 · Complete max PB constraints optimization with tests · Updated 2025-09-19 21:29:24 +00:00	35 4		ZIP  TAR.GZ
daily-test-improver-expr-context-simplifier-tests-92d84ac6eb401c41 2bb66adc06 · Add comprehensive test infrastructure for expression context simplifier · Updated 2025-09-19 14:36:11 +00:00	36 1		ZIP  TAR.GZ
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	36 1		ZIP  TAR.GZ
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	36 1		ZIP  TAR.GZ
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	42 4		ZIP  TAR.GZ
daily-backlog-burner-issue-templates-a5164506b19a6d1c 8e8799dbd3 · Add comprehensive issue templates for improved triage · Updated 2025-09-17 15:51:12 +00:00	50 1		ZIP  TAR.GZ
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	57 1		ZIP  TAR.GZ
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	57 1		ZIP  TAR.GZ
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	57 1		ZIP  TAR.GZ
daily-perf-improver-699a33043be4ab3a 7c51accb30 · fix build · Updated 2025-09-17 00:08:19 +00:00	66 4		ZIP  TAR.GZ
daily-test-coverage-improver-533b3200fa126ff4 9f17c77932 · staged files · Updated 2025-09-16 12:58:41 +00:00	70 2		ZIP  TAR.GZ
ilana ea4bec9d03 · internalize assertions during simplify · Updated 2025-09-12 00:40:41 +00:00	228 104		ZIP  TAR.GZ