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