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

TLA+ for IBC Connection handshake #4

Closed
ancazamfir opened this issue Feb 26, 2020 · 1 comment
Closed

TLA+ for IBC Connection handshake #4

ancazamfir opened this issue Feb 26, 2020 · 1 comment
Assignees
@romac @adizere @istoilkovska
Milestone
0.5-5mo

Comments

@ancazamfir
Copy link
Collaborator

ancazamfir commented Feb 26, 2020 •
edited
Loading

TLA+ for IBC Connection handshake english spec
@ancazamfir ancazamfir assigned adizere and romac and unassigned adizere Feb 27, 2020
@ancazamfir ancazamfir added this to the 0.1-3wk milestone Feb 27, 2020
@adizere adizere mentioned this issue Mar 17, 2020
Closed
11 tasks
@ancazamfir ancazamfir modified the milestones: 0.1-3wk, 0.2-5wk, 0.4-4mo Mar 24, 2020
@adizere adizere mentioned this issue Apr 21, 2020
Merged
6 tasks
@ancazamfir ancazamfir modified the milestones: 0.4-4mo, 0.5-5mo May 22, 2020
@adizere
Copy link
Member

adizere commented May 28, 2020

Closed by #58.

@adizere adizere closed this as completed May 28, 2020
SangyunOck added a commit to validance/ibc-rs that referenced this issue Nov 17, 2022
@SangyunOck
refactor: review #1~informalsystems#4
1a913fa
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@romac romac

@adizere adizere

@istoilkovska istoilkovska

Labels
None yet
Projects
None yet
Milestone
0.5-5mo
Development

No branches or pull requests
4 participants
@romac @adizere @ancazamfir @istoilkovska