Flight Log / herbie-fp/herbie #1342
Adjust ordinal range to signed integers — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jul 28, 2025; merged clean in 22.2 h, merged by @pavpanchekha: +19 −16, 4 files, 0 reviews.
Flown by
- Lines
- +19 −16
- Files
- 4
- Commits
- 1
- Reviews
- 0
- To merge
- 22.2 h
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
The task moves Herbie's ordinals to signed integers. The agent removed shift and unshift from representation definitions, generated random ordinals, mapped boolean ordinals to -1 and 0, and documented the range. The change spans four files, nineteen additions, sixteen deletions, one commit. It merged after 22.15 hours with no changes requested.
From the pull request description
## Summary - drop `shift` and `unshift` from representation definitions - generate random ordinals using signed range - map boolean ordinals to `-1` and `0` - document signed ordinal range Ordinals now range from `-2^(tb-1)` to `2^(tb-1)-1`, the standard signed integer range. Sampling and represent…
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
- Jul 28, 2025labeledpavpanchekha
- Jul 29, 2025mergedpavpanchekha
- Jul 29, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1342, record updated Nov 4, 2026, https://agentriders.com/logs/herbie-fp/herbie/1342/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.