Skip to content

Conversation

@FelixKrayer
Copy link
Collaborator

This is part of #13 without the trigonometric functions, as they require some more work and fine-tuning.
It contains the Floating Point Classification Functions from C99 standard.

@FelixKrayer FelixKrayer requested review from Dudeldu and brgr June 16, 2022 08:07
@FelixKrayer
Copy link
Collaborator Author

fixed base.ml

@brgr brgr merged commit 82c0bf4 into master Jun 16, 2022
@FelixKrayer FelixKrayer deleted the libFunsFstPR branch June 23, 2022 11:50
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.

4 participants