crytic / echidna

4 Pull requests merged by 1 person

• Use more the values from the dictionary

  #538 merged Nov 9, 2020

• Added explicit delay in shrinking and improved pp functions

  #518 merged Nov 5, 2020

• Use Slither for constant extraction

  #451 merged Nov 5, 2020

• Warn the user if slither is not installed

  #535 merged Nov 4, 2020

4 Pull requests opened by 3 people

• Restrict the number of random addressed to a small number

  #540 opened Nov 6, 2020

• Added example from the ILF paper into the CI tests

  #541 opened Nov 7, 2020

• Simplify slither info parsing

  #543 opened Nov 9, 2020

• Allow to bypass EIP-170 and set up a custom max code size

  #544 opened Nov 9, 2020

4 Issues closed by 1 person

• Constant extraction broken with long integers

  #440 closed Nov 5, 2020

• Update hevm to 0.41.0

  #508 closed Nov 4, 2020

• Print a warning if Slither is not installed

  #519 closed Nov 4, 2020

• Does not test common edge cases for integer inputs

  #521 closed Nov 4, 2020

2 Issues opened by 2 people

• Allow to disable EIP-170

  #542 opened Nov 9, 2020

• Count coverage during contract deployment

  #539 opened Nov 5, 2020

6 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• dyld: Library not loaded: libff.dylib

  #522 commented on Nov 7, 2020 • 5 new comments

• Clean out any code that has been merged upstream into HEVM

  #489 commented on Nov 4, 2020 • 1 new comment

• More corpus mutations mutations

  #372 commented on Nov 3, 2020 • 0 new comments

• Improvements in the detection of failed tests

  #515 commented on Nov 5, 2020 • 0 new comments

• Source coverage printing after fuzzing campaign

  #516 commented on Nov 6, 2020 • 0 new comments

• GitHub Actions: improve macOS releases

  #527 commented on Nov 7, 2020 • 0 new comments