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

snapshot-regression-fix/iss-3072-lp-random-hammers-default-02de72957c0ff03e 380ad825e6 · lp: restore deterministic integer heuristic gates by default (random_hammers=false) · Updated 2026-07-05 08:49:29 +00:00	70 1
c3 5fc81bd1ae · stop complaining abot Char in QF_S benchmarks · Updated 2026-07-04 21:30:00 +00:00	92 572
copilot/fix-canceled-error-on-minimize f698c99a08 · Refine regression test naming for recfun minimize case · Updated 2026-07-04 20:27:10 +00:00	75 3
snapshot-regression-fix-iss-6748-ce62e354f9c6151a 43a7ccbf21 · smt: don't give up on lambda equalities in array final check · Updated 2026-07-04 07:52:30 +00:00	77 1
c3-split-perf 10cab8b70d · seq_split: De Morgan fallback for complement of R*.S (termination fix) · Updated 2026-07-04 07:30:00 +00:00	92 576
perf/relevancy-watch-filter-toggle 435e4d7897 · smt: add smt.relevancy.watch_filter toggle for the watch-list filter · Updated 2026-07-03 19:43:57 +00:00	88 2
snapshot-regression-fix/iss-3268-parallel-mbqi-preprocess-9948a5ec3e0ad58b 46a45dee04 · smt_parallel: keep preprocessing for quantified formulas so MBQI can solve · Updated 2026-07-03 12:52:36 +00:00	88 1
snapshot-fix-iss5454-bug11-5b08bc67a354ae23 25e58ebd76 · Fix lira/array regression: lambda equality wrongly forces "unknown" · Updated 2026-07-03 12:21:07 +00:00	88 1
snapshot-regression-fix/iss-5336-bug-5-582736a169cc8035 3101b5f771 · Fix MBQI completeness regression for array-valued universal variables · Updated 2026-07-03 11:37:23 +00:00	88 1
fix-re-range-symbolic-bound-iss5140-02ba1d29bf05d7ec 24371fe47a · Merge branch 'master' into fix-re-range-symbolic-bound-iss5140-02ba1d29bf05d7ec · Updated 2026-07-02 21:09:07 +00:00	89 2
fix-re-range-symbolic-bounds-5edfbc3cf9a00695 e79d5ddddf · Fix unsound empty collapse of symbolic-bound re.range · Updated 2026-07-01 11:03:54 +00:00	92 1
snapshot-regression-fix/iss-5142-re-range-97ceb8059824ecfb a979580852 · Fix unsound collapse of symbolic re.range bounds to empty language · Updated 2026-07-01 08:30:09 +00:00	92 1
copilot/fix-unsound-model-abv-logic 936dc25c0c · Add ABV model regression test · Updated 2026-06-28 23:50:35 +00:00	115 2
copilot/fix-performance-regression-queries ecb76032aa · Mitigate #5763 sequence indexof performance regression · Updated 2026-06-28 23:35:53 +00:00	115 2
coz3-deepfix-nlsat-lws-default-off-36468d717e205d13 980772f40f · nlsat: disable levelwise (lws) by default to fix QF_NIA SIGSEGV · Updated 2026-06-28 22:58:36 +00:00	115 1
copilot/fix-consolidated-segfaults 917abe5f7a · Fix model-finder segfault on invalid AUF variable indices · Updated 2026-06-28 21:51:49 +00:00	115 2
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e 699d7b5ca8 · Fix parallel tactic spinning to timeout on terminal solver giveup · Updated 2026-06-28 06:49:51 +00:00	121 1
copilot/fix-unexpected-unsat-response f00cf75ce2 · Apply remaining changes · Updated 2026-06-27 18:50:18 +00:00	128 4
ci/test-z3-precommit d704b289ef · Add local pre-commit hook running z3test regressions · Updated 2026-06-27 15:45:19 +00:00	125 1
snapshot-fix-iss-8418-dio-period-b4b2899e399f3084 2d17f0428a · lp: remove dio_calls_period linear recovery that defeats dio backoff · Updated 2026-06-27 08:25:14 +00:00	125 1