Default branch

master 466a5620e1 · Merge build warning fixes by davedets into Master (#10460) · Updated 2026-08-08 23:17:39 +00:00

Branches

refine-terms a7762346d2 · seq_regex: lazy canonization refinement for monadic memberships · Updated 2026-08-06 03:15:34 +00:00	17 1
fix-10385-cg-generation 07116de4b5 · Harden cg-root generation tracking against interrupted merges (#10385) · Updated 2026-08-05 03:27:50 +00:00	30 1
copilot/fix-solution-soundness-bug 2f4d8b71a4 · Initial plan · Updated 2026-08-04 23:02:51 +00:00	32 1
copilot/fix-sigsegv-in-mbqi-model-checker 9b54e8a6c4 · Initial plan · Updated 2026-08-04 23:02:42 +00:00	32 1
copilot/fix-sigsegv-non-linear-query 13530847ae · Initial plan · Updated 2026-08-04 23:02:33 +00:00	32 1
code-simplifier/parallel-cmake-build-5e927099830f755a 1ba56667b5 · Fix cmake build command for parallel execution · Updated 2026-08-04 03:36:53 +00:00	33 0	Included
copilot/fix-objective-value-reporting 68b4c28158 · Initial plan · Updated 2026-08-02 18:51:49 +00:00	56 1
copilot/fix-warnings-in-code 7a5e17ff40 · Address initial static analyzer warnings · Updated 2026-08-01 21:45:37 +00:00	63 1
copilot/fix-build-warning-fixer-workflow 187432f1fb · Fix build-warning-fixer cmake build flags · Updated 2026-08-01 18:04:06 +00:00	72 1
fix/nl-propagate-fixed-rows-regression-10304-4909e97621096167 a17acea519 · Default arith.nl.propagate_fixed_rows off to fix nonlinear instantiation blowup · Updated 2026-08-01 13:16:59 +00:00	79 1
fstar-fix-priorityqueue-nl-propagate-fixed-rows-0185235f45af0a37 6f9f66ac7c · nla: default arith.nl.propagate_fixed_rows to false · Updated 2026-08-01 12:03:03 +00:00	79 1
fstar-build-fix/priorityqueue-4-nla-fixed-rows-aa4023f3df510d48 9dc0fc6264 · Default arith.nl.propagate_fixed_rows off to fix nla resource regression · Updated 2026-08-01 11:02:08 +00:00	79 1
code-simplifier/seq-monadic-cleanup-4bcf9b16358a0f98 ed5c4df74a · seq_monadic: introduce membership_vec alias and simplify minimize_core loop · Updated 2026-08-01 04:41:50 +00:00	79 1
nla-aeq 51cd470a80 · Default arith.nl.propagate_linear_monomials_eagerly to false · Updated 2026-08-01 03:41:49 +00:00	94 3
fix/clang-tidy-dead-stores-d3bc9f4cec0022d3 13135a20c5 · Fix clang-tidy dead store warnings in util.cpp and model_based_opt.cpp · Updated 2026-07-31 22:44:36 +00:00	87 1
code-simplifier/remove-redundant-phase-assignment-aa4bd56e7fb7e814 a8055689f6 · Remove redundant m_next_split_phase assignment in next_split_cb · Updated 2026-07-31 04:46:02 +00:00	99 1
code-simplifier/mbp-array-index-cleanup-9f49472022a01c7c c1d6bcb0a3 · Simplify has_array_var_in_index: use any_of and add blank line · Updated 2026-07-28 21:52:50 +00:00	130 1
copilot/fix-inaccurate-optimal-value 6f642509d4 · Fix strict real maximize objective reporting · Updated 2026-07-28 09:42:31 +00:00	140 2
copilot/check-artifact-retention 40d370b55b · fix: Use globalThis instead of global (#10249) · Updated 2026-07-27 15:23:40 +00:00	149 0	Included
code-simplifier/nra-solver-clarity-a0fd52ea3e629ee8 a967f35265 · Simplify COI guard logic in nra_solver.cpp for clarity · Updated 2026-07-26 05:44:02 +00:00	154 1