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

Add fp.rem operation to FloatingPointFormulaManager #363

Merged
merged 8 commits into from
Mar 23, 2024
Merged

Add fp.rem operation to FloatingPointFormulaManager #363

merged 8 commits into from
Mar 23, 2024

Commits on Mar 22, 2024

  1. Added fp.rem to api

    @leventeBajczi
    leventeBajczi committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    54fbe82 View commit details
    Browse the repository at this point in the history

  2. Added delegate and basic implementations

    @leventeBajczi
    leventeBajczi committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    797f0c9 View commit details
    Browse the repository at this point in the history

  3. Implemented fp.rem in solvers, added tests

    @leventeBajczi
    leventeBajczi committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    e660303 View commit details
    Browse the repository at this point in the history

  4. Formatted using ant format-source

    @leventeBajczi
    leventeBajczi committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    2430cd9 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Merge branch 'sosy-lab:master' into fp.rem

    @leventeBajczi
    leventeBajczi committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    19915af View commit details
    Browse the repository at this point in the history

  2. improve documentation for new API method.

    @kfriedberger
    kfriedberger committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    f663208 View commit details
    Browse the repository at this point in the history

  3. fix warnings from eclipse compiler and shorten some code.

    @kfriedberger
    kfriedberger committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    fe4cea6 View commit details
    Browse the repository at this point in the history

  4. fix typo

    @kfriedberger
    kfriedberger committed Mar 23, 2024
    Configuration menu
    Copy the full SHA
    6c66b15 View commit details
    Browse the repository at this point in the history