Skip to content

/ echidna

New pull request New
13 Open 278 Closed
13 Open 278 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
some simplifications
#513 opened Sep 11, 2020 by incertia • Draft
hevm 0.41
#511 opened Sep 9, 2020 by incertia • Review required
6
fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata
#510 opened Aug 24, 2020 by incertia • Review required
3
hlint stuff
#452 opened Apr 29, 2020 by incertia • Draft
Use Slither for constant extraction
enhancement performance
#451 opened Apr 28, 2020 by ggrieco-tob • Draft Q3 2020 (Version TBD)
1
Create new accounts to ensure they return zero balance
#443 opened Apr 22, 2020 by ggrieco-tob • Review required
1
6
Branch for research (DON'T MERGE)
#418 opened Apr 10, 2020 by ggrieco-tob • Draft
Support for solc 0.6.x
#383 opened Mar 25, 2020 by ggrieco-tob • Review required
6
More corpus mutations mutations
#372 opened Mar 14, 2020 by ggrieco-tob • Changes requested
30
Properly handle contract self-destruction
#364 opened Mar 6, 2020 by ggrieco-tob • Draft
Split echidna core types into several smaller modules
#340 opened Jan 14, 2020 by incertia • Draft
Obtain (and display) events during testing
#242 opened Jun 22, 2019 by ggrieco-tob • Draft
Support to execute the 'init_function' function after the constructor
#227 opened May 14, 2019 by ggrieco-tob • Review required
ProTip! Mix and match filters to narrow down what you’re looking for.
You can’t perform that action at this time.