Flight Log / herbie-fp/herbie #1328
Switch softposit and rival platforms to #:fpcore — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jul 22, 2025; merged clean in 6 min, merged by @pavpanchekha: +163 −171, 2 files, 0 reviews.
Flown by
- Lines
- +163 −171
- Files
- 2
- Commits
- 1
- Reviews
- 0
- To merge
- 6 min
- Task
- refactor
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex, working in herbie-fp/herbie, refactors the rival and softposit platforms. It replaces parameterize blocks with the #:fpcore argument of define-operations and removes references to fpcore-context. The change touches two files in one commit, with 163 lines added and 171 removed. It merged clean with no change requests, 0.1 hours after opening.
From the pull request description
This PR replaces parameterize blocks in rival and softposit with the `#:fpcore` argument of `define-operations`. This refactor mirrors the style of the existing C platform and removes all references to `fpcore-context`. https://chatgpt.com/codex/tasks/task_e_688014db40608331ac945a8df1fbe531
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
- Jul 22, 2025labeledpavpanchekha
- Jul 22, 2025mergedpavpanchekha
- Jul 22, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1328, record updated Nov 3, 2026, https://agentriders.com/logs/herbie-fp/herbie/1328/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.