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

Integration of redelegation into Quint #64

Merged
merged 18 commits into from
Aug 18, 2023
Merged

Integration of redelegation into Quint #64

merged 18 commits into from
Aug 18, 2023

Commits on Jun 23, 2023

  1. unbond done

    @angbrav
    angbrav committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    361a578 View commit details
    Browse the repository at this point in the history

  2. update

    @angbrav
    angbrav committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    ef39c0a View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. unbond, withdraw and redelegate

    @angbrav
    angbrav committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    051edfb View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. a thousand test and comments

    @angbrav
    angbrav committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    792ede0 View commit details
    Browse the repository at this point in the history

  2. fix issue

    @angbrav
    angbrav committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    4fdff45 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. add redelegate to execution

    @angbrav
    angbrav committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    dbb9133 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. first redelegation test plus some fixes

    @angbrav
    angbrav committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    7e00fab View commit details
    Browse the repository at this point in the history

  2. primove redelegation test

    @angbrav
    angbrav committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    a61ec87 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. change totalRedelegatedUnbonded type and account for redelegations in… 

    … computeTotalUnbonded
    @angbrav
    angbrav committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    1a79bfe View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2023

  1. all redelegation functionality, cubic offset incorporated

    @angbrav
    angbrav committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    f91f589 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. new slash redelegation

    @angbrav
    angbrav committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    c4675b3 View commit details
    Browse the repository at this point in the history

  2. execution parameteres to default

    @angbrav
    angbrav committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    fd165d6 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. fix bugs in slashing validator due to redelegation

    @angbrav
    angbrav committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    7a08a26 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. add comments and tests

    @angbrav
    angbrav committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    f5286dd View commit details
    Browse the repository at this point in the history

  2. more comments

    @angbrav
    angbrav committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    6d5ce9f View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. fix a problem with redelegations in slashValidator

    @angbrav
    angbrav committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    ac16070 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. add tests for slashValidator

    @angbrav
    angbrav committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    f78fb5c View commit details
    Browse the repository at this point in the history

  2. add a couple of TODOs

    @angbrav
    angbrav committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    5f6e59f View commit details
    Browse the repository at this point in the history