-
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
af684ca
commit 7ccd34f
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule klab
updated
15 files
| +1 −1 | Makefile | |
| +10 −1 | acts.md | |
| +1 −1 | evm-semantics | |
| +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 | |
| +53 −0 | lib/build.js | |
| +0 −1 | lib/storage.js | |
| +7 −5 | libexec/klab-build-js | |
| +1 −2 | libexec/klab-prove-all | |
| +19 −4 | libexec/klab-setup-ci-project | |
| +3 −7 | resources/rules.k.tmpl |