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: Replace difftest model with Quint=>MBT #1369

Merged
merged 117 commits into from
Dec 18, 2023
Merged

test: Replace difftest model with Quint=>MBT #1369

merged 117 commits into from
Dec 18, 2023

Commits on Oct 19, 2023

  1. Start adding mbt using Quint model

    @p-offtermatt
    p-offtermatt committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    a4840fc View commit details
    Browse the repository at this point in the history

  2. Clean up dependencies

    @p-offtermatt
    p-offtermatt committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    5ffe647 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Start taking difftest code for mbt

    @p-offtermatt
    p-offtermatt committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    5f96643 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Implement chain startup

    @p-offtermatt
    p-offtermatt committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    2285a4c View commit details
    Browse the repository at this point in the history

  2. Rewrite chain startup

    @p-offtermatt
    p-offtermatt committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    ae5b106 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Continue chain setup

    @p-offtermatt
    p-offtermatt committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    50231fb View commit details
    Browse the repository at this point in the history

  2. Add trusting period

    @p-offtermatt
    p-offtermatt committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    2d29208 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Adjust tests for fee testing

    @p-offtermatt
    p-offtermatt committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    81bcd3b View commit details
    Browse the repository at this point in the history

  2. Use correct validators in RequestInitChain

    @p-offtermatt
    p-offtermatt committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    eedcf46 View commit details
    Browse the repository at this point in the history

  3. Remove min and max functions

    @p-offtermatt
    p-offtermatt committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    1bb6ed0 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Add type annotations

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    065f458 View commit details
    Browse the repository at this point in the history

  2. Make state printing more robust

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b1fde43 View commit details
    Browse the repository at this point in the history

  3. Fix setting default power reduction

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    44914e2 View commit details
    Browse the repository at this point in the history

  4. Adjust max steps and run all tests

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    e9d7107 View commit details
    Browse the repository at this point in the history

  5. Change semantics of VotingPowerChange to take change amount, not new … 

    …total
    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    b8640d9 View commit details
    Browse the repository at this point in the history

  6. Adjust voting power choices to be changes instead of absolute values

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    a8f45c4 View commit details
    Browse the repository at this point in the history

  7. Start refactoring relaying code

    @p-offtermatt
    p-offtermatt committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    ef7a80e View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Refactor map to list of pairs

    @p-offtermatt
    p-offtermatt committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    6336273 View commit details
    Browse the repository at this point in the history

  2. Add libraries for map rewrite

    @p-offtermatt
    p-offtermatt committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    dd9d878 View commit details
    Browse the repository at this point in the history

  3. Start fixing client updates

    @p-offtermatt
    p-offtermatt committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    61b6a85 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Add ccv_happy module as a happyPath variant

    @p-offtermatt
    p-offtermatt committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    abc12cf View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Fix model: packets are emitted based on the timestamp of the last blo… 

    …ck, not the new block
    @p-offtermatt
    p-offtermatt committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    ad25029 View commit details
    Browse the repository at this point in the history

  2. Add viewer for ModelState and fix model-system equivalence checks

    @p-offtermatt
    p-offtermatt committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    fea71dc View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Add type annotations

    @p-offtermatt
    p-offtermatt committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    8f8d2c4 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Add ack delivery after each step

    @p-offtermatt
    p-offtermatt committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    6dacc09 View commit details
    Browse the repository at this point in the history

  2. Add programmatic ways of generating traces

    @p-offtermatt
    p-offtermatt committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    2c3a6d5 View commit details
    Browse the repository at this point in the history

  3. Make invariant optional

    @p-offtermatt
    p-offtermatt committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    71a3b80 View commit details
    Browse the repository at this point in the history

  4. Pretty up the output

    @p-offtermatt
    p-offtermatt committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    c510e61 View commit details
    Browse the repository at this point in the history

  5. Add script for generating happy and normal traces

    @p-offtermatt
    p-offtermatt committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    db16905 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. Remove message sends for consumers that were started in this block

    @p-offtermatt
    p-offtermatt committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    436aec4 View commit details
    Browse the repository at this point in the history

  2. Use .itf extension instead of .json

    @p-offtermatt
    p-offtermatt committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    5d17552 View commit details
    Browse the repository at this point in the history

  3. Start adjusting behaviour for started/stopped consumers

    @p-offtermatt
    p-offtermatt committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    d085cce View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. Use GetEmptyProtocolState instead of verbose declaration

    @p-offtermatt
    p-offtermatt committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    3a7564e View commit details
    Browse the repository at this point in the history

  2. Add expired status and set timestamps of new consumers

    @p-offtermatt
    p-offtermatt committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    1b8ae7b View commit details
    Browse the repository at this point in the history

  3. Add note to split up timestamps

    @p-offtermatt
    p-offtermatt committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    c7cba8b View commit details
    Browse the repository at this point in the history

  4. Advance MBT prototype

    @p-offtermatt
    p-offtermatt committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    2d130df View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Add test case for expired clients

    @p-offtermatt
    p-offtermatt committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    8f31705 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Adjust tests for new timestamp handling

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    8681895 View commit details
    Browse the repository at this point in the history

  2. Use -1 as last timestamp when no block was comitted

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    f229db7 View commit details
    Browse the repository at this point in the history

  3. Fix client expiration conditions

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    8bbb86a View commit details
    Browse the repository at this point in the history

  4. Start writing model with boundeddrift

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    9237c34 View commit details
    Browse the repository at this point in the history

  5. Add model with bounded drift

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    2b9873a View commit details
    Browse the repository at this point in the history

  6. Rename module to match filename

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    dd2cd7c View commit details
    Browse the repository at this point in the history

  7. Add extra log output and trace gen scripts

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    603a668 View commit details
    Browse the repository at this point in the history

  8. Add Apalache output folder to gitignore

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    719614c View commit details
    Browse the repository at this point in the history

  9. Remove expired clients

    @p-offtermatt
    p-offtermatt committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    468dc7f View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Remove different time offsets for different chains

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    31bd231 View commit details
    Browse the repository at this point in the history

  2. Fix timestamp

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    76dcc15 View commit details
    Browse the repository at this point in the history

  3. Fix error where we would choose nondet from empty sets

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    3286e09 View commit details
    Browse the repository at this point in the history

  4. Add timeout timestamps to packets

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    1433ee4 View commit details
    Browse the repository at this point in the history

  5. Adapt tests to the empty-validator-power behaviour

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0f8228d View commit details
    Browse the repository at this point in the history

  6. Adjust timeout test

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    6887906 View commit details
    Browse the repository at this point in the history

  7. Add logic for comparing timestamps of packets

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ab1430a View commit details
    Browse the repository at this point in the history

  8. Fix: VSCTimeout is based on EndBlocj

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    dbbe2b0 View commit details
    Browse the repository at this point in the history

  9. Add logic for timed out vsc packets

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    680f3c4 View commit details
    Browse the repository at this point in the history

  10. Fix vsc timeouts should happen during endblock

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    4238978 View commit details
    Browse the repository at this point in the history

  11. Revert the timestamp change

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    2d1a874 View commit details
    Browse the repository at this point in the history

  12. Add more diverse traces

    @p-offtermatt
    p-offtermatt committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    bcdd85c View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Fix acct sequences not incrementing when messages error ot

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    eacfd87 View commit details
    Browse the repository at this point in the history

  2. Move from difference folder to mbt folder

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    33de97b View commit details
    Browse the repository at this point in the history

  3. Add back consumer chain stopping

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0e584c3 View commit details
    Browse the repository at this point in the history

  4. Disallow empty validator sets

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    95e5253 View commit details
    Browse the repository at this point in the history

  5. Add README and generate fewer traces

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d272b73 View commit details
    Browse the repository at this point in the history

  6. merge in main

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5dcf517 View commit details
    Browse the repository at this point in the history

  7. Remove difftest link from old docs

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    684a2e5 View commit details
    Browse the repository at this point in the history

  8. Fix merge conflicts

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    703e462 View commit details
    Browse the repository at this point in the history

  9. Revert changes to e2e tests

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b8db7bc View commit details
    Browse the repository at this point in the history

  10. Fix link to MBT

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    ce62ab0 View commit details
    Browse the repository at this point in the history

  11. Tidy go mod and use go 1.20

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7eeb540 View commit details
    Browse the repository at this point in the history

  12. Start linting

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    2a9c39b View commit details
    Browse the repository at this point in the history

  13. Lint files

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b533d1f View commit details
    Browse the repository at this point in the history

  14. Add nolint instruction from main

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4c205f6 View commit details
    Browse the repository at this point in the history

  15. Do not check for errors for consumer chain stopping

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    4c74bcb View commit details
    Browse the repository at this point in the history

  16. Add mbt to makefile and CI

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    fc48575 View commit details
    Browse the repository at this point in the history

  17. Move reference to difftests into reference to MBT

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    680b9df View commit details
    Browse the repository at this point in the history

  18. Remove cache npm

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    10ced0a View commit details
    Browse the repository at this point in the history

  19. Fix test-mbt-cov Make instructions

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    8bce148 View commit details
    Browse the repository at this point in the history

  20. Generate less traces and fix path for testing

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d00a1cc View commit details
    Browse the repository at this point in the history

  21. Fix test path

    @p-offtermatt
    p-offtermatt committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    df7ea65 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Archive traces in workflow

    @p-offtermatt
    p-offtermatt committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    6b99c02 View commit details
    Browse the repository at this point in the history

  2. Add long version of MBT to makefile

    @p-offtermatt
    p-offtermatt committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    e2ee8a2 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Use variable instead of true to better signal semantics

    @p-offtermatt
    p-offtermatt committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    0ac3c8a View commit details
    Browse the repository at this point in the history

  2. Update testutil/simibc/chain_util.go

    @p-offtermatt
    p-offtermatt authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    db9a697 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Address comments

    @p-offtermatt
    p-offtermatt committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    bf2d8d5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ph/mbt

    @p-offtermatt
    p-offtermatt authored Dec 5, 2023
    Configuration menu
    Copy the full SHA
    064188e View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Add punctuation remoced due to main merge

    @p-offtermatt
    p-offtermatt authored Dec 6, 2023
    Configuration menu
    Copy the full SHA
    d689142 View commit details
    Browse the repository at this point in the history

  2. Remove outdated doc line

    @p-offtermatt
    p-offtermatt committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    e730ebf View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. Add Quint tests to CI

    @p-offtermatt
    p-offtermatt committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    d103bda View commit details
    Browse the repository at this point in the history

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

    Co-authored-by: insumity <[email protected]>
    @p-offtermatt @insumity
    p-offtermatt and insumity authored Dec 8, 2023
    Configuration menu
    Copy the full SHA
    5d97774 View commit details
    Browse the repository at this point in the history

  3. Address comments

    @p-offtermatt
    p-offtermatt committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    5fecff1 View commit details
    Browse the repository at this point in the history

  4. Add zero check to VotingPowerChangeToEmptyTest

    @p-offtermatt
    p-offtermatt committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    90acddc View commit details
    Browse the repository at this point in the history

  5. Incorporate Karolos' comments

    @p-offtermatt
    p-offtermatt committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    1798924 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Add spacing between jobs

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    30a79ad View commit details
    Browse the repository at this point in the history

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

    Co-authored-by: insumity <[email protected]>
    @p-offtermatt @insumity
    p-offtermatt and insumity authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    2396038 View commit details
    Browse the repository at this point in the history

  3. Address comments

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    1659892 View commit details
    Browse the repository at this point in the history

  4. Remove 4 week time advancement

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    21813de View commit details
    Browse the repository at this point in the history

  5. Upload traces even when test fails

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    a3df827 View commit details
    Browse the repository at this point in the history

  6. Fix condition for trace archival

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    e52d186 View commit details
    Browse the repository at this point in the history

  7. Remove unused index

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    b74a09f View commit details
    Browse the repository at this point in the history

  8. Remove outdated for loop

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    e039ef9 View commit details
    Browse the repository at this point in the history

  9. Fix if condition for trace upload

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    b13ead1 View commit details
    Browse the repository at this point in the history

  10. Add comment about timestamps

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    e7807bf View commit details
    Browse the repository at this point in the history

  11. Remove long time advancements

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    a052b21 View commit details
    Browse the repository at this point in the history

  12. Address comments

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    60589a1 View commit details
    Browse the repository at this point in the history

  13. Make comment clearer

    @p-offtermatt
    p-offtermatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    82ca137 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Update tests/mbt/driver/generate_traces.sh 

    Co-authored-by: Simon Noetzlin <[email protected]>
    @p-offtermatt @sainoe
    p-offtermatt and sainoe authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    6d68920 View commit details
    Browse the repository at this point in the history

  2. Update tests/mbt/run_invariants.sh 

    Co-authored-by: Simon Noetzlin <[email protected]>
    @p-offtermatt @sainoe
    p-offtermatt and sainoe authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    49ba056 View commit details
    Browse the repository at this point in the history

  3. Update tests/mbt/driver/README.md 

    Co-authored-by: Simon Noetzlin <[email protected]>
    @p-offtermatt @sainoe
    p-offtermatt and sainoe authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    d04e140 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into ph/mbt

    @p-offtermatt
    p-offtermatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    f5f5d6e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into ph/mbt

    @p-offtermatt
    p-offtermatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    4af62df View commit details
    Browse the repository at this point in the history

  6. Update testutil/simibc/relayed_path.go 

    Co-authored-by: Simon Noetzlin <[email protected]>
    @p-offtermatt @sainoe
    p-offtermatt and sainoe authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    d01e561 View commit details
    Browse the repository at this point in the history

  7. Update tests/mbt/driver/generate_more_traces.sh 

    Co-authored-by: Simon Noetzlin <[email protected]>
    @p-offtermatt @sainoe
    p-offtermatt and sainoe authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    2a1db2b View commit details
    Browse the repository at this point in the history

  8. Remove difftest folder

    @p-offtermatt
    p-offtermatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    2488377 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'ph/mbt' of https://github.com/cosmos/interchain-security … 

    …into ph/mbt
    @p-offtermatt
    p-offtermatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    357541f View commit details
    Browse the repository at this point in the history

  10. Minor fixes based on PR comments

    @p-offtermatt
    p-offtermatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    73ba96f View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Make timedout status a const

    @p-offtermatt
    p-offtermatt committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    44e6145 View commit details
    Browse the repository at this point in the history

  2. Lengthen retention to 6 days

    @p-offtermatt
    p-offtermatt committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    7940d0f View commit details
    Browse the repository at this point in the history