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

Organize Project + Extend blockchain api to trigger smart contract functions. #10

Merged
merged 28 commits into from
Sep 12, 2024
Merged

Organize Project + Extend blockchain api to trigger smart contract functions. #10

merged 28 commits into from
Sep 12, 2024

Commits on Sep 10, 2024

  1. Organize Project + add Web3 client

    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    67c4e88 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:Certora/ProposalTools into niv/CERT… 

    …-7185-Infura-Web3-Client
    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    463ec60 View commit details
    Browse the repository at this point in the history

  3. Organize Project + add Web3 client

    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    8bdbc03 View commit details
    Browse the repository at this point in the history

  4. Delete ProposalTools/Checks directory

    @nivcertora
    nivcertora authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    f186f4f View commit details
    Browse the repository at this point in the history

  5. Delete ProposalTools/GIT directory

    @nivcertora
    nivcertora authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    606dd92 View commit details
    Browse the repository at this point in the history

  6. Delete ProposalTools/Utils directory

    @nivcertora
    nivcertora authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    27dafa5 View commit details
    Browse the repository at this point in the history

  7. Organize Project + add Web3 client

    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    160ce12 View commit details
    Browse the repository at this point in the history

  8. Organize Project + add Web3 client

    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    cefef34 View commit details
    Browse the repository at this point in the history

  9. Merge cefef34 into 3d6598b

    @nivcertora
    nivcertora authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c34dc4e View commit details
    Browse the repository at this point in the history

  10. Auto change version.

    @nivcertora
    nivcertora committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    57f97a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Emphasis that the client is only ETH mainnet

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    6988734 View commit details
    Browse the repository at this point in the history

  2. Merge 6988734 into 3d6598b

    @nivcertora
    nivcertora authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    bec357a View commit details
    Browse the repository at this point in the history

  3. Auto change version.

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    2c157c5 View commit details
    Browse the repository at this point in the history

  4. Add support for call function api for soldity smart contract

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    554cbc0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'niv/CERT-7185-Infura-Web3-Client' of github.com:Certora… 

    …/ProposalTools into niv/CERT-7185-Infura-Web3-Client
    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    8ed39ab View commit details
    Browse the repository at this point in the history

  6. Remove not needed api

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    c8fb59c View commit details
    Browse the repository at this point in the history

  7. Merge c8fb59c into 3d6598b

    @nivcertora
    nivcertora authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    09e1bb7 View commit details
    Browse the repository at this point in the history

  8. Auto change version.

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    a431f57 View commit details
    Browse the repository at this point in the history

  9. Clear the docs

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b3bb716 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'niv/CERT-7185-Infura-Web3-Client' of github.com:Certora… 

    …/ProposalTools into niv/CERT-7185-Infura-Web3-Client
    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b46f85d View commit details
    Browse the repository at this point in the history

  11. Merge b46f85d into 3d6598b

    @nivcertora
    nivcertora authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    1221227 View commit details
    Browse the repository at this point in the history

  12. Auto change version.

    @nivcertora
    nivcertora committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    631ba22 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. Add API integration tests

    @nivcertora
    nivcertora committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    6033c76 View commit details
    Browse the repository at this point in the history

  2. Fix pytest tests path

    @nivcertora
    nivcertora committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    6166420 View commit details
    Browse the repository at this point in the history

  3. Update requirements

    @nivcertora
    nivcertora committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    3c034dc View commit details
    Browse the repository at this point in the history

  4. Add ZKSCAN API key

    @nivcertora
    nivcertora committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    2a32fb1 View commit details
    Browse the repository at this point in the history

  5. Merge 2a32fb1 into 3d6598b

    @nivcertora
    nivcertora authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    240399a View commit details
    Browse the repository at this point in the history

  6. Auto change version.

    @nivcertora
    nivcertora committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f036ece View commit details
    Browse the repository at this point in the history