pr_list

Keeping track of opened pull requests to different open source projects on github. Not all of contributions end up merged.

• Apr 15, 2024, pessimistic-io/slitherin fix: object of type NoneType has no len() - PotentialArithmOverflow detector fail (merged)

• Mar 4, 2024, ConsenSysDiligence/napalm fix: docs command / add missing deps (merged)

• Jan 29, 2024, crytic/crytic-compile auto-generating solc-remaps file (merged)

• Nov 19, 2023, crytic/slither slither-function-tool (stale)