mirror of
https://github.com/Z3Prover/z3
synced 2026-04-13 15:56:27 +00:00
2ce410d45e
* Initial plan * Fix Issue Backlog Processor: limit batch size and require safe output - Add CRITICAL instruction requiring create-discussion or noop before finishing - Limit processing to 30 issues per run to avoid context exhaustion - Add lazy comment fetching with concrete criteria - Add batch cursor tracking in cache memory for pagination across runs - Add explicit MANDATORY note before create-discussion step - Improve guidelines with always-produce-output, batch processing rules Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8c4e23ac-8562-423b-baf7-62986f23abe0 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| actions | ||
| agents | ||
| aw | ||
| prompts | ||
| scripts | ||
| skills | ||
| workflows | ||
| CI_MIGRATION.md | ||
| CI_TESTING.md | ||
| copilot-instructions.md | ||
| dependabot.yml | ||