Commits

History for

Commits on Feb 22, 2023

Rename multi-abi to allContracts (#934)
arcz
authored
ff312a6

Commits on Feb 21, 2023

Fix W256 values parsing from config (#935)
arcz
authored
a1d718b

Commits on Feb 17, 2023

Update hevm to 0.50.3 (#942)
arcz
authored
640cc5b

Commits on Feb 15, 2023

Cleanup field underscores and improve naming (#928)
arcz
authored
157b6bf

Commits on Jan 28, 2023

Refactor test updating
arcz
committed
216f0cc

Commits on Jan 26, 2023

Allow to use the FFI cheatcode from HEVM in Echidna (#750)

gustavo-grieco
and
arcz
authored
89cbbb4

Commits on Jan 24, 2023

Code cleanup (#906)
arcz
authored
dceee29

Commits on Jan 12, 2023

Refactor and simplify code to not use Data.Has (#903)
arcz
authored
8dc4d40

Commits on Jan 3, 2023

Update hevm to 0.50.1 (#884)
arcz
authored
2a4d3c6

Commits on Dec 14, 2022

Initialize sender addresses from etheno transactions (#823)

gustavo-grieco
and
arcz
authored
e4cba78

Commits on Nov 10, 2022

Cleanup imports and extensions (#828)
arcz
authored
ce64385

Commits on Aug 12, 2022

Correctly decode non-utf8 strings from slither printer (#799)
gustavo-grieco
authored
9720865

Commits on Aug 11, 2022

Fix generation and mutation of extreme signed integers (#791)
gustavo-grieco
authored
1296aa6

Commits on Jun 27, 2022

Remove fallback from signature map when it is not defined (#772)
gustavo-grieco
authored
75162dc

Commits on May 19, 2022

Support for deployment of certain contracts in specific addresses (#758)
gustavo-grieco
authored
59c85d4

Commits on Mar 28, 2022

Expanded and improved command-line help (#741)
gustavo-grieco
authored
93ba164

Commits on Mar 21, 2022

Dapp mode fuzzing support (#733)
gustavo-grieco
authored
680bcb4

Commits on Mar 18, 2022

Generate more values closer to the maximum (#736)
gustavo-grieco
authored
a90c2c3

Commits on Feb 16, 2022

fix test (#726)
gustavo-grieco
authored
e3c25b6

Commits on Feb 11, 2022

Echidna 2.0 (#716)
gustavo-grieco
authored
31034fb

Commits on Nov 12, 2021

Fix incorrect function filtering when using assertion mode (#695)
arcz
authored
d1ae6ba

Commits on Jul 14, 2021

Fix source printing and update hevm to 0.47.0 (#678)
arcz
authored
25dfdad

Commits on Jun 17, 2021

Update hevm to 0.46.0 (#660)
arcz
authored
4aeffd4

Commits on May 15, 2021

Update Integration.hs (#667)
gustavo-grieco
authored
f8b4bdc

Commits on May 5, 2021

Automatically initialize addresses when used (#657)

gustavo-grieco
and
Will Song
authored
e531f05

Commits on Mar 2, 2021

First step to refactor the Test type (#622)
gustavo-grieco
authored
85f3318

Commits on Feb 22, 2021

More corpus mutations mutations (#372)
gustavo-grieco
authored
e179638

Commits on Feb 8, 2021

Source coverage printing after fuzzing campaign (#516)

gustavo-grieco
and
Will Song
authored
4e0a217
Enable use of coverage by default (#605)
gustavo-grieco
authored
5420a4f

Commits on Feb 2, 2021

Simplify slither info parsing (#543)
arcz
authored
a0509af

Commits on Feb 1, 2021

Use a sensible default value for block.gaslimit (#596)
gustavo-grieco
authored
f921595

Commits on Jan 28, 2021

Commits on Jan 25, 2021

Fixed wait bug when shrinking (#584)
gustavo-grieco
authored
081b2a1
Added funwithnumber example from Sabre (#565)
gustavo-grieco
authored
8ec126c