Skip to content

Prepare TLA+ specs for ICF deliverable #404

New issue
New issue
Closed
Closed
Prepare TLA+ specs for ICF deliverable#404
#430 (+2)
Assignees
istoilkovskajosef-widder
Labels
I: specInternal: related to IBC specifications
Milestone
 
v0.0.5
@istoilkovska

Description

@istoilkovska
istoilkovska
opened on Nov 18, 2020

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

Activity

istoilkovska
added
I: specInternal: related to IBC specifications
on Nov 18, 2020
istoilkovska
added this to the v0.0.5 milestone on Nov 18, 2020
istoilkovska
assigned
istoilkovska
and
josef-widder
on Nov 18, 2020
istoilkovska
mentioned this on Nov 23, 2020
istoilkovska
closed this as completedin #409on Nov 26, 2020
istoilkovska
mentioned this in 2 pull requests on Dec 1, 2020
adizere
mentioned this on Jan 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

I: specInternal: related to IBC specifications

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

Participants

@istoilkovska@josef-widder

Issue actions
    Prepare TLA+ specs for ICF deliverable · Issue #404 · informalsystems/hermes