removed relayer-old and added support for channel closing handshake (#…

…141)
informalsystems · Jul 22, 2020 · d6c53f4 · d6c53f4
1 parent 96ee973
commit d6c53f4
Show file tree

Hide file tree

Showing 12 changed files with 169 additions and 1,600 deletions.
diff --git a/docs/spec/relayer-old/ChannelHandlers.tla b/docs/spec/relayer-old/ChannelHandlers.tla
diff --git a/docs/spec/relayer-old/ClientHandlers.tla b/docs/spec/relayer-old/ClientHandlers.tla