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] Dispatch tokens and verify safe transfer lib #321

Merged
merged 10 commits into from
Aug 17, 2023
Merged

[Certora] Dispatch tokens and verify safe transfer lib #321

merged 10 commits into from
Aug 17, 2023

Commits on Aug 16, 2023

  1. feat: add dispatch for tokens

    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    80458ea View commit details
    Browse the repository at this point in the history

  2. feat: add verification of summary for transfers

    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    e502109 View commit details
    Browse the repository at this point in the history

  3. feat: add transfer summary to the CI

    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    41aca52 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/certora/dev' into certora/dispat… 

    …ch-tokens
    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    f201437 View commit details
    Browse the repository at this point in the history

  5. fix: install dependencies in CI

    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9229f3c View commit details
    Browse the repository at this point in the history

  6. fix: change name to TransferHarness

    @QGarchery
    QGarchery committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    ffc7844 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. refactor: simplify transfer summary check 

    Co-authored-by: Jochen Hoenicke <hoenicke@gmail.com>
Signed-off-by: Quentin Garchery <QGarchery@users.noreply.github.com>
    @QGarchery @jhoenicke
    QGarchery and jhoenicke committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    7125c7d View commit details
    Browse the repository at this point in the history

  2. fix: cast balance to mathint

    @QGarchery
    QGarchery committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    9739986 View commit details
    Browse the repository at this point in the history

  3. feat: add dispatch token not reverting and returning a boolean

    @QGarchery
    QGarchery committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    5b9dc63 View commit details
    Browse the repository at this point in the history

  4. refactor: rename transfer to not only verify summary

    @QGarchery
    QGarchery committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    e0a9b50 View commit details
    Browse the repository at this point in the history