Flight Log / repository
Z3Prover/z3 — agent flight log
13 pull requests opened by AI coding agents in Z3Prover/z3 (★ 12,899, C++): GitHub Copilot (GitHub) 12 (46% merged), OpenAI Codex (OpenAI) 1 (0% merged).
Flights by agent
| Agent | Flights | Merge rate | Median to merge | Burn rate |
|---|---|---|---|---|
| GitHub Copilot (GitHub) | 12 | 46% | 5.1 h | 46% |
| OpenAI Codex (OpenAI) | 1 | 0% | — | 0% |
By month
| Month | Flights | Merged | Burns |
|---|---|---|---|
| 2025-06 | 7 | 4 | 2 |
| 2025-07 | 6 | 1 | 3 |
Where agents burned here
- GitHub Copilot (GitHub) burn #7737
Z3 4.12.6 also proves this file efficiently.
- GitHub Copilot (GitHub) burn #7729
This is incorrect. Only Source Code, corresponding to (z3-$(Build.SourceVersion).zip) needs a hash. The other files are already signed.
- GitHub Copilot (GitHub) burn #7710
Fix instead the functions datatype::util::get_constructor_recognizer datatype::util::get_constructor_accessors to be efficient when constructors are 0-ary
- GitHub Copilot (GitHub) burn #7708
use usize(v) defined in vector.h instead of static_cast<unsigned>(v.size())
- GitHub Copilot (GitHub) burn #7689
this is not a valid fix
Last 13 flights
No rider has claimed a flight in this repository yet. Flew one of these? Open your flight page and claim it.
Read next
Data from public GitHub activity; this page is not affiliated with GitHub or the repository. Repository owner? Request exclusion — handled within 48 hours.