Commit 80e73f5
Everett Hildenbrandt
tests/proofs: update proofs submodule
1 parent 403f0b3 commit 80e73f5
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+1
- erc20/ds-token/ds-token-erc20-spec.ini+27-18
- erc20/hkg/README.md+2-2
- erc20/hkg/hkg-erc20-spec.ini+24-16
- erc20/hobby/README.md+1-1
- erc20/hobby/hobby-erc20-spec.ini+25-17
- erc20/spec-tmpl.k+5-4
- erc20/vyper/vyper-erc20-spec.ini+24-16
- erc20/zeppelin/zeppelin-erc20-spec.ini+47-18
0 commit comments