Merge pull request #46 from dapp-org/bump-klab · dapp-org/k-uniswap-v2@413e73a

Commit

Merge pull request #46 from dapp-org/bump-klab

deps: klab: use tag kevm-v1.0.0-3efa855-forked

asymmetric authored Feb 26, 2020

2 parents 9f1884a + aee1905 commit 413e73a

deps/klab

Submodule klab updated 37 files

+1 −2		.gitignore
+1 −1		Makefile
+9 −3		README.md
+17 −1		acts.md
+1 −1		evm-semantics
+20 −0		examples/createContract/config.json
+1 −0		examples/createContract/dapp/out/dapp.sol.json
+33 −0		examples/createContract/dapp/src/createContract.sol
+0 −0		examples/createContract/src/lemmas.k.md
+0 −0		examples/createContract/src/out/dapp.sol.json
+29 −0		examples/createContract/src/prelude.smt2.md
+83 −0		examples/createContract/src/spec.md
+23 −0		examples/createContract/src/storage.md
+16 −0		examples/where/config.json
+1 −0		examples/where/dapp/out/dapp.sol.json
+19 −0		examples/where/dapp/src/Calculate.sol
+5 −0		examples/where/src/lemmas.k.md
+2 −0		examples/where/src/prelude.smt2.md
+22 −0		examples/where/src/specification.act.md
+118 −20		lib/build.js
+1 −1		lib/clean-evm-node.js
+3 −0		lib/config.js
+39 −43		lib/kast.js
+7 −1		lib/kjson.js
+1 −1		lib/modules.js
+0 −1		lib/storage.js
+1 −1		lib/view.js
+15 −9		libexec/klab-build-js
+28 −2		libexec/klab-prove
+4 −2		libexec/klab-prove-all
+17 −4		libexec/klab-setup-ci-project
+1,926 −0		package-lock.json
+1 −1		package.json
+22 −20		resources/k.json
+2 −2		resources/overview.js
+5 −0		resources/overview.scss
+22 −28		resources/rules.k.tmpl

Please sign in to comment.