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

…nformalsystems#141)
hu55a1n1 · Jul 22, 2020 · 80db8d9 · 80db8d9
1 parent fde0c56
commit 80db8d9
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