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

Add ICS07 client upgrade to the MBT tests #1274

Merged
merged 29 commits into from
Aug 24, 2021
Merged

Add ICS07 client upgrade to the MBT tests #1274

merged 29 commits into from
Aug 24, 2021

Commits on Jul 29, 2021

  1. got rust compiling with new modelator, problems with the spec

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    637bf1e View commit details
    Browse the repository at this point in the history

  2. everything works, but I had to delete an assert I don't understand

    @jtremback
    jtremback committed Jul 29, 2021
    1 Configuration menu
    Copy the full SHA
    60e3185 View commit details
    Browse the repository at this point in the history

  3. WIP using height tuple with fields for block height and revision

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    ef27701 View commit details
    Browse the repository at this point in the history

  4. - corrected some small stuff around height comparisons 

    - used cleaner LT, GT operators etc
- still having the typeOK problem
    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    915fdcf View commit details
    Browse the repository at this point in the history

  5. correct tendermint height comparisons again

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    70e3a2c View commit details
    Browse the repository at this point in the history

  6. upgrade tla spec seems to work correctly 

    (at least as correct as anything can work in this spec)
    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    9898f5c View commit details
    Browse the repository at this point in the history

  7. WIP starting on upgrade to rust code

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    0363f5e View commit details
    Browse the repository at this point in the history

  8. fix TypeOk in spec

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    4a76341 View commit details
    Browse the repository at this point in the history

  9. correct apalache type def

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    693bcac View commit details
    Browse the repository at this point in the history

  10. restore original typo

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    7c7c3e1 View commit details
    Browse the repository at this point in the history

  11. switch from tuple to record

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    8afbd5d View commit details
    Browse the repository at this point in the history

  12. Finally fixed confusing "No test trace found" error

    @jtremback
    jtremback committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    5ee8781 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2021

  1. Work towards synchronizing terminology between rust and tla 

    Fix compile errors
    @jtremback
    jtremback committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    ec07cd8 View commit details
    Browse the repository at this point in the history

  2. WIP diagnosing upgrade test not passing 

    - Narrowed it down to the fact that chain states are being stored in a map keyed off the revision, but upgrading the chain changes the revision. This will need to be modified and checked to see if it makes sense.
    @jtremback
    jtremback committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    61642a6 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2021

  1. clean up rust todos and dbg's

    @jtremback
    jtremback committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    d772f5e View commit details
    Browse the repository at this point in the history

  2. correct tla bug where chain height instead of revision is updated

    @jtremback
    jtremback committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    2933532 View commit details
    Browse the repository at this point in the history

  3. make chain revision in rust tests always 1

    @jtremback
    jtremback committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    4203106 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2021

  1. key self.contexts hashmap off of chain id string instead of 

    string+revision to stop errors where a chain context cannot be found
because the revision number has changed, making the old key invalid
    @jtremback
    jtremback committed Aug 10, 2021
    Configuration menu
    Copy the full SHA
    f93317c View commit details
    Browse the repository at this point in the history

  2. getting non-running tests to run

    @jtremback
    jtremback committed Aug 10, 2021
    Configuration menu
    Copy the full SHA
    74dd848 View commit details
    Browse the repository at this point in the history

  3. fix warnings

    @jtremback
    jtremback committed Aug 10, 2021
    Configuration menu
    Copy the full SHA
    6710aaa View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into jehan/mbt-ics07-client-upgrade

    @jtremback
    jtremback committed Aug 10, 2021
    Configuration menu
    Copy the full SHA
    8ea4b0c View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2021

  1. cut down state space

    @jtremback
    jtremback committed Aug 17, 2021
    Configuration menu
    Copy the full SHA
    9d8b870 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jehan/mbt-ics07-client-upgrade

    @jtremback
    jtremback committed Aug 17, 2021
    Configuration menu
    Copy the full SHA
    e0893ed View commit details
    Browse the repository at this point in the history

  3. reduce state space further

    @jtremback
    jtremback committed Aug 17, 2021
    Configuration menu
    Copy the full SHA
    9e3fe29 View commit details
    Browse the repository at this point in the history

  4. bring back a few states

    @jtremback
    jtremback committed Aug 17, 2021
    Configuration menu
    Copy the full SHA
    ccab697 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. tweak the state filtering and add a changelog

    @jtremback
    jtremback committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    eda020c View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2021

  1. Link .changelog entry to issue

    @romac
    romac committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    5043bae View commit details
    Browse the repository at this point in the history

  2. Reorder imports and fix Clippy warning

    @romac
    romac committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    a50b8a4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into jehan/mbt-ics07-client-upgrade

    @romac
    romac committed Aug 24, 2021
    Configuration menu
    Copy the full SHA
    4b7f1ea View commit details
    Browse the repository at this point in the history