Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / crytic/diffusc issues and pull requests
#24 - Update README.md
Pull Request -
State: closed - Opened by montyly 11 months ago
#23 - Support state changes comparison for differential fuzzing
Issue -
State: closed - Opened by suxnju 12 months ago
Labels: enhancement
#22 - Fix failing CI, rename bin/echidna to bin/echidna-diffusc, and reintroduce copying bin/echidna-diffusc in installation instructions
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#21 - Dev debug failing CI fuzzing
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#20 - Remove dependency on echidna in path
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#19 - Update examples in README.md (#14) and always use `./bin/echidna` for fork mode (#15)
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#18 - Support filepaths starting with multiple '../'
Pull Request -
State: open - Opened by Zarfsec over 1 year ago
- 2 comments
#17 - [Bug-Candidate]: ERROR:CryticCompile:Invalid solc compilation Error: Identifier not found or not unique.
Issue -
State: closed - Opened by rappie over 1 year ago
- 2 comments
#16 - [Bug-Candidate]: Error downloading from bscscan
Issue -
State: open - Opened by rappie over 1 year ago
- 5 comments
#15 - Feature Request: No dependency on `echidna` in path
Issue -
State: closed - Opened by rappie over 1 year ago
- 5 comments
Labels: enhancement
#14 - Update examples in README.md
Pull Request -
State: closed - Opened by rappie over 1 year ago
#13 - Update prog name and desc for argparse
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#12 - Dev --> main
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#11 - Fix missing suffix in fork mode without proxy
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#10 - Fix version option
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#9 - Dev update pytests
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#8 - [Bug-Candidate]:
Issue -
State: open - Opened by emrsrb over 1 year ago
- 1 comment
#7 - [Bug-Candidate]: ERROR:CryticCompile:Invalid solc compilation Error: Undeclared identifier
Issue -
State: closed - Opened by rappie over 1 year ago
- 2 comments
#6 - echidna: VM failed for unhandled reason, BadCheatCode 0xef9c9aac
Issue -
State: closed - Opened by rappie over 1 year ago
- 7 comments
#5 - In fork/hybrid mode, avoid fetching main proxy impl twice
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#4 - Avoid fetching implementation ContractData for the main proxy, since we already have the necessary V1 and V2 ContractData
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#3 - Dev -> main
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#2 - Priority precedence
Pull Request -
State: closed - Opened by webthethird over 1 year ago
#1 - Minor linting, testing tweaks
Pull Request -
State: closed - Opened by webthethird over 1 year ago