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 Review #7

Open
wants to merge 130 commits into
base: main
Choose a base branch
from
Open

Certora Review #7

wants to merge 130 commits into from

Conversation

MichaelMorami
Copy link
Collaborator

No description provided.

kyzia551 and others added 30 commits April 23, 2024 18:48
@kyzia551
DRAFT: stable rate removal
83b245a
@kyzia551
more cleanup
cf0fec2
@kyzia551
fix backwords capability of getReserveData
04d762a
@kyzia551
DRAFT: Add intensive init reserve tests
57129ac
@kyzia551
fix underlying decimals with bound
ebefc49
@kyzia551
fix of test_reverts_initReserves_maxAssets test
f2f6237
@kyzia551
add fuzing to notAdmin_initReserves test
0102427
@kyzia551
Merge pull request #3 from bgd-labs/feat/improvment-init-reserve-tests
109595d 
* Add intensive init reserve tests
@kyzia551
Merge branch 'v3.2.0' into feat/stable-rate-removal
7925194
@kyzia551
remove i from vars in flashLoan
bbb7aea
@kyzia551
renamed stableBorrowRate back on ReserveDataLegacy
9ec96c5
@kyzia551
removed local vars in updateInterestRatesAndVirtualBalance
6d91b62
@kyzia551
change require to not NONE in getDebtRepayAmount
acd27e7
@kyzia551
remove unused comment
305834e
@brotherlymite
feat: repo refactor
1c79784
@brotherlymite
fix: lint
b77eb71
@brotherlymite
chore: add reports dir
cab9796
@kyzia551 @sendra
Update src/core/contracts/protocol/pool/PoolConfigurator.sol
d25f6d9 
Co-authored-by: sendra <[email protected]>
@brotherlymite
Merge branch 'main' into feat/repo-reorg
09dda76
@brotherlymite
chore: fix conflicts
03a0f73
@brotherlymite
Merge branch 'v3.2.0' into feat/repo-reorg
0d47804
@brotherlymite
fix: remove static-a-token, config engine tests and the deployments
9d80072
@brotherlymite
fix: tests
4d2b070
@brotherlymite
fix: lint
3244a5b
@brotherlymite
Merge pull request #5 from bgd-labs/feat/repo-reorg
b6694d1 
feat: repo refactor
@kyzia551
Merge branch 'v3.2.0' into feat/stable-rate-removal
6fb27f3
@kyzia551
remove outdated RatesOverflow
f6e6ae6
@kyzia551
Merge branch 'main' into v3.2.0
e7b9354
@kyzia551
Merge branch 'v3.2.0' into feat/stable-rate-removal
db9698b
@kyzia551
Merge branch 'main' into v3.2.0
35342e4
sakulstra and others added 30 commits September 19, 2024 13:57
@sakulstra
Merge liquid eModes
0645793
@sakulstra
Merge pull request #2 from bgd-labs/feat/stable-rate-removal
dd50736 
Stable rate removal
@sakulstra
fix: resolve merge conflicts
4beb9b8
@sakulstra
perf: dont use reserve data extended (aave-dao#57)
3aad8ca
@nisnislevi
Merge remote-tracking branch 'bgd-labs/v3.2.0' into certora
6345f33
@sakulstra
refactor(configEngine): rename asset to assets for consistency wi…
f02fcb2 
…th other methods (aave-dao#26)
@nisnislevi
Merge remote-tracking branch 'bgd-labs/v3.2.0' into certora
9297533
@sakulstra
chore: bump revisions (aave-dao#27)
2d4f5a4
@nisnislevi
update stata to fit the new directories arrangment of the solidity
63a2cc3
@sakulstra
feat: improve snapshots (aave-dao#28)
ea32100
@nisnislevi
re-organization of the basic rules
3a199ba
@nisnislevi
Merge remote-tracking branch 'bgd-labs/v3.2.0' into certora
03ac790
@nisnislevi
fix bug in conf
0deedec
@nisnislevi
fix yml
ccabc06
@nisnislevi
fix yml again
44bd40d
@nisnislevi
fix yml again
67b7e19
@sakulstra
fix: upgrade aave-cli
e8d17a5
@nisnislevi
add the get/set rules for EMode
f04eef0
@sakulstra
feat: add updated coverage report (aave-dao#31)
fd4f033
@sakulstra
feat: script (aave-dao#32)
be45428 
* feat: add library deploy scripts

* fix: patch eMode snapshots
@sakulstra
Merge branch 'main' into v3.2.0
d0c6da2
@sakulstra
chore(release): merge v3.2.0
c5ef87e 
- liquid eModes
- deprecation of stable debt
@sakulstra
refactor: return address instead of IERC20 for better ux
90a214a
@sakulstra @eboadom
docs: add note about ir & deprecation of getReserveDataExtended (aave…
024d61f 
…-dao#34)


Co-authored-by: Ernesto Boado <[email protected]>
@nisnislevi @sakulstra
test: adjust certora test suite to new directory structure (aave-dao#30)
712f1c3
@nisnislevi
Merge remote-tracking branch 'bgd-labs/main' into certora
0795456
@nisnislevi
add to pool-harness: getConfiguration
9fcfd66
@nisnislevi
add to pool-harness: getVirtualUnderlyingBalance
3e5648f
@nisnislevi
some fixes
cc658f6
@nisnislevi
Merge branch 'certora-squashed' into certora
c0b7228
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@MichaelMorami @kyzia551 @brotherlymite @sakulstra @nisnislevi