Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Equip float domain to handle definite NaN, +Inf, -Inf, and some missing float stubs #869

Merged
merged 32 commits into from
Oct 31, 2022
Merged

Equip float domain to handle definite NaN, +Inf, -Inf, and some missing float stubs #869

merged 32 commits into from
Oct 31, 2022

Commits on Oct 27, 2022

  1. Add isgreater

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    4356a1d View commit details
    Browse the repository at this point in the history

  2. Equip float domain with way to represent definite NaN, -Inf and +Inf

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    bca7816 View commit details
    Browse the repository at this point in the history

  3. Further cases

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    cb1a698 View commit details
    Browse the repository at this point in the history

  4. 57/14 add assert that globals have not been invalidated

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    ef8ca20 View commit details
    Browse the repository at this point in the history

  5. Add __builtin_huge_val and friends

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    fdc7248 View commit details
    Browse the repository at this point in the history

  6. Add isgreaterequal

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    f801503 View commit details
    Browse the repository at this point in the history

  7. Add isless and islessequal

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    13c6333 View commit details
    Browse the repository at this point in the history

  8. Add islessgreater and isunordered

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    2e57af6 View commit details
    Browse the repository at this point in the history

  9. Fix handling of NaN

    @michael-schwarz
    michael-schwarz committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    184991c View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2022

  1. Add further features

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    6df5da9 View commit details
    Browse the repository at this point in the history

  2. Further steps

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    a8bfa48 View commit details
    Browse the repository at this point in the history

  3. Add description for fegetround fesetround

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    38dcc3f View commit details
    Browse the repository at this point in the history

  4. Support for fabs

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    13e3bdb View commit details
    Browse the repository at this point in the history

  5. progress

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    19c02e9 View commit details
    Browse the repository at this point in the history

  6. Revert div yielding Infinities as we do not distinguish signs

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    85192bd View commit details
    Browse the repository at this point in the history

  7. Fix div issue (references #870)

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    2acc300 View commit details
    Browse the repository at this point in the history

  8. better add

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    dadbc9e View commit details
    Browse the repository at this point in the history

  9. add sub and cleanup

    @michael-schwarz
    michael-schwarz committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    8e6fdd6 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2022

  1. Handle div

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    eac6c62 View commit details
    Browse the repository at this point in the history

  2. Add __builtin_fabs{f,l}

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    4ec8ba4 View commit details
    Browse the repository at this point in the history

  3. Fix unit tests

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    dc7b5c9 View commit details
    Browse the repository at this point in the history

  4. Try if this helps with OS X

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    030b2ea View commit details
    Browse the repository at this point in the history

  5. Fix unit tests for real

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    84ea25c View commit details
    Browse the repository at this point in the history

  6. Make OS X CI happy

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    b1f6548 View commit details
    Browse the repository at this point in the history

  7. rm dead code

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    99f9bf8 View commit details
    Browse the repository at this point in the history

  8. Really make OS X happy

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    84fd3a1 View commit details
    Browse the repository at this point in the history

  9. More library functions

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    3ab9cb2 View commit details
    Browse the repository at this point in the history

  10. Add __builtin arithmetics

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    810b7c4 View commit details
    Browse the repository at this point in the history

  11. __fpclassify

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    78066ce View commit details
    Browse the repository at this point in the history

  12. OS X uses __fpclassifyd

    @michael-schwarz
    michael-schwarz committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    05342c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Add nanf and nanl

    @michael-schwarz
    michael-schwarz committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    7598383 View commit details
    Browse the repository at this point in the history

  2. Mark issues where OS X doesn't work as TODO

    @michael-schwarz
    michael-schwarz committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    aea477d View commit details
    Browse the repository at this point in the history