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

Make RM the final argument in FP ops #498

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Make RM the final argument in FP ops #498

wants to merge 10 commits into from

Commits on Sep 21, 2024

  1. Make RM the final argument in FP ops

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    e3521ae View commit details
    Browse the repository at this point in the history

  2. Fix _op_fpSqrt in BackendConcrete

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    e865706 View commit details
    Browse the repository at this point in the history

  3. Improve lint

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    ddf894f View commit details
    Browse the repository at this point in the history

  4. Fix some test cases

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    9519bf0 View commit details
    Browse the repository at this point in the history

  5. Remove default arg in test_fp.py

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    69e3fb2 View commit details
    Browse the repository at this point in the history

  6. Fix fpToFP

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    a4a7974 View commit details
    Browse the repository at this point in the history

  7. Add docstrings

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    29e5800 View commit details
    Browse the repository at this point in the history

  8. Special case RM position in z3 backend

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    f21b9df View commit details
    Browse the repository at this point in the history

  9. Remove special case in _type_fixer for fp.RM as args[0]

    @twizmwazin
    twizmwazin committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    e5341fe View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Merge branch 'master' into refactor/rm-at-the-end

    @twizmwazin
    twizmwazin committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    51c2308 View commit details
    Browse the repository at this point in the history