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

test: MBT: Add partial set security to model #1614

Closed
wants to merge 54 commits into from
Closed

test: MBT: Add partial set security to model #1614

wants to merge 54 commits into from

Commits on Jan 9, 2024

  1. Start implementing key assignment in Quint

    @p-offtermatt
    p-offtermatt committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    214f6e5 View commit details
    Browse the repository at this point in the history

  2. Update model

    @p-offtermatt
    p-offtermatt committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    79e8044 View commit details
    Browse the repository at this point in the history

  3. Update model

    @p-offtermatt
    p-offtermatt committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    e52e0ce View commit details
    Browse the repository at this point in the history

  4. Update model

    @p-offtermatt
    p-offtermatt committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    ed0901e View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Add key assignment to functional layer

    @p-offtermatt
    p-offtermatt committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    c4423ff View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Start writing test for key assignment

    @p-offtermatt
    p-offtermatt committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e9a7699 View commit details
    Browse the repository at this point in the history

  2. Continue adding key assignment to model

    @p-offtermatt
    p-offtermatt committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    05feedb View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Fix some behaviours in key assignment logic

    @p-offtermatt
    p-offtermatt committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    dba46b5 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. Pull key assignment into its own module

    @p-offtermatt
    p-offtermatt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    ba6e684 View commit details
    Browse the repository at this point in the history

  2. Split key assignment into extra module

    @p-offtermatt
    p-offtermatt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    c9ae38c View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Start updating invariants for key assignment

    @p-offtermatt
    p-offtermatt committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    b9914a2 View commit details
    Browse the repository at this point in the history

  2. Update key assignment spec

    @p-offtermatt
    p-offtermatt committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    7b23574 View commit details
    Browse the repository at this point in the history

  3. Merge key assignment into main model

    @p-offtermatt
    p-offtermatt committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    9c21742 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Update spec, fix bug

    @p-offtermatt
    p-offtermatt committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    6a0eb29 View commit details
    Browse the repository at this point in the history

  2. Fix map building for key assignment

    @p-offtermatt
    p-offtermatt committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    db78b88 View commit details
    Browse the repository at this point in the history

  3. Fix key assignment invariants

    @p-offtermatt
    p-offtermatt committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    2869fac View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Update driver to include key assignment

    @p-offtermatt
    p-offtermatt committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    1f368de View commit details
    Browse the repository at this point in the history

  2. Fix key assignment in bounded steps

    @p-offtermatt
    p-offtermatt committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    ff0489e View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Finish key assignment integration in driver

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    35e5d6c View commit details
    Browse the repository at this point in the history

  2. Update clients every block

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    147569d View commit details
    Browse the repository at this point in the history

  3. Add key assignment to invariant check

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    6c110f7 View commit details
    Browse the repository at this point in the history

  4. Use key assignment in its step

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    7cf2855 View commit details
    Browse the repository at this point in the history

  5. Fix merge

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    bb722a4 View commit details
    Browse the repository at this point in the history

  6. Revert changes to extraSpells

    @p-offtermatt
    p-offtermatt committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    36a7041 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Add check to avoid empty set of running consumers

    @p-offtermatt
    p-offtermatt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    36b5d92 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Update tests/mbt/model/ccv.qnt 

    Co-authored-by: insumity <insumity@users.noreply.github.com>
    @p-offtermatt @insumity
    p-offtermatt and insumity committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    a90e79d View commit details
    Browse the repository at this point in the history

  2. Update tests/mbt/model/ccv.qnt 

    Co-authored-by: insumity <insumity@users.noreply.github.com>
    @p-offtermatt @insumity
    p-offtermatt and insumity committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    dc62877 View commit details
    Browse the repository at this point in the history

  3. Start adapting spec to pss

    @p-offtermatt
    p-offtermatt committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    ec67531 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Continue modelling partial set security

    @p-offtermatt
    p-offtermatt committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    33ace67 View commit details
    Browse the repository at this point in the history

  2. Incorporate review comments

    @p-offtermatt
    p-offtermatt committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    e7c220d View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Refactor keyAssignmentReplacement

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    7377eec View commit details
    Browse the repository at this point in the history

  2. Start refactoring a few things

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    b7aca7c View commit details
    Browse the repository at this point in the history

  3. Refactor, take into account comments

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    b36bf35 View commit details
    Browse the repository at this point in the history

  4. Refactor utility functions to type module

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    36867d5 View commit details
    Browse the repository at this point in the history

  5. Minor refactor

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    5aec102 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'ph/mbt-keyassignment' into ph/mbt-pss

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    10c2a43 View commit details
    Browse the repository at this point in the history

  7. Refactor for PSS

    @p-offtermatt
    p-offtermatt committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    f60d715 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Merge branch 'main' into ph/mbt-pss

    @p-offtermatt
    p-offtermatt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    69baecc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ph/mbt-pss

    @p-offtermatt
    p-offtermatt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    be01ecb View commit details
    Browse the repository at this point in the history

  3. Fix merge

    @p-offtermatt
    p-offtermatt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fcf275f View commit details
    Browse the repository at this point in the history

  4. Refactor start/stop consumers

    @p-offtermatt
    p-offtermatt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    a4a17c8 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Start integrating partial set security

    @p-offtermatt
    p-offtermatt committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    12c752b View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Refine PSS model

    @p-offtermatt
    p-offtermatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    43c1053 View commit details
    Browse the repository at this point in the history

  2. Refine invariant

    @p-offtermatt
    p-offtermatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    37d43be View commit details
    Browse the repository at this point in the history

  3. Add sanity checks

    @p-offtermatt
    p-offtermatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    89420f9 View commit details
    Browse the repository at this point in the history

  4. Add PSS to README

    @p-offtermatt
    p-offtermatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    f064ec2 View commit details
    Browse the repository at this point in the history

  5. Add model analysis make target

    @p-offtermatt
    p-offtermatt committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    21852a1 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Update tests/mbt/model/libraries/extraSpells.qnt 

    Co-authored-by: insumity <insumity@users.noreply.github.com>
    @p-offtermatt @insumity
    p-offtermatt and insumity committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    7f57098 View commit details
    Browse the repository at this point in the history

  2. Add another test for sortedListInsert

    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    f91b909 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'ph/mbt-pss' of https://github.com/cosmos/interchain-sec… 

    …urity into ph/mbt-pss
    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    9da2959 View commit details
    Browse the repository at this point in the history

  4. Unify comments for __cmp

    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    ad1b555 View commit details
    Browse the repository at this point in the history

  5. Reformulate top N comment

    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    8d65f07 View commit details
    Browse the repository at this point in the history

  6. Revert map order, better naming for possible values

    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    cf3cb18 View commit details
    Browse the repository at this point in the history

  7. Rename e -> d

    @p-offtermatt
    p-offtermatt committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    5f0fb0e View commit details
    Browse the repository at this point in the history