ibc
ibc copied to clipboard
ICS28: Reflect deferred unbonding completion in spec
Closes https://github.com/cosmos/ibc/issues/825
By the way, just a thought: I see huge value in preconditions, but postconditions on the otherhand seem to be largely a rewriting of the pseudocode. Might it make maintenance easier to get rid of postconditions?