Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / herbie-fp/egg-herbie issues and pull requests

#19 - raco version mismatch 1.6 vs 2.0

Issue - State: closed - Opened by asid61 9 months ago

#18 - Bump for Herbie 1.6

Pull Request - State: closed - Opened by bksaiki over 2 years ago

#17 - Second attempt at fixing deps

Pull Request - State: closed - Opened by bksaiki about 3 years ago - 1 comment

#16 - Use regexp for platform instead

Pull Request - State: closed - Opened by bksaiki over 3 years ago

#15 - Migrate egg-herbie to herbie repo

Pull Request - State: closed - Opened by oflatt about 4 years ago

#14 - Fix folding Pow to avoid 0^0

Pull Request - State: closed - Opened by oflatt about 4 years ago - 1 comment

#13 - More fixes to constants

Pull Request - State: closed - Opened by bksaiki over 4 years ago - 1 comment

#12 - Fix parameterized constants

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#11 - Scalable Operators / Constants

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#10 - Added missing complex ops

Pull Request - State: closed - Opened by bksaiki over 4 years ago

#9 - Parameterized operators

Pull Request - State: closed - Opened by bksaiki over 4 years ago - 3 comments

#8 - Avoid unsoundness

Pull Request - State: closed - Opened by mwillsey over 4 years ago

#7 - Add missing complex and posit operations

Pull Request - State: closed - Opened by pavpanchekha over 4 years ago

#6 - Avoid pow() when the base is zero

Pull Request - State: closed - Opened by pavpanchekha over 4 years ago

#5 - Update egg to version 0.5

Pull Request - State: closed - Opened by pavpanchekha over 4 years ago - 1 comment

#4 - force push to deploy branch

Pull Request - State: closed - Opened by oflatt over 4 years ago

#3 - Split test and deploy scripts

Pull Request - State: closed - Opened by oflatt over 4 years ago

#2 - Switch to Github Actions

Pull Request - State: closed - Opened by pavpanchekha over 4 years ago

#1 - update egg

Issue - State: closed - Opened by mwillsey over 4 years ago - 1 comment