Search results

Investigate support for temporal logic properties

Status: Open.

#23 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on Sep 18, 2025

Reimplement damn-vulnerable-defi-halmos using the new symbolic execution capabilities

good first issueGood for newcomersGood for newcomers

sym-exec

Status: Open.

#21 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on Aug 31, 2025

Experiment with dynamic sizes for sequences of transaction

scheduling

Status: Open.

#17 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 12, 2025

Investigate EPA state as an alternative to coverage

coverage

Status: Open.

#16 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 5, 2025

Snapshot the VM at different points of each transaction sequence to mutate, to speed up the replay

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 1, 2025

Better integration between corpus mutation and optimization mode

optimization

Status: Open.

#13 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 1, 2025

Remove <code>coverage</code> config option

legacy

Status: Open.

#12 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 1, 2025

Remove dapptest and overflow mode

legacy

Status: Open.

#11 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on May 1, 2025

Consider changing coverage notion to use PC pairs (src,dst)

coverage

Status: Open.

#9 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on Apr 30, 2025

Experiment with multi-armed bandit corpus scheduling

scheduling

Status: Open.

#8 In gustavo-grieco/echidna-xp;

· gustavo-grieco opened on Apr 30, 2025