Skip to content

Pull requests: herbie-fp/herbie

New pull request New
6 Open 804 Closed
6 Open 804 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Finishing batchified rewrite stage
#990 opened Sep 18, 2024 by AYadrov Loading…
1
Add code to dump egraphs in egraph-serialize format
#989 opened Sep 13, 2024 by pavpanchekha Loading…
1
Batch-input to egg
#987 opened Sep 9, 2024 by AYadrov Loading…
7
Surface exact errors for Odyssey to consume.
#984 opened Sep 1, 2024 by zaneenders Loading…
2
Added support for identities to Impls
#968 opened Aug 20, 2024 by varun10p Loading…
23
Move reports generation and improve from using thread-pool.rkt to server.rkt.
#963 opened Aug 14, 2024 by zaneenders Loading…
7
ProTip! Exclude everything labeled bug with -label:bug.