Default branch

master 2c508b3753 · Fix regex ITE propagation (#10379) (#10431) · Updated 2026-08-07 04:39:20 +00:00

Branches

linprobe 98bb6245ca · Add linprobe mode: short monomial linearization probe before SMT · Updated 2026-08-07 13:43:27 +00:00	4 1
seq-monadic-prune-hardening 754c4243e6 · Harden the seq_monadic goal-atom prune against rewriter changes · Updated 2026-08-07 08:37:24 +00:00	11 5
copilot/fix-overflow-vector-error 04e0f3b024 · Add widened vector growth arithmetic and regression test · Updated 2026-08-07 06:55:15 +00:00	0 3
copilot/fix-assertion-violation-z3-solver-bug 553f19ca05 · Fix assertion violation in lp_bound_propagator when column has non-zero delta · Updated 2026-08-07 06:40:54 +00:00	0 2
copilot/fix-solver-bug-assertion-violation d545494abf · Handle missing crossed-bound witness conservatively · Updated 2026-08-07 06:30:40 +00:00	0 3
optimize-nl-bounds af10b18f4d · move optimize_nl_bounds to monomial_bounds · Updated 2026-08-07 05:19:59 +00:00	0 1
fix-10420 f05612e750 · Fix nested datatype declaration printing (#10420) · Updated 2026-08-07 05:17:31 +00:00	0 1
seq-split 4bb3d74d61 · Fixed for pre-C++17 · Updated 2026-08-07 03:11:04 +00:00	2 2
code-simplifier/fix-optional-type-hints-a468a3c36adfd68c 991d4be5f1 · Extend Ostrich benchmark workflow to include cvc5 and Ostrich2 (#10429) · Updated 2026-08-07 02:51:47 +00:00	1 0	Included
c3 cec3c4b55f · Removed random symbol · Updated 2026-08-07 02:10:24 +00:00	2 633
fix-10417 ca28b86eff · Update dioph_eq.cpp · Updated 2026-08-06 21:50:32 +00:00	4 2
lprobe 11f0477c6b · nla: row-implied bound propagation and a bounds-only linear probe · Updated 2026-08-06 17:37:59 +00:00	11 1
fix-div0-define-fun-collision-ca8c66d66fad09b9 2e7487a3b5 · Allow define-fun of internal /0, div0, mod0, ^0 functions · Updated 2026-08-06 07:01:34 +00:00	4 1
fix/div0-model-reparse-iss3172-3bc9076621ca90fe ee3ccabdd9 · Don't reject re-declaration of internal auxiliary functions like /0 · Updated 2026-08-06 06:02:39 +00:00	4 1
refine-terms a7762346d2 · seq_regex: lazy canonization refinement for monadic memberships · Updated 2026-08-06 03:15:34 +00:00	5 1
seq-dnf-opt 8b92513413 · Merge remote-tracking branch 'origin/master' into seq-dnf-opt · Updated 2026-08-06 00:25:12 +00:00	8 4
seq-live-states f96e37753d · Prune seq_monadic product states that can no longer reach their goal (#10386) · Updated 2026-08-05 22:46:22 +00:00	11 4
fix-10385-cg-generation 07116de4b5 · Harden cg-root generation tracking against interrupted merges (#10385) · Updated 2026-08-05 03:27:50 +00:00	18 1
copilot/fix-solution-soundness-bug 2f4d8b71a4 · Initial plan · Updated 2026-08-04 23:02:51 +00:00	20 1
copilot/fix-sigsegv-in-mbqi-model-checker 9b54e8a6c4 · Initial plan · Updated 2026-08-04 23:02:42 +00:00	20 1