karmacoma

I am getting hit by this, I have a hardhat test on [this branch](https://github.com/showtime-xyz/nft-editions/tree/hardhat-incorrect-parameters-repro) that passes with `viaIR: false` but fails with `viaIR: true`

@fvictorio can you give us some insight into why heuristics are needed at all? The data returned by REVERT is deterministic

Another script to mine salts by calling `cast create2` over ffi: https://github.com/karmacoma-eth/foundry-playground/blob/main/script/MineSaltScript.sol It feels a little odd to call cast over ffi and to parse the string output, I would...

@grandizzy I run with `fail_on_revert = false` failing on revert doesn't make sense for this invariant test, I am trying to see if benchmark can successfully find the sequence of...

I did not, I run it with defaults

Adding another datapoint here with the a16z/cicada codebase: ```sh git clone https://github.com/a16z/cicada cd cicada # works forge build --use 0.8.25 # does not work forge build --use 0.8.26 Error: Compiler...

@cameel not yet, there are dozens of assembly blocks and I need to check with the original author. We're going to pin back to 0.8.25 while we investigate