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

…141)
informalsystems · Jul 29, 2020 · a6d622d · a6d622d
1 parent 37bd5aa
commit a6d622d
Show file tree

Hide file tree

Showing 12 changed files with 168 additions and 1,599 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