benchmarks

Specs generated from https://github.com/denis-bogdanas/kevm-verify-benchmarks/tree/jenkins-support , for all directories starting with 0-. Originally developed by Suhabe Bugrara.

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
abstract-semantics-segmented-gas.k		abstract-semantics-segmented-gas.k
abstract-semantics.k		abstract-semantics.k
address00-spec.k		address00-spec.k
address00.sol		address00.sol
bytes00-spec.k		bytes00-spec.k
bytes00.sol		bytes00.sol
concrete-rules.txt		concrete-rules.txt
ecrec-symbolic.k		ecrec-symbolic.k
ecrecover00-siginvalid-spec.k		ecrecover00-siginvalid-spec.k
ecrecover00-sigvalid-spec.k		ecrecover00-sigvalid-spec.k
ecrecover00.sol		ecrecover00.sol
ecrecoverloop00-sig0-invalid-spec.k		ecrecoverloop00-sig0-invalid-spec.k
ecrecoverloop00-sig1-invalid-spec.k		ecrecoverloop00-sig1-invalid-spec.k
ecrecoverloop00-sigs-valid-spec.k		ecrecoverloop00-sigs-valid-spec.k
ecrecoverloop00.sol		ecrecoverloop00.sol
ecrecoverloop02-sig0-invalid-spec.k		ecrecoverloop02-sig0-invalid-spec.k
ecrecoverloop02-sig1-invalid-spec.k		ecrecoverloop02-sig1-invalid-spec.k
ecrecoverloop02-sigs-valid-spec.k		ecrecoverloop02-sigs-valid-spec.k
ecrecoverloop02.sol		ecrecoverloop02.sol
edsl-static-array.k		edsl-static-array.k
encode_keccak00-spec.k		encode_keccak00-spec.k
encode_keccak00.sol		encode_keccak00.sol
encodepacked_keccak01-spec.k		encodepacked_keccak01-spec.k
encodepacked_keccak01.sol		encodepacked_keccak01.sol
evm-data-map-symbolic.k		evm-data-map-symbolic.k
evm-symbolic.k		evm-symbolic.k
evm.smt2		evm.smt2
keccak00-spec.k		keccak00-spec.k
keccak00.sol		keccak00.sol
lemmas.k		lemmas.k
overflow00-nooverflow-spec.k		overflow00-nooverflow-spec.k
overflow00-overflow-spec.k		overflow00-overflow-spec.k
overflow00.sol		overflow00.sol
requires01-a0gt0-spec.k		requires01-a0gt0-spec.k
requires01-a0le0-spec.k		requires01-a0le0-spec.k
requires01.sol		requires01.sol
staticarray00-spec.k		staticarray00-spec.k
staticarray00.sol		staticarray00.sol
staticloop00-a0lt10-spec.k		staticloop00-a0lt10-spec.k
staticloop00.sol		staticloop00.sol
storagevar00-spec.k		storagevar00-spec.k
storagevar00.sol		storagevar00.sol
storagevar01-spec.k		storagevar01-spec.k
storagevar01.sol		storagevar01.sol
storagevar02-nooverflow-spec.k		storagevar02-nooverflow-spec.k
storagevar02-overflow-spec.k		storagevar02-overflow-spec.k
storagevar02.sol		storagevar02.sol
storagevar03-spec.k		storagevar03-spec.k
storagevar03.sol		storagevar03.sol
verification.k		verification.k

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

README.md

Uh oh!

FilesExpand file tree

benchmarks

Directory actions

More options

Directory actions

More options

Latest commit

History

benchmarks

Folders and files

parent directory

README.md