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

Update disclosure log to document the ICS3 version negotiation problem #116

Closed
4 tasks
adizere opened this issue Aug 28, 2020 · 0 comments
Closed
4 tasks

Update disclosure log to document the ICS3 version negotiation problem #116

adizere opened this issue Aug 28, 2020 · 0 comments
Assignees
@adizere
Labels
S: docs Scope: improvements or additions to documentation

Comments

@adizere
Copy link
Contributor

adizere commented Aug 28, 2020

Summary of Bug

While implementing the connection handshake message processing logic (#160), we uncovered a potential problem, reported to ICS spec team: cosmos/ibc#459. We should update the disclosure log with TLA+ traces to document and help find a solution to this problem.

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
@adizere adizere added the S: docs Scope: improvements or additions to documentation label Aug 28, 2020
@adizere adizere self-assigned this Aug 28, 2020
@adizere adizere mentioned this issue Aug 28, 2020
Merged
6 tasks
@hu55a1n1 hu55a1n1 transferred this issue from informalsystems/hermes Sep 29, 2022
hu55a1n1 pushed a commit that referenced this issue Sep 29, 2022
@liamsi
Merge pull request #116 from liamsi/ismail/113_tendermint_rpc
8f6f96c 
Adapt code to use new tendermint_rpc crate
livelybug pushed a commit to octopus-network/ibc-rs that referenced this issue Oct 14, 2022
@liamsi
Merge pull request cosmos#116 from liamsi/ismail/113_tendermint_rpc
50ba7de 
Adapt code to use new tendermint_rpc crate
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@adizere adizere

Labels
S: docs Scope: improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@adizere