Default branch

master 76cceddb73 · Bump github/gh-aw-actions from 0.79.6 to 0.80.4 (#9902) · Updated 2026-06-18 23:42:08 +00:00

Branches

lia_w a75c860899 · lp: randomize the Gomory-cut gate to break period resonance · Updated 2026-06-18 23:10:55 +00:00	6 2
term_enumeration c0888b9ecd · debug qi · Updated 2026-06-18 21:46:04 +00:00	32 6
fix-benchmark-crashes a90901b7c5 · Replace inline depth_guard struct with on_scope_exit in datatype_factory.cpp · Updated 2026-06-18 20:01:17 +00:00	3 7
copilot/unsoundness-issue-gmp f8ba42c5c4 · Clarify BV SMT2 regression assertion · Updated 2026-06-18 19:24:44 +00:00	7 3
solver_parallel 41471bbc3e · add comment · Updated 2026-06-17 23:45:02 +00:00	32 40
derive f2e6d05c56 · disable hoisting ite over union · Updated 2026-06-17 22:26:38 +00:00	32 82
copilot/fix-macos-build-cmake 222a5a467b · Fix MacOS CMake build: guard override with #ifdef Z3DEBUG in static_matrix.h, add clang warnings · Updated 2026-06-17 18:12:28 +00:00	7 2
copilot/fix-regression-test-failures 0a3b87900c · goal2sat: skip caching single-ref nodes without refcount perturbation · Updated 2026-06-16 20:58:35 +00:00	8 1
derive-with-ranges bf1755363c · Merge branch 'derive-with-ranges' of https://github.com/z3prover/z3 into derive-with-ranges · Updated 2026-06-16 05:00:42 +00:00	32 83
copilot/historical-nlsat-regression-tests f210adb011 · Initial plan · Updated 2026-06-15 14:29:26 +00:00	21 1
veanes-derive 06a395fc49 · test: unit tests for OP_RE_CHARCLASS · Updated 2026-06-15 06:53:29 +00:00	21 6
simplify-int-cube-goto-ab252344afd929c1 362c041502 · Simplify int_cube: remove goto, use aggregate init · Updated 2026-06-15 06:35:55 +00:00	21 1
port_seq_split_to_master 1feb610daa · Probably quite instable, but included the splitting into the legacy solver · Updated 2026-06-12 15:05:38 +00:00	25 2
copilot/fix-parallel-solving-models 4f9ef6c275 · docs(java): clarify SAT model non-canonical behavior in Solver#getModel · Updated 2026-06-12 03:55:49 +00:00	31 2
c3 f126b60369 · Giving up is still no conflict · Updated 2026-06-11 14:27:59 +00:00	32 536
copilot/remove-m-node-of-hash-table 51b2a84ec8 · Remove regex_bisim m_node_of mapping · Updated 2026-06-10 22:23:49 +00:00	36 1
simplify/seq-subset-dead-code-cleanup-2026-06-10-f1c5715ec2b16346 f37b56439a · simplify: remove dead code in seq_subset and delete gmon.out · Updated 2026-06-10 06:15:28 +00:00	39 1
copilot/diagnose-failures e093be8b60 · seq_rewriter: add missing concat rewrites for nullable/full-seq/star cases (#9782) · Updated 2026-06-09 21:38:38 +00:00	39 0	Included
copilot/diagnose-query-failures a5495b78fa · Avoid invalidated column-cell references in LP pivot paths (#9783) · Updated 2026-06-09 14:36:05 +00:00	43 0	Included
copilot/copilotcopilotfix-euf-snode-support f4b04af699 · Fix euf_seq_plugin class-aware simplifications · Updated 2026-06-08 18:17:29 +00:00	78 516