Default branch

master 1b39b0e50f · Fix SIGSEGV in nlsat from incorrect algebraic number comparison (#10129) · Updated 2026-07-15 00:08:08 +00:00

Branches

copilot/fix-smtlib-crash eeddc94647 · fix tptp errors · Updated 2026-05-20 22:19:27 +00:00	322 0	Included
lll_cube bed532442b · lll-cube: restore C(B) monotonicity, hoist invariants, cap candidate q · Updated 2026-05-16 14:31:03 +00:00	352 7
copilot/fix-apply-qe-performance e503ead008 · Address review feedback for qe-lite BV case split changes · Updated 2026-04-21 20:37:53 +00:00	386 3
copilot/zipt-review-string-graph-improvements 772ee91cbf · Initial plan · Updated 2026-04-19 14:54:51 +00:00	389 1
copilot/fix-mcp-server-output-issues 23ae00a57e · update count to 2 · Updated 2026-04-09 23:39:51 +00:00	411 0	Included
copilot/fix-assertion-violation-vector-h f2f1d69204 · Initial plan · Updated 2026-04-09 09:03:21 +00:00	416 1
copilot/fix-segfault-regression-trunk 2e9e88fe44 · Initial plan · Updated 2026-04-09 09:02:20 +00:00	416 1
copilot/apply-suggested-fixes-to-tests 8d7ed66ebf · Fix Specbot Crash Analyzer: move Z3 build to pre-steps to avoid MCP session timeout (#9200) · Updated 2026-04-02 15:48:25 +00:00	420 0	Included
copilot/update-seq-nielsen-handle-equations 40485e69be · Simplify extract_var_bound via operator normalization (#9062) · Updated 2026-03-22 23:01:12 +00:00	458 0	Included
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	466 0	Included
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	484 1
copilot/fix-build-errors-z3-test 23b7e109bd · partial updates to test · Updated 2026-03-18 17:04:07 +00:00	639 218
copilot/fix-fpa-soundness-issue c41753baad · Initial plan · Updated 2026-03-18 00:09:12 +00:00	487 1
copilot/issn000-fix-issue 027a4b8be3 · Initial plan · Updated 2026-03-17 16:49:37 +00:00	489 1
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	639 197
copilot/fix-build-issue 44cc86f84f · Initial plan · Updated 2026-03-14 02:00:18 +00:00	639 184
copilot/add-parikh-filter-implementation 85319e9ac9 · Initial plan · Updated 2026-03-10 23:20:35 +00:00	639 137
copilot/run-deep-test-on-z3 7bb6e842a5 · Initial plan · Updated 2026-03-10 22:46:58 +00:00	564 1
copilot/check-porting-options-seq-nielsen 71201772c1 · Initial plan · Updated 2026-03-10 22:28:36 +00:00	639 133
copilot/swap-order-names d94e527905 · Initial plan · Updated 2026-03-10 16:22:59 +00:00	570 1