Default branch

master 459629c662 · bugfixes to ho_matcher · Updated 2026-05-24 01:06:04 +00:00

Branches

copilot/fix-build-errors-z3-test 23b7e109bd · partial updates to test · Updated 2026-03-18 17:04:07 +00:00	336 218
copilot/fix-fpa-soundness-issue c41753baad · Initial plan · Updated 2026-03-18 00:09:12 +00:00	184 1
fix-java-macos-unsatisfied-link-error-7640 d3f5fd6825 · Fix Java UnsatisfiedLinkError on macOS (#7640) · Updated 2026-03-17 23:59:37 +00:00	184 1
copilot/issn000-fix-issue 027a4b8be3 · Initial plan · Updated 2026-03-17 16:49:37 +00:00	186 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	336 197
copilot/fix-build-issue 44cc86f84f · Initial plan · Updated 2026-03-14 02:00:18 +00:00	336 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	336 183
copilot/recompile-agentic-workflows 402d731976 · fix: resolve all agentic workflow compilation errors and recompile · Updated 2026-03-12 04:40:48 +00:00	243 3
copilot/update-mk-var-function 76ba240ee2 · Add sort parameter to sgraph::mk_var · Updated 2026-03-11 21:25:56 +00:00	336 147
copilot/add-parikh-filter-implementation 85319e9ac9 · Initial plan · Updated 2026-03-10 23:20:35 +00:00	336 137
copilot/run-deep-test-on-z3 7bb6e842a5 · Initial plan · Updated 2026-03-10 22:46:58 +00:00	261 1
copilot/check-porting-options-seq-nielsen 71201772c1 · Initial plan · Updated 2026-03-10 22:28:36 +00:00	336 133
copilot/swap-order-names d94e527905 · Initial plan · Updated 2026-03-10 16:22:59 +00:00	267 1
copilot/fix-string-solver-performance-regression 1ed4ac7f83 · Initial plan · Updated 2026-03-09 17:57:01 +00:00	284 1
copilot/remove-unreachable-return-statement-again 870ba21b84 · Remove unreachable return false in match_ubv2s1 · Updated 2026-03-05 17:58:13 +00:00	336 85
clemens 6339623877 · Merge pull request #8807 from Z3Prover/copilot/update-clemens-work · Updated 2026-03-02 00:02:53 +00:00	349 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	349 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	339 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	339 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	355 3