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

Specify channel closing handshake in TLA+ #126

Closed
4 tasks done
istoilkovska opened this issue Jul 3, 2020 · 1 comment · Fixed by #141
Closed
4 tasks done

Specify channel closing handshake in TLA+ #126

istoilkovska opened this issue Jul 3, 2020 · 1 comment · Fixed by #141
Assignees
@istoilkovska
Labels
I: logic Internal: related to the relaying logic I: spec Internal: related to IBC specifications
Milestone
v0.0.4

Comments

@istoilkovska
Copy link
Contributor

istoilkovska commented Jul 3, 2020 •
edited
Loading

Summary

Specify creation and handling of channel closing datagrams in the relayer TLA+ specification.

Proposal

Add support for channel closing datagrams.

On the chain side:

  • add handlers for processing channel closing handshake datagrams

On the relayer side:

  • define operator for creating channel closing handshake datagrams

Properties:

  • ensure that closed channels cannot be reopened

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
@istoilkovska istoilkovska self-assigned this Jul 3, 2020
@istoilkovska istoilkovska added I: logic Internal: related to the relaying logic I: spec Internal: related to IBC specifications tla labels Jul 3, 2020
@istoilkovska istoilkovska added this to the 0.8-8mo milestone Jul 3, 2020
@adizere
Copy link
Member

adizere commented Jul 7, 2020

Please don't forget to cleanup the relayer spec by deleting the relayer-old directory, according to this comment.

@istoilkovska istoilkovska mentioned this issue Jul 10, 2020
Merged
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@istoilkovska istoilkovska

Labels
I: logic Internal: related to the relaying logic I: spec Internal: related to IBC specifications
Projects
None yet
Milestone
v0.0.4
Development

Successfully merging a pull request may close this issue.

Channel closing handshake informalsystems/hermes
2 participants
@adizere @istoilkovska