try with symbolic padRightToWidth · dapp-org/k-uniswap-v2@13cdf4e

Commit

try with symbolic padRightToWidth

Browse files

d-xo authored and asymmetric committed Feb 25, 2020

1 parent d4fd813 commit 13cdf4e

+1 −1		examples/createContract/dapp/out/dapp.sol.json
+20 −4		examples/createContract/dapp/src/createContract.sol
+63 −5		examples/createContract/src/spec.md
+12 −2		examples/createContract/src/storage.md
+8 −1		lib/build.js
+3 −0		lib/config.js
+10 −6		libexec/klab-build-js
+1 −2		libexec/klab-prove
+2 −0		libexec/klab-prove-all
+2 −1		resources/rules.k.tmpl