Skip to content

Float Classification Functions#14

Merged
brgr merged 1 commit intomasterfrom
libFunsFstPR
Jun 16, 2022
Merged

Float Classification Functions#14
brgr merged 1 commit intomasterfrom
libFunsFstPR

Conversation

@FelixKrayer
Copy link
Copy Markdown
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
Copy Markdown
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.

3 participants