Ecosyste.ms: Issues

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

GitHub / rubenvannieuwpoort/reals issues and pull requests

#18 - Improve robustness of sqrt

Issue - State: closed - Opened by rubenvannieuwpoort over 1 year ago - 2 comments

#17 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#16 - Some computations hang

Issue - State: open - Opened by rubenvannieuwpoort about 2 years ago - 2 comments

#15 - Update README

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#14 - Fix sqrt

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#13 - Changes for 0.0.3 release

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#12 - Reals doesn’t like scientific notation

Issue - State: closed - Opened by kseistrup about 2 years ago - 4 comments

#11 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#10 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#9 - Rename 'verify on push' to 'continous integration'

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#8 - Fix continuous integration badge

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#7 - Merge develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#6 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#5 - Implement sin, cos, tan

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#4 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#3 - Develop

Pull Request - State: closed - Opened by rubenvannieuwpoort about 2 years ago

#2 - Another refactor

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

#1 - Another refactor

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