Skip to content

Tags: KurogeWashu/echidna

Tags

v1.6.0

Release 1.6.0

v1.5.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
update for 1.5.1 (crytic#470)

v1.5.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1.5.0.0 -> 1.5.0 (crytic#431)

v1.4.0.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
update hevm to 0.37, echidna 1.4.0.1 (crytic#381)

v1.4.0.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update README.md (crytic#375)

v1.3.0.0

echidna 1.3.0.0

v1.2.0.0

Update changelog for release (crytic#331)

1.1.0.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request crytic#283 from crytic/change_default_to_include_d…

…elay

Default time/block number delays to max of one week

1.0.0.0

initial stable release (crytic#237)