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/fix-z3py-spacer-crash 43ab391dbe · Initial plan · Updated 2026-07-14 15:32:56 +00:00	5 1
quot-rem-lemmas 9264c9cc26 · Add symbolic-modulus congruence rule to nla_divisions · Updated 2026-07-14 00:46:39 +00:00	13 1
copilot/alternative-z3-solver-solutions 1faba5c769 · Fix missing std headers in singlethread WASM wrapper · Updated 2026-07-13 16:32:34 +00:00	18 4
fmcad26_artifact 34964402b4 · bugfix about child threads setting force_enable=false for parallel · Updated 2026-07-13 05:07:05 +00:00	345 4
copilot/fix-unsat-with-asserts dc8fcb93a6 · Enable macro-finder fallback for auto_config=false mbqi=false · Updated 2026-07-13 04:59:52 +00:00	16 2
copilot/fix-assertion-violation-again 50455f9b6d · Delete z3.log · Updated 2026-07-13 01:29:16 +00:00	29 3
fix-seq-regex-quantifier-literal-timeout-daf3d49a0e021f78 9b8bfe6a26 · smt: restore direct quantifier internalization in theory::mk_literal · Updated 2026-07-12 08:29:30 +00:00	31 1
copilot/pp-decimal-for-trig-functions be243ba2bd · refactor: address code review feedback for transcendental decimal formatting · Updated 2026-07-12 02:19:37 +00:00	35 3
copilot/fix-assertion-violation 33d260a9c3 · Fix assertion violation in spacer_qe_project.cpp when model evaluation doesn't produce a numeral · Updated 2026-07-12 01:57:59 +00:00	35 2
c3-rewrote-regex-unwinding 4c7e421514 · Refactoring · Updated 2026-07-11 20:29:43 +00:00	92 576
fix/snapshot-regression-iss-6364-lambda-livelock-9637c5edef951995 e83e8f695a · Fix array lambda final-check livelock (snapshot-regression iss-6364) · Updated 2026-07-11 07:02:45 +00:00	36 1
copilot/fix-mac-build-x64-failure 984dbb3926 · Clean up std::to_string(1) literal in array_decl_plugin.cpp · Updated 2026-07-10 22:11:41 +00:00	38 3
snapshot-regression-fix/iss-5421-mbqi-lambda-defs-71703a03929c5c4c 37f1ac2e5d · Fix MBQI model-construction regression on UFLIA (iss-5421) · Updated 2026-07-10 07:56:41 +00:00	40 1
copilot/fix-consolidated-segfaults-again b1dc9c0ef2 · Fix OOB bounds-checking in smt_model_finder.cpp to prevent segfaults · Updated 2026-07-09 16:43:47 +00:00	42 2
copilot/fix-z3-loop-issue c0e49d6979 · Fix Z3 infinite loop: change bv_sort_ac default from false to true · Updated 2026-07-09 16:18:50 +00:00	42 2
copilot/fix-ubuntu-ocaml-job f37be0ec64 · Increase Ubuntu OCaml regression timeout in CI · Updated 2026-07-09 01:59:46 +00:00	46 2
copilot/fix-regression-in-4155 f92a0e2d46 · Fix FP E-matching regression: remove redundant m_new_def from theory_lra::can_propagate_core() · Updated 2026-07-07 20:57:47 +00:00	51 2
split_set 6610545c08 · disable loop split set · Updated 2026-07-05 19:03:27 +00:00	93 21
coz3-deepperf-fix-explain-fixed-column-toggle a0da774400 · lp: gate per-row batched fixed-column explanation behind lp.batch_explain_fixed_in_row · Updated 2026-07-05 18:35:29 +00:00	88 2
c3-split-marker 85467986ad · seq_monadic: whole-language monadic decomposition for regex membership (log-only diagnostic) · Updated 2026-07-05 12:28:34 +00:00	92 577