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

MBT for ICS03 #701

Merged
merged 124 commits into from
Mar 2, 2021
Merged

MBT for ICS03 #701

merged 124 commits into from
Mar 2, 2021

Commits on Feb 2, 2021

  1. Add ICS02 model

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    413d3f4 View commit details
    Browse the repository at this point in the history

  2. Add MBT test driver

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    065631e View commit details
    Browse the repository at this point in the history

  3. Add ICS02TestExecutor

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    b98c7d3 View commit details
    Browse the repository at this point in the history

  4. Add another apalache counterexample

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    6685cc1 View commit details
    Browse the repository at this point in the history

  5. Fix ICS02.tla: client counter starts at 0

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    f863486 View commit details
    Browse the repository at this point in the history

  6. Check for errors in MockContext.deliver

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    cd0d0a6 View commit details
    Browse the repository at this point in the history

  7. Handle errors in MBT tests

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    02c020b View commit details
    Browse the repository at this point in the history

  8. Remove SyntheticTendermint mock context

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    a5d06c5 View commit details
    Browse the repository at this point in the history

  9. More idiomatic check_next_state

    @vitorenesduarte
    vitorenesduarte committed Feb 2, 2021
    Configuration menu
    Copy the full SHA
    356c6d2 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2021

  1. Buffered file reads

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    6ab8611 View commit details
    Browse the repository at this point in the history

  2. Make extract_handler_error_kind generic over the IBC handler

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    490d77b View commit details
    Browse the repository at this point in the history

  3. Support multiple chains in MBT

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    92b843c View commit details
    Browse the repository at this point in the history

  4. Make eyre a dev-dependency

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    d57cf41 View commit details
    Browse the repository at this point in the history

  5. s/ICS0/IBC on TLA files

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    f4dbe00 View commit details
    Browse the repository at this point in the history

  6. Initial support for conn open init

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    20867a5 View commit details
    Browse the repository at this point in the history

  7. Start connection and channel identifiers at 0

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    e5e2f7b View commit details
    Browse the repository at this point in the history

  8. Add conn open init to TLA spec

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    b9ca90a View commit details
    Browse the repository at this point in the history

  9. Represent clients with a record in TLA spec

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    f3cd434 View commit details
    Browse the repository at this point in the history

  10. Finish connection open init

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    4167d29 View commit details
    Browse the repository at this point in the history

  11. s/state/step

    @vitorenesduarte
    vitorenesduarte committed Feb 3, 2021
    Configuration menu
    Copy the full SHA
    7755fec View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2021

  1. Minimize diff

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    70e70f6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into vitor/ics02_mbt

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    44747d3 View commit details
    Browse the repository at this point in the history

  3. Modularize TLA spec

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    41d34d3 View commit details
    Browse the repository at this point in the history

  4. TLA format convention

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    1f9881c View commit details
    Browse the repository at this point in the history

  5. s/Null/None

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    e2605bb View commit details
    Browse the repository at this point in the history

  6. Sketch conn open try; Model chain's height

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    5b98a7e View commit details
    Browse the repository at this point in the history

  7. Bound model space

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    244efa6 View commit details
    Browse the repository at this point in the history

  8. Only update chain height upon success

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    7d9202a View commit details
    Browse the repository at this point in the history

  9. Check that chain heights match the ones in the model

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    28879f0 View commit details
    Browse the repository at this point in the history

  10. Sketch conn open try

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    a870537 View commit details
    Browse the repository at this point in the history

  11. Sketch conn open try

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    a533def View commit details
    Browse the repository at this point in the history

  12. Model missing connections and connection mismatches in conn open try

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    1cdb02a View commit details
    Browse the repository at this point in the history

  13. Trigger bug in conn open try

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    0186a1c View commit details
    Browse the repository at this point in the history

  14. Merge branch 'master' into vitor/ics02_mbt

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    f777144 View commit details
    Browse the repository at this point in the history

  15. Go back to previous way of generating connection and channel ids

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    6b6cd43 View commit details
    Browse the repository at this point in the history

  16. Disable failing MBT test

    @vitorenesduarte
    vitorenesduarte committed Feb 4, 2021
    Configuration menu
    Copy the full SHA
    6186bec View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2021

  1. Fix panic in conn open try when no connection id is provided

    @vitorenesduarte
    vitorenesduarte committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    a7b50d7 View commit details
    Browse the repository at this point in the history

  2. ICS02TestExecutor -> IBCTestExecutor

    @vitorenesduarte
    vitorenesduarte committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    5b66aac View commit details
    Browse the repository at this point in the history

  3. Merge branch 'vitor/conn_open_try' into vitor/ics02_mbt

    @vitorenesduarte
    vitorenesduarte committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    095433e View commit details
    Browse the repository at this point in the history

  4. Failing MBT test now passes with #615

    @vitorenesduarte
    vitorenesduarte committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    f2194cf View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2021

  1. Add notes on MBT

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    7bdd3b6 View commit details
    Browse the repository at this point in the history

  2. Remove ICS02

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    9ee48bd View commit details
    Browse the repository at this point in the history

  3. Add README

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    035651e View commit details
    Browse the repository at this point in the history

  4. Improve README

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    b6854ce View commit details
    Browse the repository at this point in the history

  5. Remove MBT intro

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    cd484a6 View commit details
    Browse the repository at this point in the history

  6. new lines

    @vitorenesduarte
    vitorenesduarte committed Feb 8, 2021
    Configuration menu
    Copy the full SHA
    d69d15e View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2021

  1. Merge branch 'master' into vitor/ics02_mbt

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    b4aea95 View commit details
    Browse the repository at this point in the history

  2. Make MBT README more easily discoverable

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    5e9dd63 View commit details
    Browse the repository at this point in the history

  3. IBCTestExecutor: Map from ChainId (instead of String) to MockContext

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    fb20ce0 View commit details
    Browse the repository at this point in the history

  4. s/epoch/revision

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    75db6bb View commit details
    Browse the repository at this point in the history

  5. Move from eyre to thiserror

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    a102863 View commit details
    Browse the repository at this point in the history

  6. Improve README

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    2e5d6de View commit details
    Browse the repository at this point in the history

  7. Improve README

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    dfb683d View commit details
    Browse the repository at this point in the history

  8. Improve arguments order in modelator::test

    @vitorenesduarte
    vitorenesduarte committed Feb 9, 2021
    Configuration menu
    Copy the full SHA
    7e24841 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2021

  1. Improve chain identifiers

    @vitorenesduarte
    vitorenesduarte committed Feb 10, 2021
    Configuration menu
    Copy the full SHA
    5d6bf08 View commit details
    Browse the repository at this point in the history

  2. Improve README

    @vitorenesduarte
    vitorenesduarte committed Feb 10, 2021
    Configuration menu
    Copy the full SHA
    60e4aba View commit details
    Browse the repository at this point in the history

  3. Start ICS03

    @vitorenesduarte
    vitorenesduarte committed Feb 10, 2021
    Configuration menu
    Copy the full SHA
    c700ba5 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. Merge branch 'master' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    c1206ae View commit details
    Browse the repository at this point in the history

  2. Store all client heights and improve names in model output actions to… 

    … match those in the implementation
    @vitorenesduarte
    vitorenesduarte committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    7233987 View commit details
    Browse the repository at this point in the history

  3. Parse Action as an internally tagged enum

    @vitorenesduarte
    vitorenesduarte committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    ca8b839 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2021

  1. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 12, 2021
    Configuration menu
    Copy the full SHA
    01b557b View commit details
    Browse the repository at this point in the history

  2. Separate action apply from action outcome checking

    @vitorenesduarte
    vitorenesduarte committed Feb 12, 2021
    Configuration menu
    Copy the full SHA
    b37982a View commit details
    Browse the repository at this point in the history

  3. improve conn open try enabling condition

    @vitorenesduarte
    vitorenesduarte committed Feb 12, 2021
    Configuration menu
    Copy the full SHA
    acbe0d8 View commit details
    Browse the repository at this point in the history

  4. Fix IBCTests.tla

    @vitorenesduarte
    vitorenesduarte committed Feb 12, 2021
    Configuration menu
    Copy the full SHA
    28ee9a9 View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2021

  1. Add connectionProofs to each chain in TLA model

    @vitorenesduarte
    vitorenesduarte committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    129ff9b View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2021

  1. Generate actions in the handlers

    @vitorenesduarte
    vitorenesduarte committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    1d6d5e9 View commit details
    Browse the repository at this point in the history

  2. Save proofs in counterparty chain upon a successful action

    @vitorenesduarte
    vitorenesduarte committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    00afd55 View commit details
    Browse the repository at this point in the history

  3. Reduce state space

    @vitorenesduarte
    vitorenesduarte committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    8a2581d View commit details
    Browse the repository at this point in the history

  4. Update tests

    @vitorenesduarte
    vitorenesduarte committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    cf54ff4 View commit details
    Browse the repository at this point in the history

  5. Fix ICS02UpdateClient

    @vitorenesduarte
    vitorenesduarte committed Feb 18, 2021
    Configuration menu
    Copy the full SHA
    5e04972 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2021

  1. Allow a conn open try to succeed only after a conn open init

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    a8023f2 View commit details
    Browse the repository at this point in the history

  2. Improve modelator's error

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    e9af4de View commit details
    Browse the repository at this point in the history

  3. Generate tests

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    3575491 View commit details
    Browse the repository at this point in the history

  4. Add MockContext::host_oldest_height

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    5170cc1 View commit details
    Browse the repository at this point in the history

  5. Update CHANGELOG

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    3b83a64 View commit details
    Browse the repository at this point in the history

  6. Update CHANGELOG

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    fc6a238 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'vitor/overflow' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    5663b14 View commit details
    Browse the repository at this point in the history

  8. Fix conn open ack tests

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    4da1d34 View commit details
    Browse the repository at this point in the history

  9. Update CHANGELOG.md 

    Co-authored-by: Adi Seredinschi <[email protected]>
    @vitorenesduarte @adizere
    vitorenesduarte and adizere authored Feb 19, 2021
    Configuration menu
    Copy the full SHA
    56382c4 View commit details
    Browse the repository at this point in the history

  10. Remove MockContext::host_chain_history_size

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    c851c33 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'vitor/overflow' of https://github.com/informalsystems/i… 

    …bc-rs into vitor/overflow
    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    9b6d29a View commit details
    Browse the repository at this point in the history

  12. Fix clippy

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    f4e8c27 View commit details
    Browse the repository at this point in the history

  13. Fix clippy

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    7fa9932 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'vitor/overflow' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    d5aa60a View commit details
    Browse the repository at this point in the history

  15. Fix ICS03_ConnectionOpenTry

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    b4f31b2 View commit details
    Browse the repository at this point in the history

  16. Finish connection open try

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    4bd0ea9 View commit details
    Browse the repository at this point in the history

  17. Start conn open ack

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    87bd1d7 View commit details
    Browse the repository at this point in the history

  18. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    b1115a9 View commit details
    Browse the repository at this point in the history

  19. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    daccb9b View commit details
    Browse the repository at this point in the history

  20. handle ICS03ConnectionOpenAckOK

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    f751e0e View commit details
    Browse the repository at this point in the history

  21. Merge branch 'master' into vitor/overflow

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    04b60bb View commit details
    Browse the repository at this point in the history

  22. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 19, 2021
    Configuration menu
    Copy the full SHA
    a2f40c8 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2021

  1. Add conn open ack

    @vitorenesduarte
    vitorenesduarte committed Feb 20, 2021
    Configuration menu
    Copy the full SHA
    1c6bd3a View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2021

  1. potential bug

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    ff4fbde View commit details
    Browse the repository at this point in the history

  2. Finish conn open ack

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    ebb8569 View commit details
    Browse the repository at this point in the history

  3. Add conn open confirm

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    5f10217 View commit details
    Browse the repository at this point in the history

  4. Fix conn open ack

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    5a051af View commit details
    Browse the repository at this point in the history

  5. add conn open ack and conn open confirm failing tests

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    122210b View commit details
    Browse the repository at this point in the history

  6. updated height on successful conn open confirm

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    ac70ba3 View commit details
    Browse the repository at this point in the history

  7. Allow a conn open ack to succeed

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    1d63ca9 View commit details
    Browse the repository at this point in the history

  8. Remove invalid test

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    b889b7b View commit details
    Browse the repository at this point in the history

  9. merge vitor/open-ack

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    abc29d8 View commit details
    Browse the repository at this point in the history

  10. enable all tests

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    52a3390 View commit details
    Browse the repository at this point in the history

  11. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    0ef4b5a View commit details
    Browse the repository at this point in the history

  12. update CHANGELOG

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    a173dcd View commit details
    Browse the repository at this point in the history

  13. fix CHANGELOG

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    d25cc7b View commit details
    Browse the repository at this point in the history

  14. Merge branch 'vitor/open-ack' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    96c4c6e View commit details
    Browse the repository at this point in the history

  15. fix CHANGELOG

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    067fc0c View commit details
    Browse the repository at this point in the history

  16. Minimize diff

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    809effb View commit details
    Browse the repository at this point in the history

  17. Minimize diff

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    a3e95d3 View commit details
    Browse the repository at this point in the history

  18. Update README

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    bf7c81d View commit details
    Browse the repository at this point in the history

  19. Fix clippy

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    731dcc9 View commit details
    Browse the repository at this point in the history

  20. Merge branch 'vitor/open-ack' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    7269ee2 View commit details
    Browse the repository at this point in the history

  21. update README

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    ce23256 View commit details
    Browse the repository at this point in the history

  22. update README

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    6c7ee61 View commit details
    Browse the repository at this point in the history

  23. Make MsgConnectionOpenAck.counterparty_connection_id not an Option

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    53e2a08 View commit details
    Browse the repository at this point in the history

  24. Merge branch 'vitor/open-ack' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    93a133b View commit details
    Browse the repository at this point in the history

  25. Make MsgConnectionOpenAck.counterparty_connection_id not an Option

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    dda8c6f View commit details
    Browse the repository at this point in the history

  26. Merge branch 'vitor/open-ack' into vitor/mbt_ics03

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    40adce4 View commit details
    Browse the repository at this point in the history

  27. Fix test executor

    @vitorenesduarte
    vitorenesduarte committed Feb 22, 2021
    Configuration menu
    Copy the full SHA
    a8dbfe1 View commit details
    Browse the repository at this point in the history

  28. Update README.md

    @vitorenesduarte
    vitorenesduarte authored Feb 22, 2021
    Configuration menu
    Copy the full SHA
    0c5e9e4 View commit details
    Browse the repository at this point in the history

  29. Update README.md

    @vitorenesduarte
    vitorenesduarte authored Feb 22, 2021
    Configuration menu
    Copy the full SHA
    eabf89d View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. merge master

    @vitorenesduarte
    vitorenesduarte committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    4b0910a View commit details
    Browse the repository at this point in the history

  2. Uninit -> Uninitialized

    @vitorenesduarte
    vitorenesduarte committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    6b66f7e View commit details
    Browse the repository at this point in the history