Default branch

master eef00e2023 · Add specbot-crash-analyzer agentic workflow (.md + .lock.yml) (#9198) · Updated 2026-04-02 08:10:56 +00:00

Branches

copilot/fix-specbot-crash-analyzer 3c3ba969d7 · Fix specbot-crash-analyzer: move build to pre-steps to avoid MCP session timeout · Updated 2026-04-02 09:37:52 +00:00	0 2
c3 1e567a4a26 · Bug fixes · Updated 2026-04-02 08:26:36 +00:00	21 335
copilot/fix-early-exits-in-seq-eq-solver 008a101c08 · seq_eq_solver: add pointer-equality fast path in has_len_offset and use all_of in find_branch_candidate · Updated 2026-04-01 22:08:19 +00:00	1 2
copilot/fix-propagate-ne2eq-allocations ec495c094c · seq_ne_solver: short-circuit propagate_ne2eq for str.unit elements · Updated 2026-04-01 22:06:52 +00:00	1 2
copilot/remove-unused-functions-seq-nielsen 4f5c19acfa · remove unused functions from seq_nielsen · Updated 2026-04-01 17:16:12 +00:00	21 320
copilot/port-modifier-regexcharsplitmodifier 367ae39a50 · fix CI: add set_lower/upper_int_bound to nielsen_node, fix nseq_basic simplify_and_init call · Updated 2026-03-31 21:05:44 +00:00	21 317
copilot/add-z3-mk-type-variable-support 749f161302 · feat: add Z3_mk_type_variable to .NET, TypeScript, and C++ bindings · Updated 2026-03-31 00:45:18 +00:00	12 1
copilot/convert-reduce-bv-size-to-simplifier c1112d430f · Remove old tactic class, use simplifier-backed mk_bv_size_reduction_tactic · Updated 2026-03-30 03:43:03 +00:00	20 3
copilot/convert-nnf-to-simplifier 8904fdaaf8 · Convert nnf/snf tactics to dependent_expr_state_tactic with nnf_simplifier · Updated 2026-03-28 22:33:38 +00:00	20 2
copilot/convert-normalize-bounds-to-simplifier 541b2294fe · Convert normalize-bounds tactic to a dependent_expr_simplifier · Updated 2026-03-28 22:30:26 +00:00	20 2
copilot/use-not-contains-axiom 21590144f7 · Have theory_nseq use not_contains_axiom instead of unroll_not_contains · Updated 2026-03-23 04:55:58 +00:00	218 267
copilot/update-seq-nielsen-handling-equations 4dc705d932 · seq_nielsen: handle unit(A) = unit(B) ++ rest equations deterministically · Updated 2026-03-23 00:08:08 +00:00	218 262
copilot/update-seq-nielsen-handle-equations 40485e69be · Simplify extract_var_bound via operator normalization (#9062) · Updated 2026-03-22 23:01:12 +00:00	37 0	Included
copilot/fix-research-docs-issues 3c1b1da8ac · Fix three nseq quick-win issues: non-greedy quantifiers, bool-eq normalization, stuck-node crash, precheck SAT soundness · Updated 2026-03-21 03:04:00 +00:00	218 254
copilot/create-workflow-for-z3-and-zipt bb1c8ab230 · Fix ostrich workflow OOM kill: use ninja -j1 to limit compilation memory (#9068) · Updated 2026-03-20 21:17:31 +00:00	45 0	Included
copilot/fix-nseq-diverging-issue aef0c14a35 · Fix nseq divergence: classify Skolem terms as s_var, fix at_axiom, remove UNREACHABLE, add stall detection, filter opaque equations, handle mk_seq_eq assignments · Updated 2026-03-20 17:22:01 +00:00	218 249
iss8185 a37003fa2d · fix #8185: add FPA rewriter simplifications for fma with zero multiplicand and classification of int-to-float conversions · Updated 2026-03-18 17:30:55 +00:00	63 1
copilot/fix-build-errors-z3-test 23b7e109bd · partial updates to test · Updated 2026-03-18 17:04:07 +00:00	218 218
copilot/fix-fpa-soundness-issue c41753baad · Initial plan · Updated 2026-03-18 00:09:12 +00:00	66 1
fix-java-macos-unsatisfied-link-error-7640 d3f5fd6825 · Fix Java UnsatisfiedLinkError on macOS (#7640) · Updated 2026-03-17 23:59:37 +00:00	66 1