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

feat: updated certora rules #236

Open
wants to merge 42 commits into
base: dev
Choose a base branch
from
Open

feat: updated certora rules #236

wants to merge 42 commits into from

Commits on Jan 23, 2024

  1. fix: setup certora script

    @8sunyuan
    8sunyuan committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    aaeb54c View commit details
    Browse the repository at this point in the history

  2. fix: updating contracts

    @8sunyuan
    8sunyuan committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    ea82243 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. refactor: minWithdrawalDelayBLocks from core

    @8sunyuan
    8sunyuan committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    20df08a View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. fix: compiling spec now

    @8sunyuan
    8sunyuan committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    00a527a View commit details
    Browse the repository at this point in the history

  2. fix: specs and add delegation to script

    @8sunyuan
    8sunyuan committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    f007cf8 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. update: change core submodule branch

    @ypatil12
    ypatil12 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    cb10d60 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. fix: core contracts commit and tests

    @8sunyuan
    8sunyuan committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    a479bfc View commit details
    Browse the repository at this point in the history

  2. feat: add avs directory to service manager

    @ypatil12 @8sunyuan
    ypatil12 authored and 8sunyuan committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    0d64eeb View commit details
    Browse the repository at this point in the history

  3. fix: rebase off updated bls sig checker; update integration tests

    @ypatil12 @8sunyuan
    ypatil12 authored and 8sunyuan committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    7d0ee2d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'm2-mainnet-fixes' of https://github.com/Layr-Labs/eigen… 

    …layer-middleware into m2-mainnet-fixes
    @8sunyuan
    8sunyuan committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    31554ff View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. fix: setup certora script

    @8sunyuan
    8sunyuan committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    f6cd875 View commit details
    Browse the repository at this point in the history

  2. fix: updating contracts

    @8sunyuan
    8sunyuan committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    e7153ed View commit details
    Browse the repository at this point in the history

  3. fix: compiling spec now

    @8sunyuan
    8sunyuan committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    84de64d View commit details
    Browse the repository at this point in the history

  4. fix: specs and add delegation to script

    @8sunyuan
    8sunyuan committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    5deb2fc View commit details
    Browse the repository at this point in the history

  5. Merge branch 'updated-certora-rules' of https://github.com/Layr-Labs/… 

    …eigenlayer-middleware into updated-certora-rules
    @8sunyuan
    8sunyuan committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    67f0b32 View commit details
    Browse the repository at this point in the history

  6. fix: make commit hook executable again (#160) 

    Co-authored-by: steven <[email protected]>
    @stevennevins
    stevennevins and steven authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    a5a2499 View commit details
    Browse the repository at this point in the history

  7. ci: add ci to run on PRs to m2-mainnet-fixes (#159) 

    Co-authored-by: steven <[email protected]>
    @stevennevins
    stevennevins and steven authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    23dbbf7 View commit details
    Browse the repository at this point in the history

  8. refactor: update minWithdrawalDelayBLocks variable (#152) 

    * refactor: minWithdrawalDelayBLocks from core

* fix: core contracts commit and tests

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* Add AVS Directory Support to Service Manager (#156)

* update: change core submodule branch

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: core contracts commit and tests

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: conflicts

---------

Co-authored-by: 8sunyuan <[email protected]>

* fix: submodule commit

* fix: rebase changes

* Add AVS Directory Support to Service Manager (#156)

* update: change core submodule branch

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: core contracts commit and tests

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: conflicts

---------

Co-authored-by: 8sunyuan <[email protected]>

* fix: submodule commit

* fix: rebase changes

* Add AVS Directory Support to Service Manager (#156)

* update: change core submodule branch

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: core contracts commit and tests

* feat: add avs directory to service manager

* fix: rebase off updated bls sig checker; update integration tests

* fix: conflicts

---------

Co-authored-by: 8sunyuan <[email protected]>

* fix: submodule commit

* docs: AVSRegistry -> AVSDirectory

---------

Co-authored-by: Yash Patil <[email protected]>
    @8sunyuan @ypatil12
    8sunyuan and ypatil12 authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    5c55896 View commit details
    Browse the repository at this point in the history

  9. fix: churner (#157)

    @0x0aa0
    0x0aa0 authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    00e3f14 View commit details
    Browse the repository at this point in the history

  10. fix: submodule (#164)

    @0x0aa0
    0x0aa0 authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    cc086d3 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. test: fix flaky tests by removing bogosort (#163) 

    * test: fix flaky tests by removing bogosort

* test: fix flaky test by rejecting empty addr inputs
    @wadealexc
    wadealexc authored Jan 31, 2024
    Configuration menu
    Copy the full SHA
    1807458 View commit details
    Browse the repository at this point in the history

  2. chore: storage gaps and nits (#155) 

    * chore: add storage gaps to BLSSignatureChecker and ServiceManagerBase

* chore: ServiceManagerBase to abstract and create mock

* chore: use onlyInitializing in Base and initializer in mock

* chore: add storage gaps to BLSSignatureChecker and ServiceManagerBase

* chore: ServiceManagerBase to abstract and create mock

* chore: use onlyInitializing in Base and initializer in mock

* fix: core submodules

---------

Co-authored-by: steven <[email protected]>
    @stevennevins
    stevennevins and steven authored Jan 31, 2024
    Configuration menu
    Copy the full SHA
    6e51369 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. chore: eigenlayer-contracts (#168)

    @0x0aa0
    0x0aa0 authored Feb 1, 2024
    Configuration menu
    Copy the full SHA
    4e41195 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. test/refactor: gas scenarios for updateOperators (#170) 

    * test: gas scenarios for updateOperators

* refactor: using one call for operatorShares

* test: updateOperators 200 operators

* test: gas scenarios for updateOperators

* refactor: using one call for operatorShares

* test: updateOperators 200 operators

* fix: comments
    @8sunyuan
    8sunyuan authored Feb 6, 2024
    Configuration menu
    Copy the full SHA
    32afa68 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2024

  1. fix: updated core contracts

    @8sunyuan
    8sunyuan committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    69396da View commit details
    Browse the repository at this point in the history

  2. Merge branch 'm2-mainnet-fixes' into updated-certora-rules

    @8sunyuan
    8sunyuan committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    95afcfb View commit details
    Browse the repository at this point in the history

  3. fix: build

    @8sunyuan
    8sunyuan committed Feb 7, 2024
    Configuration menu
    Copy the full SHA
    983a4cd View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. test: certora config

    @8sunyuan
    8sunyuan committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    695f8f1 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. fix: slight modifications

    @8sunyuan
    8sunyuan committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    fdee9f2 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. test: current changes

    @8sunyuan
    8sunyuan committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    5ae5b3e View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. test: certora specs

    @8sunyuan
    8sunyuan committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    af8a09f View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Ghost summaries for BitmapUtils and cleanup (#207) 

    * summed BitmapUtils

* update
    @teryanarmen
    teryanarmen authored Mar 15, 2024
    Configuration menu
    Copy the full SHA
    15327c8 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. test: setup.spec

    @8sunyuan
    8sunyuan committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    d36225a View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. test: verified oneIdPerOperator

    @8sunyuan
    8sunyuan committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    3d27b5f View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. fix: invariant progress

    @8sunyuan
    8sunyuan committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    9959d57 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. test: registeredOperatorsHaveNonzeroBitmaps

    @8sunyuan
    8sunyuan committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    9a29513 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. test: progress

    @8sunyuan
    8sunyuan committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    0b4258d View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. fix: registeredOperatorsHaveNonzeroBitmaps verified

    @8sunyuan
    8sunyuan committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    d566cd6 View commit details
    Browse the repository at this point in the history

  2. chore: cleanup

    @8sunyuan
    8sunyuan committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    66071b6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into updated-certora-rules

    @8sunyuan
    8sunyuan committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    cd24190 View commit details
    Browse the repository at this point in the history

  4. chore: certora cleanup

    @8sunyuan
    8sunyuan committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    784a363 View commit details
    Browse the repository at this point in the history

  5. fix: remove registered status check

    @8sunyuan
    8sunyuan committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    f1008f7 View commit details
    Browse the repository at this point in the history