Paul Berg
Paul Berg
OK, let's close this. I'm hopeful that someday, we will find the time to properly explore SMTChecker.
Fantastic, thanks for the color, @mds1.
This would also be useful for long-winded end-to-end fork tests that also fuzz inputs, since they can take a long time to run.
As discussed previously, we will review and merge this PR after the private audit is finished.
Sorry, I missed the previous comment. Yeah we can close this.
Nope, it shouldn't
> I think they might bump the ordering of any custom lists of which the target location is already a member Can confirm this behavior. I ran @robinnorth's tool over...
Is it possible to disable the automatic comments? We'd like to keep using the Codecov GitHub app (so that our `codecov.yml` file gets synced with Codecov) but not receive the...
Thank you SO MUCH for doing this, guys! I will review this in detail in a few weeks, but I want to mention upfront that it would be super duper...
Oh, yes, I forgot that Slither doesn't support operators just yet. In this case, it should be fine to keep targeting V3 for a while, though we should keep in...