yools
yools copied to clipboard
leonardoalt
Tools for Yul.
We should have a foundry mode which: - Understands the Foundry dir structure - Looks for `*.t.sol` files - For each of these files, requires the `--ir` output - Looks...
If the file passed to `yools symbolic -i a.sol` is a Solidity file, we should compile it to Yul and run symbolic on the generate code.
`define-const` is actually not smtlib2 and some solvers won't support that (here I'm referring to Bitwuzla). We should replace it by `define-fun` which is in the standard. Same for `declare-const...