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

PRBMath SD59x18 and UD60x18 properties #30

Open
wants to merge 33 commits into
base: main
Choose a base branch
from
Open

PRBMath SD59x18 and UD60x18 properties #30

wants to merge 33 commits into from

Commits on May 9, 2023

  1. created folder and copied ABDK properties

    @tuturu-tech
    tuturu-tech committed May 9, 2023
    Configuration menu
    Copy the full SHA
    6cc2820 View commit details
    Browse the repository at this point in the history

  2. converted ABDKMath properties to PBRMath properties

    @tuturu-tech
    tuturu-tech committed May 9, 2023
    Configuration menu
    Copy the full SHA
    ba4db69 View commit details
    Browse the repository at this point in the history

  3. updated comments

    @tuturu-tech
    tuturu-tech committed May 9, 2023
    Configuration menu
    Copy the full SHA
    ac22a9e View commit details
    Browse the repository at this point in the history

Commits on May 10, 2023

  1. added comparison operators

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    530c5fc View commit details
    Browse the repository at this point in the history

  2. added echidna config to test PRB

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    8de2618 View commit details
    Browse the repository at this point in the history

  3. submodule mistake

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    8c5da0a View commit details
    Browse the repository at this point in the history

  4. removed submodules

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    0c6000e View commit details
    Browse the repository at this point in the history

  5. install forge prb dependency

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    efcf1ff View commit details
    Browse the repository at this point in the history

  6. removed aliasing

    @tuturu-tech
    tuturu-tech committed May 10, 2023
    Configuration menu
    Copy the full SHA
    e734662 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. precision modifications

    @tuturu-tech
    tuturu-tech committed May 11, 2023
    Configuration menu
    Copy the full SHA
    1a480c9 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. draft 59x18 and 60x18 properties

    @tuturu-tech
    tuturu-tech committed May 12, 2023
    Configuration menu
    Copy the full SHA
    1095586 View commit details
    Browse the repository at this point in the history

  2. added helper to calculate precision loss, modified ud60x18

    @tuturu-tech
    tuturu-tech committed May 12, 2023
    Configuration menu
    Copy the full SHA
    866773e View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. revert formatting changes

    @tuturu-tech
    tuturu-tech committed May 15, 2023
    Configuration menu
    Copy the full SHA
    fd38c7e View commit details
    Browse the repository at this point in the history

  2. revert formatting changes

    @tuturu-tech
    tuturu-tech committed May 15, 2023
    Configuration menu
    Copy the full SHA
    413b76f View commit details
    Browse the repository at this point in the history

  3. fix foundry remappings bug

    @tuturu-tech
    tuturu-tech committed May 15, 2023
    Configuration menu
    Copy the full SHA
    2c51fed View commit details
    Browse the repository at this point in the history

  4. fix solmate remapping

    @tuturu-tech
    tuturu-tech committed May 15, 2023
    Configuration menu
    Copy the full SHA
    fea861e View commit details
    Browse the repository at this point in the history

  5. separate corpus for math libraries

    @tuturu-tech
    tuturu-tech committed May 15, 2023
    Configuration menu
    Copy the full SHA
    3800c1a View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. improve coverage, change bounds

    @tuturu-tech
    tuturu-tech committed May 16, 2023
    Configuration menu
    Copy the full SHA
    527ddf7 View commit details
    Browse the repository at this point in the history

  2. clean up comments

    @tuturu-tech
    tuturu-tech committed May 16, 2023
    Configuration menu
    Copy the full SHA
    fc9daf5 View commit details
    Browse the repository at this point in the history

  3. split up and fix some invariants

    @tuturu-tech
    tuturu-tech committed May 16, 2023
    Configuration menu
    Copy the full SHA
    9b51148 View commit details
    Browse the repository at this point in the history

  4. remove unused helpers

    @tuturu-tech
    tuturu-tech committed May 16, 2023
    Configuration menu
    Copy the full SHA
    5371d5e View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. gm properties

    @tuturu-tech
    tuturu-tech committed May 17, 2023
    Configuration menu
    Copy the full SHA
    fd3aa14 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. updating readme and properties list

    @tuturu-tech
    tuturu-tech committed May 18, 2023
    Configuration menu
    Copy the full SHA
    faf008e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into dev-prbmath-v3

    @tuturu-tech
    tuturu-tech authored May 18, 2023
    Configuration menu
    Copy the full SHA
    507f7bd View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. added submodule

    @tuturu-tech
    tuturu-tech committed May 19, 2023
    Configuration menu
    Copy the full SHA
    6c50554 View commit details
    Browse the repository at this point in the history

  2. bug with submodule

    @tuturu-tech
    tuturu-tech committed May 19, 2023
    Configuration menu
    Copy the full SHA
    5dc2fce View commit details
    Browse the repository at this point in the history

  3. added slither config to support v4, created assert helpers, updated c… 

    …hecks on some properties
    @tuturu-tech
    tuturu-tech committed May 19, 2023
    Configuration menu
    Copy the full SHA
    cdff7fc View commit details
    Browse the repository at this point in the history

  4. update package.json

    @tuturu-tech
    tuturu-tech committed May 19, 2023
    Configuration menu
    Copy the full SHA
    9ccd809 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. update links, add link retry on error 429

    @tuturu-tech
    tuturu-tech committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    c93b9c2 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. changed helpers and some error bounds

    @tuturu-tech
    tuturu-tech committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    ac203b4 View commit details
    Browse the repository at this point in the history

  2. formatting

    @tuturu-tech
    tuturu-tech committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    a4a4d14 View commit details
    Browse the repository at this point in the history

  3. update property table

    @tuturu-tech
    tuturu-tech committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    b9e1f21 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. add more decimals lost to mul associative

    @tuturu-tech
    tuturu-tech committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    2c3e1bb View commit details
    Browse the repository at this point in the history