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

Enable powf*, exp*, log* intrinsics #2996

Merged
merged 16 commits into from
Feb 7, 2024
Merged

Enable powf*, exp*, log* intrinsics #2996

merged 16 commits into from
Feb 7, 2024

Commits on Feb 6, 2024

  1. Enable powf*, exp*, sqrt* intrinsics 

    CBMC provides approximating implementations of these.

Resolves: model-checking#2763, model-checking#2966
    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    f6af818 View commit details
    Browse the repository at this point in the history

  2. Test for powf32

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    0f75d2d View commit details
    Browse the repository at this point in the history

  3. Test exp

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    890dca5 View commit details
    Browse the repository at this point in the history

  4. Test sqrt

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    fc56059 View commit details
    Browse the repository at this point in the history

  5. Test exp2

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    02de432 View commit details
    Browse the repository at this point in the history

  6. Test powi

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    2a286fc View commit details
    Browse the repository at this point in the history

  7. Syntax fixes

    @tautschnig
    tautschnig committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    a044577 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. Merge remote-tracking branch 'origin/main' into float-intrinsics

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    1b7b783 View commit details
    Browse the repository at this point in the history

  2. Don't do powi just yet

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    d5ae17d View commit details
    Browse the repository at this point in the history

  3. Log test

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    b60abc6 View commit details
    Browse the repository at this point in the history

  4. Fixup

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    e0de5b5 View commit details
    Browse the repository at this point in the history

  5. Fix powf32

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    9fed6e5 View commit details
    Browse the repository at this point in the history

  6. No sqrt just yet

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    fa2ac24 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/main' into float-intrinsics

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    d75a97f View commit details
    Browse the repository at this point in the history

  8. Comments

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    22d33e3 View commit details
    Browse the repository at this point in the history

  9. More precise bounds

    @tautschnig
    tautschnig committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    bc5ef1f View commit details
    Browse the repository at this point in the history