dxo

> Log querying is broken in ethereum Curious about this, what do you mean by broken? I am also very interested in avoiding any queries to 3rd party services. I...

Thanks for such a detailed answer :slightly_smiling_face: > In theory the user could have their own archive node, and run their own graph nodes and index subgraphs. We could add...

Yes, would like this too. I've been wanting to implement something like an `hevm.callFrom` for a while.

Some inspiration for mutations: - https://lcamtuf.blogspot.com/2014/08/binary-fuzzing-strategies-what-works.html - https://github.com/crytic/echidna/blob/185ee196f46467128a928bfbd6c90b31d623bb59/lib/Echidna/ABI.hs - https://github.com/crytic/echidna/blob/master/lib/Echidna/Mutator/Array.hs

As discussed in chat, an alternative approach here might be to generate an access list for the tx and then use this to determine which sources to fetch.

I think we need to rewrite bundle source to write the source to a temp file on disk instead of using env vars

I think it probably depends on the use case, but at least for hevm we've generally found cvc4 to be faster, especially for cases where calldata is completely abstract (e.g....

As discussed in https://github.com/dapphub/dapptools/issues/715#issuecomment-891319804, solc can throw errors for contracts that make use of multiple inheritance if multiple versions of the same contract exist in the inheritance tree. I therefore...

Added: - A legacy compatibility mode that allows direct imports from transitive dependencies if there is only a single version of that dependency in the tree - A fallback `sha256sum`...

Added docs & changelog entry.