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

feat: exporting alt-ergo FPA built-in primitives #876

Merged
merged 16 commits into from
Oct 30, 2023
Merged

feat: exporting alt-ergo FPA built-in primitives #876

merged 16 commits into from
Oct 30, 2023

Commits on Oct 23, 2023

  1. Exporing rounding mode to SMT

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    9b8b355 View commit details
    Browse the repository at this point in the history

  2. Adding round as a non indexed primitive

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    51166dd View commit details
    Browse the repository at this point in the history

  3. Indexed identifier

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    17180db View commit details
    Browse the repository at this point in the history

  4. Poetry

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    194d614 View commit details
    Browse the repository at this point in the history

  5. Adding some tests

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    4172615 View commit details
    Browse the repository at this point in the history

  6. Reverting Rounding Mode as index

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8bfa309 View commit details
    Browse the repository at this point in the history

  7. Not relying on input format

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    c2c1655 View commit details
    Browse the repository at this point in the history

  8. Injecting AE type float rounding type into SMT rounding type

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    de6ae21 View commit details
    Browse the repository at this point in the history

  9. Poetry

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    9885bad View commit details
    Browse the repository at this point in the history

  10. Style

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    70a5c39 View commit details
    Browse the repository at this point in the history

  11. Poetry

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    231d4ca View commit details
    Browse the repository at this point in the history

  12. More poetry

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    3e0c98f View commit details
    Browse the repository at this point in the history

  13. Also translating on the native side

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    38615e8 View commit details
    Browse the repository at this point in the history

  14. Adding missing tests

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    ec216f8 View commit details
    Browse the repository at this point in the history

  15. Rebase artifact

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    f24f32c View commit details
    Browse the repository at this point in the history

  16. Adding tests and some poetry

    @Stevendeo
    Stevendeo committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    42a7a81 View commit details
    Browse the repository at this point in the history