-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
943e55d
commit 0ab92a6
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule klab
updated
28 files
| +1 −2 | .gitignore | |
| +1 −1 | Makefile | |
| +9 −3 | README.md | |
| +7 −0 | acts.md | |
| +1 −1 | evm-semantics | |
| +20 −0 | examples/createContract/config.json | |
| +1 −0 | examples/createContract/dapp/out/dapp.sol.json | |
| +17 −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 | |
| +25 −0 | examples/createContract/src/spec.md | |
| +13 −0 | examples/createContract/src/storage.md | |
| +58 −20 | lib/build.js | |
| +1 −1 | lib/clean-evm-node.js | |
| +39 −43 | lib/kast.js | |
| +7 −1 | lib/kjson.js | |
| +1 −1 | lib/modules.js | |
| +2 −0 | lib/util.js | |
| +1 −1 | lib/view.js | |
| +29 −2 | libexec/klab-prove | |
| +0 −2 | 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 | |
| +18 −21 | resources/rules.k.tmpl |