Commit a9f4747
Everett Hildenbrandt
tests/proofs: update proofs submodule
1 parent f932351 commit a9f4747
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