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

Upstream Certora Specifications #130

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

Upstream Certora Specifications #130

wants to merge 76 commits into from

Conversation

andrew-certora
Copy link

No description provided.

dominik-velan and others added 30 commits August 6, 2024 14:40
@dominik-velan
initial setup
b8b4e4a
@dominik-velan
update linking
297f80d
@dominik-velan
fix path in configs, set higher timeout for big contracts
0a19b58
@andrew-certora
Delete a few empty unused spec files
d1ee6c4 
I kept in the ERCs, DeX, PriceAggregators, Staking ones for now
@andrew-certora
run script. adding back generic spec, delete unused imports
9946904
@dominik-velan @andrew-certora
initial setup
a180ae0
@dominik-velan @andrew-certora
update linking
55da68d
@dominik-velan @andrew-certora
fix path in configs, set higher timeout for big contracts
33786fe
@andrew-certora
Delete a few empty unused spec files
2760d8a 
I kept in the ERCs, DeX, PriceAggregators, Staking ones for now
@andrew-certora
run script. adding back generic spec, delete unused imports
6d062ee
@andrew-certora
Fix run all script
61c70e9
@christiane-certora
a little start, trying to figure out how to interact with _proposals
04dabc1
@christiane-certora
EPT_KP_1 verifies using the accessor from EPT
3af2f71
@christiane-certora
Added W1_4 and EPT_10, plus comments and better rule names
b765d9b
@christiane-certora
EPT_3
720c7d3
@christiane-certora
adjustments after rebase
4a1ef3f
@christiane-certora
EPT_1 and EPT_5
2e76f3a
@nd-certora
setup for escrow
79d40e8
@christiane-certora
EPT_9 and improvement to EPT_10
c2453d2
@nd-certora
fix steth and withdrawlqueue mocks
52dff79
@nd-certora
Merge remote-tracking branch 'origin/certora' into nurit/escrow
44e7ba5
@christiane-certora
EPT_11
d0d9e79
@christiane-certora
mutants for EPT
67c7789
@christiane-certora
one more mutant
8b7dc65
@nd-certora
all rules but solvency
1ca74ae
@andrew-certora
Delete extra stuff
3851081
@andrew-certora
Initial draft of w2_1a_indexes_match
ebce035
@andrew-certora
Fix some havocs in DG spec
8556e1d
@andrew-certora
WIP, can't declare DualGovernanceStateMachine.State
283645d
@andrew-certora
Workaround for type name issue. kp 1, 2
bfd8850
andrew-certora and others added 30 commits August 30, 2024 16:10
@andrew-certora
Fixes for mutation testing
e33314e
@andrew-certora
Merge pull request lidofinance#2 from Certora/andrew@cleanup
8fcf5b7 
Delete extra stuff
@andrew-certora
uncomment finding rule
a0ecdba
@christiane-certora
some first mutants for escrow
d3db6b4
@andrew-certora
Cleanup before PR
de64e5b
@andrew-certora
Delete monday update script
69df5ad
@christiane-certora
mutant for E_KP_1
076cc61
@christiane-certora
address simple review comments
d5d33a2
@christiane-certora
add comment for EPT_10
17a13e6
@christiane-certora
add an unchanged copy of ExecutableProposals to mutants to preserve t…
95b540b 
…he buggy state that W1_4 catches
@andrew-certora
PR fixups
d8b5222
@andrew-certora
try putting space instead of tabs
60135c9
@andrew-certora
methods block whitespace
edc8239
@andrew-certora
delete extraneous comment
1a7f141
@christiane-certora
comments on EPT_5 and helper functions
0fdb20d
@andrew-certora
Merge pull request lidofinance#4 from Certora/andrew@dual-governance
f16df84 
Dual governance
@andrew-certora
Merge pull request lidofinance#3 from Certora/christiane/emergency-pr…
793f451 
…otected-timelock

Emergency Protected Timelock
@andrew-certora
Merge branch 'main' into andrew@merge-contract-updates
182d0d0
@christiane-certora
AssetsAccounting mutants
856442e
@christiane-certora
new version of w2_1
56c5c86
@andrew-certora
Merge pull request lidofinance#8 from Certora/christiane/w2_1
077e469 
New formulation of W2_1
@christiane-certora
W2_2 with frontrunning formulation plus mutant preserving the buggy s…
df8f29f 
…tate
@nd-certora
escrow valid state and solvency rules
e282bc9
@andrew-certora
Merge branch 'certora' into nurit/escrow
7e34bb2
@christiane-certora
revert check instead of filter
6e2e658
@nd-certora
review fixes and 2 more solvency rules
6a7f4c7
@nd-certora
Merge pull request lidofinance#10 from Certora/nurit/escrow
47f1b25 
Nurit/escrow
@nd-certora
Merge branch 'certora' into christiane/escrow-mutations
f7e5f0f
@nd-certora
Merge pull request lidofinance#9 from Certora/christiane/escrow-mutat…
5776db0 
…ions

Mutation testing for escrow plus W2_2 in frontrunning formulation
@nd-certora
Merge pull request lidofinance#7 from Certora/andrew@merge-contract-u…
5b88def 
…pdates

Merge Contract Updates
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.
4 participants
@andrew-certora @dominik-velan @christiane-certora @nd-certora