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.

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

Otakar/specs #12

Open
wants to merge 81 commits into
base: certora
Choose a base branch
from
Open

Otakar/specs #12

wants to merge 81 commits into from

Conversation

otakar-trunda
Copy link
Collaborator

Rules for the OperatorRegistry

The setup, harnesses and files with rules.

iamsahu and others added 30 commits April 30, 2024 12:14
…tive#257)

* fix: removed admin modifier on pause function in TUPProxy

* fix: removed testAdminFuncAsLambda tests as they are no longer valid

---------

Co-authored-by: Mischa <[email protected]>
* fix: denied user can't claim there redeem request

* fix: lint

* chore: added tests for frozen ETH left behind

---------

Co-authored-by: Mischa <[email protected]>
* fix: changed the comments to reflect what is being implemented

* fix: change mintShare checks to include the edge case when totalSupply is zero

* chore: removed fix for oracle

---------

Co-authored-by: Mischa <[email protected]>
* feat: foundry gas diff

* fix: updated workflow file

* fix: updated gas report workflow

* fix: removed fuzz seed for forge gas diff

* fix: added make file driven flow

* chore: modified make

* chore: testing without piping test output

* fix: added fix for the gas-diff workflow

* chore: changed the % to report

* chore: changed the % to report

* chore: changed the gas report name

* chore: changed the base to compare to

* chore: removed report name

* chore: removed report name

* chore: added report name

* fix: lint

* fix: more changes

* fix: more changes

* fix: fixed removeValidators bug

* chore: added more tests

* fix: added tests for active operators count

* fix: github action correction

* fix: limit the fuzzing

---------

Signed-off-by: Prafful <[email protected]>
Co-authored-by: Mischa <[email protected]>
* feat: Added keeper & deposit root check to ConsensusLayer Deposit maanger

* fix: lint & test fix

* feat: added view function for getting next validators

* chore: added more tests

* fix: lint & deploy script fix

* fix: lint

* fix: lint

* fix: lint

* chore:added tests for keeper

* Added more tests

* Extended test

* feat: refactored code to prevent repetation

---------

Co-authored-by: Mischa <[email protected]>
* feat: added version view function

* chore: pin foundry to specific version

* chore: added version test

* chore: updated the version to 1.1.0
* chore: removed redundant return variable

* chore: updated function name
…tive#272)

* chore: updated function name

* chore: fixed the deployment scripts
* chore: abstract contract for protocol version

* chore: updated deployment check

* chore: renamed the ProtocolVersion contract name
liquid-collective#274)

* fix: Update redeemManager to revert on claimRedeemRequest if the initiator is denied
- Updated the redeemRequests struct to include the initiator of the redeem request
- Updated requesRedeem function to store the msg.sender as the initiator of the redeemRequest
- Updated claimRedeemRequest to revert if the initiator of a redeemRequest is denied

* chore: use proper formatting.

* chore: rename owner to recipient in redeemRequest struct

* chore: format accordingly

* chore: Add test for ClaimedRedeemRequest event

* chore: test claimRedeemRequest reverts on failed ether transfer to recipient

* chore: fix formatting in redeemManager test file
…ective#275)

* chore: revert the use of abstract contract for protocol version

* chore: revert protocol version from 2.0.0 to 1.2.0

* chore: update comment on withdraw contract
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Mischa <[email protected]>
* chore: devHolesky deployment for protocol v1.2.0

* chore: v1.2.0 deployment with updated license
* fix: update redeem queue structure in state to prevent storage corruption

* chore: update redeemManager test to reflect changes

* chore: add migration test on mainnet and testnet fork

* chore: added some logs for testing

* chore: some code cleanup

* chore: add deployment file for redeemManager upgrade

* chore: natspec upgrade

* fix: introduce redeemQueueV1_2 structure for migrstion on dev

* chore: update redeemManager migration test

* chore: update deployment file for redeemManager upgrade

* chore: fix formatting

* chore: add unit tests for InitializeRedeemManagerV1_2

* chore: update InitializeRedeemManagerV1_2 test

* chore: improve formatting
* feat: update protocol version to 1.2.1

* chore: remove redundant MockRedeemManagerV2 from test file
…ective#293)

* feat: deploy implementation contracts for v1_2_1

* chore: update upgrade script for v1.2.1

* feat: deploy v1.2.1 implementatiosn to dev

* chore: update deploy script, refactor file version
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants