Skip to content
This repository was archived by the owner on Apr 18, 2026. It is now read-only.
This repository was archived by the owner on Apr 18, 2026. It is now read-only.

Formally prove functionDelegateCall #91

Open
Open
Formally prove functionDelegateCall#91

Description

@MathisGD
MathisGD
opened on Jan 4, 2023
No description provided.

Activity

  1. MerlinEgalite commented on Apr 26, 2023

    @MerlinEgalite
    MerlinEgalite
    on Apr 26, 2023
    Contributor

    @QGarchery how complex is it?

  2. QGarchery commented on Apr 27, 2023

    @QGarchery
    QGarchery
    on Apr 27, 2023
    Contributor

    @QGarchery how complex is it?

    I believe it's almost impossible in the current state of Certora. I asked them if they plan to add the needed feature (compare storage changes), I'll report back here when I get an answer

  3. MerlinEgalite commented on Apr 27, 2023

    @MerlinEgalite
    MerlinEgalite
    on Apr 27, 2023
    Contributor

    Ok too bad 😢

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions