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

Refactor vesting for prove #28

Merged
merged 9 commits into from
Aug 12, 2024
Merged

Refactor vesting for prove #28

merged 9 commits into from
Aug 12, 2024

Commits on Jul 12, 2024

  1. Extract function for writing formal proof

    @axiongsupra
    axiongsupra committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    c79581a View commit details
    Browse the repository at this point in the history

  2. Add proof for vesting contract state

    @axiongsupra
    axiongsupra committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    87c50b3 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Update proof for vest_transfer

    @axiongsupra
    axiongsupra committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    81e412d View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. Remove postconditions are not in use

    @axiongsupra
    axiongsupra committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    60f4e4f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'integrate_consensus_key' into refactor-vesting-for-prove

    @axiongsupra
    axiongsupra authored Jul 17, 2024
    Configuration menu
    Copy the full SHA
    0a8fd01 View commit details
    Browse the repository at this point in the history

  3. One format change

    @axiongsupra
    axiongsupra committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    339b576 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2024

  1. Address comment on move code

    @axiongsupra
    axiongsupra committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    2a427c0 View commit details
    Browse the repository at this point in the history

  2. Fix the spec according to code change

    @axiongsupra
    axiongsupra committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    92d4642 View commit details
    Browse the repository at this point in the history

  3. Disable one postcondition because of havoc

    @axiongsupra
    axiongsupra committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    5c9d8d2 View commit details
    Browse the repository at this point in the history