Dialect/EVM: split opcode frontend + executable interpreter from meta theory - #39

Dialect/EVM: split opcode frontend + executable interpreter from meta theory#39

chriseth merged 1 commit into

powdr-labs:mainpowdr-labs/yul-semantics:mainfrom

chris-ai1:agent/split-evm-dialect-mathlib-freechris-ai1/yul-semantics:agent/split-evm-dialect-mathlib-freeCopy head branch name to clipboard