Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
.vscode		.vscode
docs		docs
issue		issue
meta		meta
smartcheck		smartcheck
smartir		smartir
smartproof		smartproof
solidity		solidity
yul		yul
.gitattributes		.gitattributes
.gitignore		.gitignore
.rustfmt.toml		.rustfmt.toml
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
rust-toolchain.toml		rust-toolchain.toml

Repository files navigation

Verazt

Smart contract security toolkit.

Notes

Only support Solidity version >= 0.4.12