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

[Certora][H-02] NFT Withdrawal Price Finalization #158

Open
wants to merge 7 commits into
base: staging-2.5
Choose a base branch
from
Open

[Certora][H-02] NFT Withdrawal Price Finalization #158

wants to merge 7 commits into from

Commits on Aug 31, 2024

  1. new withdraw flow + fixing test compilation errors

    @jtfirek
    jtfirek committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    6008dd0 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. new dust shares + integration existing unit tests

    @jtfirek
    jtfirek committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    72be7d7 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. re-organizing functions + adding comments + consistent usage of uint32

    @jtfirek
    jtfirek committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    1fceb70 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. additional testing + precision base for cached share value

    @jtfirek
    jtfirek committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    bf9dcca View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. finalizeRequests with specific totalAmount

    @jtfirek
    jtfirek committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    33de838 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. I-06

    @jtfirek
    jtfirek committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    9d220ab View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. additional safeguards and tests

    @jtfirek
    jtfirek committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    71f70ae View commit details
    Browse the repository at this point in the history