Skip to content

Add newlib fdlibm #173

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 3 commits into from
Closed

Add newlib fdlibm #173

wants to merge 3 commits into from

Conversation

tesuji
Copy link

@tesuji tesuji commented May 26, 2019

@tesuji tesuji mentioned this pull request May 26, 2019
This was referenced May 27, 2019
@tesuji tesuji mentioned this pull request May 28, 2019
@alexcrichton
Copy link
Member

Thanks for the PR! But what is this doing? There's no changes to the public interface in this PR?

@Schultzer
Copy link
Contributor

Schultzer commented Jul 5, 2019

This PR contains functions needed for #172, #174, #175 and, #177

@alexcrichton
Copy link
Member

I'm going to close this since I'd rather not merge a PR that adds a module that nothing uses, but if it's needed for other PRs then it can be included in other PRs.

@tesuji tesuji deleted the fdlibm branch July 8, 2019 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants