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

Delegate Rational invariant to PNonZero + optimizations #435

Merged
merged 24 commits into from
Jul 13, 2022
Merged

Delegate Rational invariant to PNonZero + optimizations #435

merged 24 commits into from
Jul 13, 2022

Commits on Apr 13, 2022

  1. Force rational invariant in PlutusType instance

    @TotallyNotChase
    TotallyNotChase committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    bbba37d View commit details
    Browse the repository at this point in the history

  2. Fix formatting

    @TotallyNotChase
    TotallyNotChase committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    77f56fe View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2022

  1. Add PNonZero

    @TotallyNotChase
    TotallyNotChase committed Apr 14, 2022
    Configuration menu
    Copy the full SHA
    b52e4e4 View commit details
    Browse the repository at this point in the history

  2. Rework PRational to use PNonZero + optimizations

    @TotallyNotChase
    TotallyNotChase committed Apr 14, 2022
    Configuration menu
    Copy the full SHA
    8002d22 View commit details
    Browse the repository at this point in the history

  3. Fix formatting

    @TotallyNotChase
    TotallyNotChase committed Apr 14, 2022
    Configuration menu
    Copy the full SHA
    6108d7c View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. Merge branch 'staging' into rational-experiment

    @TotallyNotChase
    TotallyNotChase committed May 16, 2022
    Configuration menu
    Copy the full SHA
    6de73b5 View commit details
    Browse the repository at this point in the history

  2. Rename pnonZero' -> ptryNonZero

    @TotallyNotChase
    TotallyNotChase committed May 16, 2022
    Configuration menu
    Copy the full SHA
    52476c4 View commit details
    Browse the repository at this point in the history

  3. Deduplicate Flip

    @TotallyNotChase
    TotallyNotChase committed May 16, 2022
    Configuration menu
    Copy the full SHA
    b07d97a View commit details
    Browse the repository at this point in the history

  4. PTryFrom instances for PNonZero

    @TotallyNotChase
    TotallyNotChase committed May 16, 2022
    Configuration menu
    Copy the full SHA
    88916a0 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2022

  1. Unexport PRational constructor... 

    And add supplementary functions
    @TotallyNotChase
    TotallyNotChase committed May 17, 2022
    Configuration menu
    Copy the full SHA
    0ea3b7c View commit details
    Browse the repository at this point in the history

  2. TryFrom instance for PRational and cleanup

    @TotallyNotChase
    TotallyNotChase committed May 17, 2022
    Configuration menu
    Copy the full SHA
    3ca3ef4 View commit details
    Browse the repository at this point in the history

  3. TryFrom tests for PRational

    @TotallyNotChase
    TotallyNotChase committed May 17, 2022
    Configuration menu
    Copy the full SHA
    2f66f92 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. Merge branch 'staging' into rational-experiment

    @TotallyNotChase
    TotallyNotChase committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    c398e12 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'staging' into rational-experiment

    @TotallyNotChase
    TotallyNotChase committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    28edeec View commit details
    Browse the repository at this point in the history

  3. Build fixes and update goldens

    @TotallyNotChase
    TotallyNotChase committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    b539f9b View commit details
    Browse the repository at this point in the history

  4. Fix formatting

    @TotallyNotChase
    TotallyNotChase committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    a385c8d View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. Actually export pthrow

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    0729fed View commit details
    Browse the repository at this point in the history

  2. Use pthrow for compilation error

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    cb73a12 View commit details
    Browse the repository at this point in the history

  3. Don't use punsafeCoerce unless necessary

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    03fe4ec View commit details
    Browse the repository at this point in the history

  4. Fix formatting

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    74b01ac View commit details
    Browse the repository at this point in the history

  5. Use PPositive rather than PNonZero for PRational

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    8a5973e View commit details
    Browse the repository at this point in the history

  6. Fix formatting

    @TotallyNotChase
    TotallyNotChase committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    c99ec7e View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2022

  1. Address review comments

    @TotallyNotChase
    TotallyNotChase committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    fa14b22 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'staging' into rational-experiment

    @L-as
    L-as authored Jul 13, 2022
    Configuration menu
    Copy the full SHA
    4e02da9 View commit details
    Browse the repository at this point in the history