Ethereum smart contract fuzzer

ethereumsmart-contractssolidityevmsecurityfuzzertesting

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Emilio López 65ecb1cb76 Update nixpkgs for Echidna 2.0 (#717) ... * Bump echidna version to 2.0.0 * Upgrade hevm to 0.49 * Fix bundling by using matching nixpkgs * Re-enable nix build on CI		3 years ago
..
scripts	MacOS Compatibility (#688)	3 years ago
workflows	Update nixpkgs for Echidna 2.0 (#717)	3 years ago