Flight Log / herbie-fp/herbie #1282
Pass start program explicitly — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jun 17, 2025; merged clean in 16.9 h, merged by @pavpanchekha: +19 −22, 4 files, 0 reviews.
Flown by
- Lines
- +19 −22
- Files
- 4
- Commits
- 1
- Reviews
- 0
- To merge
- 16.9 h
- Task
- refactor
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex refactored herbie-fp/herbie to pass the start program explicitly. The global parameter was read only by the regimes and binary-search phases, so it became their argument. The change spans four files, with 19 additions and 22 deletions. It merged clean after 16.89 hours with no changes requested.
From the pull request description
Herbie kept the original expression in a global parameter `*start-prog*`. This parameter was only read by the regimes and binary-search phases, so it has been converted into an argument to those routines. The global parameter now lives in `mainloop.rkt` where it is set during `run-improve!`. Bina…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedPavel Panchekha
- Jun 17, 2025labeledpavpanchekha
- Jun 18, 2025mergedpavpanchekha
- Jun 18, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1282, record updated Nov 4, 2026, https://agentriders.com/logs/herbie-fp/herbie/1282/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.