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

TEMP: alternative approach to redelegation impl in AbstractState #1802

Closed
wants to merge 38 commits into from
Closed

TEMP: alternative approach to redelegation impl in AbstractState #1802

wants to merge 38 commits into from

Conversation

brentstone
Copy link
Collaborator

Describe your changes

Trying to implement the exact concrete redelegation in the abstract state machine.

Indicate on which release or other PRs this topic is based on

Based on #1612.

Checklist before merging to draft

  • I have added a changelog
  • Git history is in acceptable state

brentstone and others added 30 commits July 27, 2023 15:17
@brentstone
WIP first commit
d6e5278
@tzemanovic @brentstone
wip
2086f3e
@brentstone
WIP continuing after a short hiatus
b633038
@brentstone
WIP all pos unit tests passing
0727649
@brentstone
turn ON the new unbond_tokens, withdraw_tokens, process_slashes
e83989b
@brentstone
fix clippy, remove params from update_deltas and epoched fns
29dd407
@brentstone
fix bugs in unbond
aa39d23
@brentstone
Forgot to write slashes and update deltas in storage at end of slash …
30d7abe 
…processing
@brentstone
Fix bounds in slash processing
7e621ed
@brentstone
Provide names for corresponding Quint tests
e24eb7f
@brentstone
WIP fix more tests
35a2c64
@brentstone
WIP
729b155
@tzemanovic
WIP: factor out compute_amount_after_slashing_unbond and test
c063080
@tzemanovic
WIP: factor out fn compute_amount_after_slashing_withdraw and a test
52fb9be
@brentstone
WIP and fixed test_multiple_misbehaviors
62b3dd0
@tzemanovic
WIP SM redelegation
6e75a12
@tzemanovic
fixup! WIP SM redelegation
d5a13f9
@tzemanovic
PoS: update validator sets with redelegation dest validator
8b1a339
@brentstone
WIP debugging redel unit test
8a972b3
@tzemanovic
core/storage_api/error: add downcast method
e9a7ce4
@tzemanovic
test/pos/SM: check for chained redelegation
04d5263
@tzemanovic
PoS: fix chained redelegation check
df34554
@brentstone
WIP debuggin test_simple_redelegation (but close!)
12fb139
@tzemanovic
test/SM: add redelegation post-conditions
4cc2878
@brentstone
WIP fixed test_simple_redelegation!
7f8ea9c
@brentstone
WIP added test_redelegation_with_slashing
025784e
@tzemanovic
test/pos/SM: slash redelegations
49d0f2b
@brentstone
test for chain redelegations + other small changes
860de5e
@tzemanovic
fix slash_validator_redelegation epoch range
bea990f
@tzemanovic
fixup! fix slash_validator_redelegation epoch range
9682459
@brentstone brentstone closed this Nov 5, 2023
@brentstone brentstone deleted the brent/pos-redelegation-SM-2 branch December 28, 2023 00:58
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.
2 participants
@brentstone @tzemanovic