Skip to content

Pull requests: herbie-fp/herbie

New pull request New
Clear current search query, filters, and sorts
4 Open 953 Closed
4 Open 953 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

Minor cleanups to shell format
#1154 by pavpanchekha was merged Feb 25, 2025 • Review required
Automated Resyntax fixes
#1153 by resyntax-ci bot was closed Feb 25, 2025 • Review required
3
Automated Resyntax fixes
#1151 by resyntax-ci bot was closed Feb 16, 2025 • Approved
Automated Resyntax fixes
#1150 by resyntax-ci bot was closed Feb 19, 2025 • Review required
Change execution order for single-threaded server
#1149 by pavpanchekha was merged Feb 19, 2025 • Review required
Possibly speed up explain
#1148 by pavpanchekha was closed Feb 19, 2025 • Review required
Automated Resyntax fixes
#1147 by resyntax-ci bot was closed Feb 4, 2025 • Changes requested
1
Fix bugs in parsing of :alt expressions
#1146 by pavpanchekha was merged Feb 2, 2025 Loading…
Tweak to docs suggested by Ganesh
#1145 by pavpanchekha was merged Jan 30, 2025 Loading…
Fully remove the localize code
#1144 by pavpanchekha was merged Jan 30, 2025 Loading…
Creating one egraph in generate-candidates
#1143 by AYadrov was merged Jan 27, 2025 Loading…
2
Dump Rival commands from Herbie
#1142 by pavpanchekha was merged Jan 27, 2025 Loading…
2
Fix TeXification of named constants like PI
#1141 by pavpanchekha was merged Feb 25, 2025 Loading…
Fix derivation reports
#1140 by pavpanchekha was merged Jan 27, 2025 Loading…
Automated Resyntax fixes
#1139 by resyntax-ci bot was merged Jan 26, 2025 Loading…
Add "e.g." to placeholder text
#1138 by elmisback was merged Jan 24, 2025 Loading…
Bump enode count to 20k
#1137 by pavpanchekha was closed Jan 24, 2025 Loading…
1
Squash changes from fork
#1136 by rupanshusoi was merged Jan 22, 2025 Loading…
Simplify testApi.mjs
#1135 by pavpanchekha was merged Jan 23, 2025 Loading…
1
Refactor the egg-herbie interface a bit
#1134 by pavpanchekha was merged Jan 22, 2025 Loading…
Hint optimization support
#1133 by AYadrov was merged Jan 24, 2025 Loading…
7
Fix derivation speed broken by #1130
#1132 by pavpanchekha was merged Jan 21, 2025 Loading…
Refactor the JSON conversion and other helper functions in the server
#1131 by pavpanchekha was merged Jan 20, 2025 Loading…
Removing multiple phases for the derivations phase
#1130 by pavpanchekha was merged Jan 20, 2025 Loading…
Automated Resyntax fixes
#1129 by resyntax-ci bot was merged Jan 20, 2025 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.