K formalization of the Yul language
Requires the same dependencies as evm-semantics
Build with:
make
Aim is to verify solidity compiler optimization steps.
Currently running some basic examples. Try for example ./kyulrun tests/simple/loopunoptimized.yul