issues
search
herbie-fp
/
herbie
Optimize floating-point expressions for accuracy
https://herbie.uwplse.org
Other
774
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Herbie should warn if MPFR is single-threaded
#1080
pavpanchekha
opened
22 hours ago
0
Permute alts out.
#1079
zaneenders
closed
22 hours ago
0
JS Profiles broke recently
#1078
pavpanchekha
opened
1 day ago
0
Ongoing cleanup PR, merged intermittently
#1077
pavpanchekha
opened
2 days ago
1
Default logging to false
#1076
zaneenders
closed
2 days ago
0
Revert change to report-page for NaN% bug.
#1075
zaneenders
closed
2 days ago
0
Server out of memory error
#1074
zaneenders
opened
2 days ago
0
Automated Resyntax fixes
#1073
resyntax-ci[bot]
closed
2 days ago
0
Cleanup
#1072
pavpanchekha
closed
2 days ago
0
Fix for issue 1058
#1071
zaneenders
opened
6 days ago
0
Rule tags
#1070
varun10p
closed
6 days ago
0
Allow Resyntax to make more fixes at a time
#1069
jackfirth
closed
6 days ago
0
Fix potential bug in `sandbox.rkt`
#1068
zaneenders
closed
6 days ago
0
Fix possible bug in regimes.
#1067
zaneenders
closed
6 days ago
0
Display the total memory allocated in timeline.
#1066
zaneenders
closed
5 days ago
0
Update resyntax-autofixer.yml
#1065
jackfirth
closed
6 days ago
2
Use job server for `report` command
#1064
zaneenders
closed
5 days ago
0
Allow turning on and off logging when starting job server.
#1063
zaneenders
closed
5 days ago
0
Use server for `improve` command.
#1062
zaneenders
closed
5 days ago
0
Support passing yes for thread count.
#1061
zaneenders
closed
5 days ago
0
Random Cleanup
#1060
pavpanchekha
closed
1 week ago
1
Added Ruleset Tags an Egglog Parsing functions
#1059
varun10p
closed
1 week ago
0
/alternatives endpoint gives incorrect response for sqrt(x*x)
#1058
elmisback
opened
1 week ago
1
Automated Resyntax fixes
#1057
resyntax-ci[bot]
closed
1 week ago
0
Change "bad request" status code 500 to 400.
#1056
zaneenders
closed
1 week ago
1
Refactor testApi.mjs
#1055
zaneenders
opened
1 week ago
0
`/analyze-hashed` endpoint using cached pcontext
#1054
zaneenders
opened
1 week ago
0
Varun10p egglog
#1053
varun10p
closed
1 week ago
0
Egglog dev
#1052
varun10p
closed
1 week ago
0
Add and check for CORS headers.
#1051
zaneenders
closed
1 week ago
1
Fix localerror tests now that herbie-fp/rival#83 is in
#1050
pavpanchekha
closed
1 week ago
1
Further clean up `localize.rkt`
#1049
pavpanchekha
closed
1 week ago
1
Request size limit on API endpoints might be too tight
#1048
elmisback
opened
1 week ago
2
Server slow down
#1047
zaneenders
opened
1 week ago
1
Update rules.rkt to include inverses.
#1046
JJponce0913
closed
6 days ago
3
Local error tree for if expressions
#1045
zaneenders
opened
2 weeks ago
2
Add helper functions `local-error` and `remove-infinities` to `localize.rkt`
#1044
pavpanchekha
closed
1 week ago
1
Make the true-error computation use batch mode
#1043
pavpanchekha
closed
2 weeks ago
3
Remove extra variable y.
#1042
zaneenders
closed
2 weeks ago
1
Server map error from Odyssey.
#1041
zaneenders
opened
2 weeks ago
5
Local Error tree request crash from Odyessy.
#1040
zaneenders
closed
2 weeks ago
3
Delete some dead code
#1039
pavpanchekha
closed
2 weeks ago
0
Automated Resyntax fixes
#1038
resyntax-ci[bot]
closed
2 weeks ago
0
Concurrent Translations
#1037
zaneenders
opened
2 weeks ago
1
Prelim
#1036
varun10p
closed
2 weeks ago
0
Splitting the Egglog Herbie Interface
#1035
JPepperwood123
closed
2 weeks ago
0
Fix null annotations `(! expr)` in desugaring
#1034
pavpanchekha
closed
2 weeks ago
1
Don't output any timeline information for an empty timeline
#1033
pavpanchekha
closed
2 weeks ago
3
Aditya make egglog runner
#1032
JPepperwood123
closed
2 weeks ago
0
Update resyntax-autofixer.yml
#1031
jackfirth
closed
2 weeks ago
1
Next