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/remove-unreachable-return-statement c69340596c · Remove unreachable return false in match_ubv2s1 · Updated 2026-03-05 17:25:33 +00:00	188 2
copilot/fix-re-concat-loop-nullability 9882bf0205 · Add sgraph/seq_plugin + fix re.concat classification and loop nullability · Updated 2026-03-03 03:50:39 +00:00	190 2
copilot/fix-zipt-code-review-improvements 008ef90d4d · Implement ZIPT code review improvements: add euf_sgraph/seq_plugin files and apply 3 fixes · Updated 2026-03-03 03:41:13 +00:00	190 2
copilot/add-unit-test-for-leaks c4e5b79b48 · Add C API unit test for user propagator mk_fresh callback and memory leak detection · Updated 2026-03-03 02:00:13 +00:00	193 2
clemens 6339623877 · Merge pull request #8807 from Z3Prover/copilot/update-clemens-work · Updated 2026-03-02 00:02:53 +00:00	231 17
copilot/update-neq-nielson-implementation 5f92d3344d · Define eq_ref and eq_refs types in ast.h and use them in nseq_ne · Updated 2026-03-01 02:35:32 +00:00	231 10
copilot/sub-pr-8808-again cc5e5e062b · Fix soundness bug: guard mod rewrite with ite when modulus is symbolic or zero · Updated 2026-02-28 22:51:58 +00:00	221 3
copilot/sub-pr-8808 a05520f261 · Guard mod rewrite rule for y=0: skip when concrete zero, use ite for symbolic y · Updated 2026-02-28 22:36:34 +00:00	221 3
copilot/add-abstract-machine-evaluator a4ccb6390d · Integrate rw_table into th_rewriter_cfg and expand populate_rules() · Updated 2026-02-27 04:36:28 +00:00	237 3
copilot/fix-z3-regression-unknown-to-sat 9e96ee91dc · Fix regression: use setup_solver_terms() instead of setup_solver_poly() in nra_solver check() · Updated 2026-02-24 05:11:31 +00:00	321 2
copilot/fix-invalid-model-generation f0612ab7e0 · Initial plan · Updated 2026-02-24 04:44:45 +00:00	321 1
subpave c4c4d18da3 · second round of copilot prompting · Updated 2026-02-23 21:34:06 +00:00	348 2
copilot/fix-invalid-model-proof-generation 6b12bffd55 · Initial plan · Updated 2026-02-23 04:05:35 +00:00	336 1
copilot/fix-tagged-pointer-bug e6607df831 · fixes · Updated 2026-02-17 15:41:07 +00:00	1292 41
copilot/fix-undeclared-identifier-p 768bcb6331 · Initial plan · Updated 2026-02-12 15:02:38 +00:00	1397 1
copilot/refactor-theory-bv-structured-bindings f6c5aa34a0 · Initial plan · Updated 2026-01-27 17:58:14 +00:00	1609 1
copilot/refactor-factor-rewriter-structured-bindings 82fc7643af · Initial plan · Updated 2026-01-27 17:58:05 +00:00	1609 1
arie a15854869b · combine backtracking methods · Updated 2026-01-26 05:48:58 +00:00	2044 192
PIBC31vRhCIHvFIN 6798da2212 · fix build warnings for bit_util · Updated 2026-01-23 22:57:05 +00:00	1643 1
copilot/update-code-conventions-analyzer c35e903354 · Initial plan · Updated 2026-01-23 21:36:34 +00:00	1642 1