├── .envrc ├── .gitattributes ├── .gitignore ├── .gitmodules ├── COPYING ├── Makefile ├── README.md ├── acts.md ├── bin └── klab ├── env ├── examples ├── SafeAdd │ ├── README.md │ ├── config.json │ ├── dapp │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── SafeAdd.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── prelude.smt2.md │ │ └── specification.act.md ├── createContract │ ├── config.json │ ├── dapp │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── createContract.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── out │ │ └── dapp.sol.json │ │ ├── prelude.smt2.md │ │ ├── spec.md │ │ └── storage.md ├── heal │ ├── config.json │ ├── dapp │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── vat.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── prelude.smt2.md │ │ ├── spec.md │ │ └── storage.k.md ├── multipleCalls │ ├── config.json │ ├── dapp │ │ ├── README.md │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── easyNest.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── prelude.smt2.md │ │ ├── specification.act.md │ │ └── storage.k.md ├── multipleInternals │ ├── README.md │ ├── config.json │ ├── dapp │ │ ├── README.md │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── constant.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── prelude.smt2.md │ │ ├── specification.act.md │ │ └── storage.k.md ├── token │ ├── config.json │ ├── dapp │ │ ├── out │ │ │ └── dapp.sol.json │ │ └── src │ │ │ └── token.sol │ └── src │ │ ├── lemmas.k.md │ │ ├── prelude.smt2.md │ │ ├── spec.md │ │ └── storage.md └── where │ ├── config.json │ ├── dapp │ ├── out │ │ └── dapp.sol.json │ └── src │ │ └── Calculate.sol │ └── src │ ├── lemmas.k.md │ ├── prelude.smt2.md │ ├── specification.act.md │ └── storage.k.md ├── haskell ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── brokenexamples │ ├── gas.json │ ├── gas2.json │ └── gas3.json ├── default.nix ├── examples │ ├── 1.kast.json │ ├── 2.kast.json │ ├── 3.kast.json │ ├── Token_transfer_pass.kast.json │ └── Vow_heal_pass.kast.json ├── k-gas-analyser.cabal ├── shell.nix └── src │ ├── Analyser.hs │ ├── Gas.hs │ ├── Kast.hs │ ├── KastParse.hs │ ├── Solver.hs │ └── Test.hs ├── klab.nix ├── lib ├── behavior.js ├── build.js ├── clean-evm-node.js ├── compile.js ├── config.js ├── constraints.js ├── driver │ ├── cliDriver.js │ └── dbDriver.js ├── evm.json ├── evmv.js ├── exec.js ├── format.js ├── formatmemory.js ├── kast.js ├── kjson.js ├── link.js ├── locale.js ├── modules.js ├── move.js ├── pull.js ├── pure.js ├── rule.js ├── srchandler.js ├── state.js ├── storage.js ├── util.js └── view.js ├── libexec ├── klab-build ├── klab-build-js ├── klab-bundle ├── klab-compress ├── klab-debug ├── klab-evm ├── klab-experience ├── klab-fetch ├── klab-focus ├── klab-gc ├── klab-get-build-id ├── klab-get-gas ├── klab-get-lemmas ├── klab-get-refund ├── klab-get-x ├── klab-hash ├── klab-help ├── klab-prove ├── klab-prove-all ├── klab-report ├── klab-setup-ci-project ├── klab-solve-gas ├── klab-status ├── klab-storage └── klab-summary ├── package.json ├── resources ├── k.json ├── overview.css ├── overview.html ├── overview.js ├── overview.scss ├── redirect.tmp.html ├── report.css ├── report.css.map ├── report.map ├── report.scss ├── report.tmp.csstmp.html ├── report.tmp.html ├── rules.k.tmpl └── zsh │ └── _klab └── shell.nix /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/.envrc -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/.gitmodules -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/COPYING -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/README.md -------------------------------------------------------------------------------- /acts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/acts.md -------------------------------------------------------------------------------- /bin/klab: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | "${0%/*}/../libexec/${0##*/}-${1-help}" "${@:2}" 3 | -------------------------------------------------------------------------------- /env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/env -------------------------------------------------------------------------------- /examples/SafeAdd/README.md: -------------------------------------------------------------------------------- 1 | Run `klab run` to explore this proof 2 | -------------------------------------------------------------------------------- /examples/SafeAdd/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/SafeAdd/config.json -------------------------------------------------------------------------------- /examples/SafeAdd/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/SafeAdd/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/SafeAdd/dapp/src/SafeAdd.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/SafeAdd/dapp/src/SafeAdd.sol -------------------------------------------------------------------------------- /examples/SafeAdd/src/lemmas.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/SafeAdd/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/SafeAdd/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/SafeAdd/src/specification.act.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/SafeAdd/src/specification.act.md -------------------------------------------------------------------------------- /examples/createContract/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/config.json -------------------------------------------------------------------------------- /examples/createContract/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/createContract/dapp/src/createContract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/dapp/src/createContract.sol -------------------------------------------------------------------------------- /examples/createContract/src/lemmas.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/createContract/src/out/dapp.sol.json: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/createContract/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/createContract/src/spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/src/spec.md -------------------------------------------------------------------------------- /examples/createContract/src/storage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/createContract/src/storage.md -------------------------------------------------------------------------------- /examples/heal/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/config.json -------------------------------------------------------------------------------- /examples/heal/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/heal/dapp/src/vat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/dapp/src/vat.sol -------------------------------------------------------------------------------- /examples/heal/src/lemmas.k.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/src/lemmas.k.md -------------------------------------------------------------------------------- /examples/heal/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/heal/src/spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/src/spec.md -------------------------------------------------------------------------------- /examples/heal/src/storage.k.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/heal/src/storage.k.md -------------------------------------------------------------------------------- /examples/multipleCalls/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/config.json -------------------------------------------------------------------------------- /examples/multipleCalls/dapp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/dapp/README.md -------------------------------------------------------------------------------- /examples/multipleCalls/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/multipleCalls/dapp/src/easyNest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/dapp/src/easyNest.sol -------------------------------------------------------------------------------- /examples/multipleCalls/src/lemmas.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/multipleCalls/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/multipleCalls/src/specification.act.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleCalls/src/specification.act.md -------------------------------------------------------------------------------- /examples/multipleCalls/src/storage.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/multipleInternals/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/README.md -------------------------------------------------------------------------------- /examples/multipleInternals/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/config.json -------------------------------------------------------------------------------- /examples/multipleInternals/dapp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/dapp/README.md -------------------------------------------------------------------------------- /examples/multipleInternals/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/multipleInternals/dapp/src/constant.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/dapp/src/constant.sol -------------------------------------------------------------------------------- /examples/multipleInternals/src/lemmas.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/multipleInternals/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/multipleInternals/src/specification.act.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/multipleInternals/src/specification.act.md -------------------------------------------------------------------------------- /examples/multipleInternals/src/storage.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/token/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/config.json -------------------------------------------------------------------------------- /examples/token/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/token/dapp/src/token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/dapp/src/token.sol -------------------------------------------------------------------------------- /examples/token/src/lemmas.k.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/token/src/prelude.smt2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/src/prelude.smt2.md -------------------------------------------------------------------------------- /examples/token/src/spec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/src/spec.md -------------------------------------------------------------------------------- /examples/token/src/storage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/token/src/storage.md -------------------------------------------------------------------------------- /examples/where/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/config.json -------------------------------------------------------------------------------- /examples/where/dapp/out/dapp.sol.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/dapp/out/dapp.sol.json -------------------------------------------------------------------------------- /examples/where/dapp/src/Calculate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/dapp/src/Calculate.sol -------------------------------------------------------------------------------- /examples/where/src/lemmas.k.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/src/lemmas.k.md -------------------------------------------------------------------------------- /examples/where/src/prelude.smt2.md: -------------------------------------------------------------------------------- 1 | ```smt2 2 | ``` 3 | -------------------------------------------------------------------------------- /examples/where/src/specification.act.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/src/specification.act.md -------------------------------------------------------------------------------- /examples/where/src/storage.k.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/examples/where/src/storage.k.md -------------------------------------------------------------------------------- /haskell/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/LICENSE -------------------------------------------------------------------------------- /haskell/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/Makefile -------------------------------------------------------------------------------- /haskell/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/README.md -------------------------------------------------------------------------------- /haskell/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /haskell/brokenexamples/gas.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/brokenexamples/gas.json -------------------------------------------------------------------------------- /haskell/brokenexamples/gas2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/brokenexamples/gas2.json -------------------------------------------------------------------------------- /haskell/brokenexamples/gas3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/brokenexamples/gas3.json -------------------------------------------------------------------------------- /haskell/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/default.nix -------------------------------------------------------------------------------- /haskell/examples/1.kast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/examples/1.kast.json -------------------------------------------------------------------------------- /haskell/examples/2.kast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/examples/2.kast.json -------------------------------------------------------------------------------- /haskell/examples/3.kast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/examples/3.kast.json -------------------------------------------------------------------------------- /haskell/examples/Token_transfer_pass.kast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/examples/Token_transfer_pass.kast.json -------------------------------------------------------------------------------- /haskell/examples/Vow_heal_pass.kast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/examples/Vow_heal_pass.kast.json -------------------------------------------------------------------------------- /haskell/k-gas-analyser.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/k-gas-analyser.cabal -------------------------------------------------------------------------------- /haskell/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/shell.nix -------------------------------------------------------------------------------- /haskell/src/Analyser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/Analyser.hs -------------------------------------------------------------------------------- /haskell/src/Gas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/Gas.hs -------------------------------------------------------------------------------- /haskell/src/Kast.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/Kast.hs -------------------------------------------------------------------------------- /haskell/src/KastParse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/KastParse.hs -------------------------------------------------------------------------------- /haskell/src/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/Solver.hs -------------------------------------------------------------------------------- /haskell/src/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/haskell/src/Test.hs -------------------------------------------------------------------------------- /klab.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/klab.nix -------------------------------------------------------------------------------- /lib/behavior.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/behavior.js -------------------------------------------------------------------------------- /lib/build.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/build.js -------------------------------------------------------------------------------- /lib/clean-evm-node.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/clean-evm-node.js -------------------------------------------------------------------------------- /lib/compile.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/compile.js -------------------------------------------------------------------------------- /lib/config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/config.js -------------------------------------------------------------------------------- /lib/constraints.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/constraints.js -------------------------------------------------------------------------------- /lib/driver/cliDriver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/driver/cliDriver.js -------------------------------------------------------------------------------- /lib/driver/dbDriver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/driver/dbDriver.js -------------------------------------------------------------------------------- /lib/evm.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/evm.json -------------------------------------------------------------------------------- /lib/evmv.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/evmv.js -------------------------------------------------------------------------------- /lib/exec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/exec.js -------------------------------------------------------------------------------- /lib/format.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/format.js -------------------------------------------------------------------------------- /lib/formatmemory.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/formatmemory.js -------------------------------------------------------------------------------- /lib/kast.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/kast.js -------------------------------------------------------------------------------- /lib/kjson.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/kjson.js -------------------------------------------------------------------------------- /lib/link.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/link.js -------------------------------------------------------------------------------- /lib/locale.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/locale.js -------------------------------------------------------------------------------- /lib/modules.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/modules.js -------------------------------------------------------------------------------- /lib/move.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/move.js -------------------------------------------------------------------------------- /lib/pull.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/pull.js -------------------------------------------------------------------------------- /lib/pure.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/pure.js -------------------------------------------------------------------------------- /lib/rule.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/rule.js -------------------------------------------------------------------------------- /lib/srchandler.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/srchandler.js -------------------------------------------------------------------------------- /lib/state.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/state.js -------------------------------------------------------------------------------- /lib/storage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/storage.js -------------------------------------------------------------------------------- /lib/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/util.js -------------------------------------------------------------------------------- /lib/view.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/lib/view.js -------------------------------------------------------------------------------- /libexec/klab-build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-build -------------------------------------------------------------------------------- /libexec/klab-build-js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-build-js -------------------------------------------------------------------------------- /libexec/klab-bundle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-bundle -------------------------------------------------------------------------------- /libexec/klab-compress: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-compress -------------------------------------------------------------------------------- /libexec/klab-debug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-debug -------------------------------------------------------------------------------- /libexec/klab-evm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-evm -------------------------------------------------------------------------------- /libexec/klab-experience: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | klab prove-all "$@" 4 | -------------------------------------------------------------------------------- /libexec/klab-fetch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-fetch -------------------------------------------------------------------------------- /libexec/klab-focus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-focus -------------------------------------------------------------------------------- /libexec/klab-gc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-gc -------------------------------------------------------------------------------- /libexec/klab-get-build-id: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-get-build-id -------------------------------------------------------------------------------- /libexec/klab-get-gas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-get-gas -------------------------------------------------------------------------------- /libexec/klab-get-lemmas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-get-lemmas -------------------------------------------------------------------------------- /libexec/klab-get-refund: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-get-refund -------------------------------------------------------------------------------- /libexec/klab-get-x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-get-x -------------------------------------------------------------------------------- /libexec/klab-hash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-hash -------------------------------------------------------------------------------- /libexec/klab-help: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-help -------------------------------------------------------------------------------- /libexec/klab-prove: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-prove -------------------------------------------------------------------------------- /libexec/klab-prove-all: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-prove-all -------------------------------------------------------------------------------- /libexec/klab-report: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-report -------------------------------------------------------------------------------- /libexec/klab-setup-ci-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-setup-ci-project -------------------------------------------------------------------------------- /libexec/klab-solve-gas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-solve-gas -------------------------------------------------------------------------------- /libexec/klab-status: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-status -------------------------------------------------------------------------------- /libexec/klab-storage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-storage -------------------------------------------------------------------------------- /libexec/klab-summary: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/libexec/klab-summary -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/package.json -------------------------------------------------------------------------------- /resources/k.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/k.json -------------------------------------------------------------------------------- /resources/overview.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/overview.css -------------------------------------------------------------------------------- /resources/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/overview.html -------------------------------------------------------------------------------- /resources/overview.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/overview.js -------------------------------------------------------------------------------- /resources/overview.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/overview.scss -------------------------------------------------------------------------------- /resources/redirect.tmp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/redirect.tmp.html -------------------------------------------------------------------------------- /resources/report.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.css -------------------------------------------------------------------------------- /resources/report.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.css.map -------------------------------------------------------------------------------- /resources/report.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.map -------------------------------------------------------------------------------- /resources/report.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.scss -------------------------------------------------------------------------------- /resources/report.tmp.csstmp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.tmp.csstmp.html -------------------------------------------------------------------------------- /resources/report.tmp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/report.tmp.html -------------------------------------------------------------------------------- /resources/rules.k.tmpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/rules.k.tmpl -------------------------------------------------------------------------------- /resources/zsh/_klab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/resources/zsh/_klab -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dapphub/klab/HEAD/shell.nix --------------------------------------------------------------------------------