Skip to content

Pull requests: herbie-fp/herbie

New pull request New
7 Open 1,272 Closed
7 Open 1,272 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add Rival 3 Backend
#1503 opened Feb 14, 2026 by obround Loading…
Pre-compute a reachable set to speed up reconstruct!
#1497 opened Feb 8, 2026 by pavpanchekha • Draft
2
Remove alt-choosing system, just choose them all
#1496 opened Feb 8, 2026 by pavpanchekha Loading…
Replace the function inlining mechanism with new platform operators
#1484 opened Jan 27, 2026 by pavpanchekha • Draft
2 tasks
Add a new egraph debugging tool to print which expressions exist
#1481 opened Jan 25, 2026 by pavpanchekha • Draft
Arrays support
#1448 opened Dec 19, 2025 by AYadrov Loading…
24
Even more sound rules
#1434 opened Nov 14, 2025 by pavpanchekha • Draft
ProTip! Filter pull requests by the default branch with base:main.