Paul Berg
Paul Berg
Hi @Atarpara, thanks for that. Would you mind explaining how your gas saving works?
Hey @kadenzipfel, thanks so much for opening this PR. First off, great work with https://github.com/kadenzipfel/gas-optimizations! Though if I may suggest something, it may be useful [to add a Solidity pragma](https://github.com/kadenzipfel/gas-optimizations/issues/1)....
**Update**: as per this [comment](https://github.com/crytic/crytic-compile/issues/146#issuecomment-821056718), it looks like Solidity v0.8 is supported by Echidna.
Hi @sandybradley, thanks so much for creating these scripts. Can you provide a brief explanation for what you did here, and why do you think the execution failed?
> I think `115962837499224411198969207499961588040517688084412876519766` is the designed maximum input This is correct. > I'm sure there's a way to pass this in as the designed max, so the test passes...
Very interesting stuff, thanks for sharing.
Related, see these tweets: - [Is there a reason not to use "--via-ir"](https://twitter.com/paulrberg/status/1543538470760726533?s=46&t=mtOB7212mVandYJx_abUDA) - [Pascal's annotations](https://twitter.com/pcaversaccio/status/1575844396729180160?s=46&t=mtOB7212mVandYJx_abUDA)
I don't think it's a duplicate. What I'm proposing here is the ability to sort the chains by id in the UI, not in the source code.
@ashutoshpw that would be helpful!
> We don't even need to use `builds`. That's what I wanted to say in reply to your now striken-through text 😅 I just integrated your GitHub Action and skipped...