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

Prepare TLA+ specs for ICF deliverable #404

Closed
5 tasks done
istoilkovska opened this issue Nov 18, 2020 · 0 comments · Fixed by #409, #427 or #430
Closed
5 tasks done

Prepare TLA+ specs for ICF deliverable #404

istoilkovska opened this issue Nov 18, 2020 · 0 comments · Fixed by #409, #427 or #430
Assignees
@istoilkovska @josef-widder
Labels
I: spec Internal: related to IBC specifications
Milestone
v0.0.5

Comments

@istoilkovska
Copy link
Contributor

Summary

We are submitting the Relayer TLA+ spec (by renaming it to IBC Core TLA+ spec) and the ICS20 TLA+ spec as an ICF deliverable.

Proposal

Add more details into the README files, that would be useful for reviewing by the ICF. Add missing features in the TLA+ specs that were introduced in the ICS specs in the meantime.

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate milestone (priority) applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@istoilkovska istoilkovska

@josef-widder josef-widder

Labels
I: spec Internal: related to IBC specifications
Projects
None yet
Milestone
v0.0.5
2 participants
@istoilkovska @josef-widder