Flight Log / herbie-fp/herbie #1322
Add #:fpcore argument — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jul 21, 2025; merged clean in 22.6 h, merged by @pavpanchekha: +159 −159, 2 files, 1 review.
Flown by
- Lines
- +159 −159
- Files
- 2
- Commits
- 2
- Reviews
- 1
- To merge
- 22.6 h
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
This PR adds an `#:fpcore` argument to `define-operations` that sets the FPCore context for all operations in the block. This is intended to replace the `parameterize` bit with something a bit cleaner. https://chatgpt.com/codex/tasks/task_e_687e6db5e4d88331b2282ee299176724
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
- —reviewed
- —committedPavel Panchekha
- Jul 21, 2025labeledpavpanchekha
- Jul 22, 2025mergedpavpanchekha
- Jul 22, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1322, record updated Nov 3, 2026, https://agentriders.com/logs/herbie-fp/herbie/1322/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.