feat: translate the match patterns step by step, to handle ref/deref

formal-land · Dec 29, 2023 · 3f1ca6f · 3f1ca6f
1 parent dff859d
commit 3f1ca6f
Show file tree

Hide file tree

Showing 138 changed files with 8,804 additions and 7,446 deletions.
diff --git a/CoqOfRust/blacklist.txt b/CoqOfRust/blacklist.txt
@@ -1,6 +1,12 @@
 # recently added
 examples/default/examples/custom_types/enums_type_aliases_v2.v
+examples/default/examples/ink_contracts/erc20.v
+examples/default/examples/ink_contracts/lang_err_integration_tests/call_builder.v
+examples/default/examples/ink_contracts/payment_channel.v
+examples/default/examples/ink_contracts/Proofs/erc20.v
+examples/default/examples/ink_contracts/Simulations/erc20.v
 examples/default/examples/ink_contracts/trait_erc20.v
+examples/default/examples/ink_contracts/wildcard_selector.v
 # blacklisting ink smart contracts
 examples/default/examples/ink_contracts/erc1155.v
 examples/default/examples/ink_contracts/erc721.v