Commit 2753176
Everett Hildenbrandt
tests/proofs: update proofs submodule
1 parent d476a07 commit 2753176
1 file changed
+1
-1
lines changed- Makefile+16-1
- bihu/collectToken-spec.ini+6-3
- bihu/forwardToHotWallet-spec.ini+7-5
- bihu/spec-tmpl.k+2-1
- erc20/ds-token/ds-token-erc20-spec.ini+36-18
- erc20/hkg/README.md+2-2
- erc20/hkg/hkg-erc20-spec.ini+32-16
- erc20/hobby/README.md+1-1
- erc20/hobby/hobby-erc20-spec.ini+33-17
- erc20/spec-tmpl.k+5-4
- erc20/vyper/vyper-erc20-spec.ini+32-16
- erc20/zeppelin/zeppelin-erc20-spec.ini+55-18
0 commit comments