Upgrade IBC-rs TLA+ MBT models to modern Apalache type annotations (i…

…nformalsystems#1545) * types for IBCDefinitions.tla * types for ICS02.tla * types for ICS03.tla * types for IBC.tla * test config for apalache * revert inv for testing Apalache * add unclog entry
hu55a1n1 · Nov 5, 2021 · 06c79f9 · 06c79f9
1 parent 2678673
commit 06c79f9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.changelog/unreleased/improvements/1544-typed-tla-mbt-specs.md b/.changelog/unreleased/improvements/1544-typed-tla-mbt-specs.md
@@ -0,0 +1,2 @@
+- Upgrade IBC-rs TLA+ MBT models to modern Apalache type annotations
+  ([#1544](https://github.com/informalsystems/ibc-rs/issues/1544))