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/issn000-fix-issue 027a4b8be3 · Initial plan · Updated 2026-03-17 16:49:37 +00:00	68 1
copilot/change-dep-source-to-variant 7d78a19f1c · Convert dep_source to std::variant<dep_eq, dep_mem> · Updated 2026-03-17 03:47:48 +00:00	218 207
copilot/update-c3-branch-for-nseq 47fd5ef9c6 · nseq: refactor to propagate_length_constraints called from propagate() · Updated 2026-03-15 20:41:48 +00:00	218 197
copilot/update-euf-snode-support a8d91cbec0 · Replace get_power_exponent() with snode::get_power_exp() across seq_nielsen · Updated 2026-03-15 20:01:36 +00:00	218 197
copilot/fix-build-issue 44cc86f84f · Initial plan · Updated 2026-03-14 02:00:18 +00:00	218 184
copilot/design-linear-constraints-regex 9c93a589ec · Merge branch 'c3' into copilot/design-linear-constraints-regex · Updated 2026-03-13 00:08:25 +00:00	218 183
copilot/convert-purify-arith-to-simplifier a06e0193f4 · Fix duplicate ADD_SIMPLIFIER registration for purify-arith causing assertion failure · Updated 2026-03-12 22:45:28 +00:00	125 5
copilot/code-simplification-remove-duplication a904f2bb22 · simplify max_result in theory_lra.cpp and remove extra blank lines in lar_solver.cpp · Updated 2026-03-12 16:30:18 +00:00	118 2
copilot/recompile-agentic-workflows 402d731976 · fix: resolve all agentic workflow compilation errors and recompile · Updated 2026-03-12 04:40:48 +00:00	125 3
copilot/update-mk-var-function 76ba240ee2 · Add sort parameter to sgraph::mk_var · Updated 2026-03-11 21:25:56 +00:00	218 147
copilot/debug-zipt-code-reviewer-failure 1992225eab · Fix ZIPT Code Reviewer: use GitHub MCP get_file_contents instead of web_fetch for ZIPT access · Updated 2026-03-11 17:05:03 +00:00	143 2
copilot/add-parikh-filter-implementation 85319e9ac9 · Initial plan · Updated 2026-03-10 23:20:35 +00:00	218 137
copilot/run-deep-test-on-z3 7bb6e842a5 · Initial plan · Updated 2026-03-10 22:46:58 +00:00	143 1
copilot/check-porting-options-seq-nielsen 71201772c1 · Initial plan · Updated 2026-03-10 22:28:36 +00:00	218 133
copilot/fix-build-warnings 472d9bde6c · Fix unused variable build warnings in theory_finite_set, theory_finite_set_size, theory_nseq · Updated 2026-03-10 18:52:40 +00:00	218 122
copilot/swap-order-names d94e527905 · Initial plan · Updated 2026-03-10 16:22:59 +00:00	149 1
copilot/fix-bnh-problem-solver-issue a85bdfe21b · Fix: revert maximize_objectives1 push/pop regression and backup LP state before NLA maximize · Updated 2026-03-09 19:06:50 +00:00	166 2
copilot/fix-string-solver-performance-regression 1ed4ac7f83 · Initial plan · Updated 2026-03-09 17:57:01 +00:00	166 1
copilot/remove-unreachable-return-statement-again 870ba21b84 · Remove unreachable return false in match_ubv2s1 · Updated 2026-03-05 17:58:13 +00:00	218 85
copilot/simplify-code-structure 3c8f2c7d9e · Changes before error encountered · Updated 2026-03-05 17:35:44 +00:00	188 2