Skip to content

Pull requests: herbie-fp/herbie

New pull request New
9 Open 1,269 Closed
9 Open 1,269 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

Sort tests alphabetically
#1500 opened Feb 8, 2026 by pavpanchekha Loading…
Minor cleanups to mainloop
#1499 opened Feb 8, 2026 by pavpanchekha Loading…
Pre-compute a reachable set to speed up reconstruct!
#1497 opened Feb 8, 2026 by pavpanchekha • Draft
1
Remove alt-choosing system, just choose them all
#1496 opened Feb 8, 2026 by pavpanchekha • Draft
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
Merge support for Rival 3
#1447 opened Dec 16, 2025 by pavpanchekha • Draft
12
Even more sound rules
#1434 opened Nov 14, 2025 by pavpanchekha • Draft
ProTip! Filter pull requests by the default branch with base:main.