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 Relayer Algorithms #5

Closed
ancazamfir opened this issue Feb 26, 2020 · 1 comment · Fixed by #39
Closed

TLA+ for Relayer Algorithms #5

ancazamfir opened this issue Feb 26, 2020 · 1 comment · Fixed by #39
Assignees
@milosevic @ancazamfir @istoilkovska
Labels
I: logic Internal: related to the relaying logic
Milestone
0.5-5mo

Comments

@ancazamfir
Copy link
Collaborator

ancazamfir commented Feb 26, 2020 •
edited by ebuchman
Loading

TLA+ for Relayer Algorithms, see spec
@ancazamfir ancazamfir added I: logic Internal: related to the relaying logic tla+ labels Feb 27, 2020
@ancazamfir ancazamfir added this to the 0.1-3wk milestone Feb 27, 2020
@istoilkovska istoilkovska mentioned this issue Mar 18, 2020
Merged
5 tasks
@ancazamfir ancazamfir modified the milestones: 0.1-3wk, 0.2-5wk, 0.3-3mo Mar 24, 2020
@istoilkovska istoilkovska reopened this Apr 8, 2020
@ancazamfir ancazamfir modified the milestones: 0.3-3mo, 0.4-4mo Apr 14, 2020
@istoilkovska istoilkovska mentioned this issue Apr 15, 2020
Merged
6 tasks
@ancazamfir ancazamfir modified the milestones: 0.4-4mo, 0.5-5mo May 22, 2020
@ancazamfir
Copy link
Collaborator Author

Closed by #55

noot added a commit to noot/hermes that referenced this issue Sep 16, 2024
@noot
bump astria and penumbra deps (informalsystems#5)
2813f96 
* bump astria and penumbra deps

* bump astria dep to latest

* address comments

* update todo
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@milosevic milosevic

@ancazamfir ancazamfir

@istoilkovska istoilkovska

Labels
I: logic Internal: related to the relaying logic
Projects
None yet
Milestone
0.5-5mo
Development

Successfully merging a pull request may close this issue.

[WIP] TLA+ specification of the Relayer algorthm informalsystems/hermes
3 participants
@milosevic @ancazamfir @istoilkovska