Skip to content

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

Merged
chriseth merged 1 commit into
powdr-labs:mainfrom
chris-ai1:agent/split-evm-dialect-mathlib-free
Jul 27, 2026
Merged

Dialect/EVM: split opcode frontend + executable interpreter from meta theory#39
chriseth merged 1 commit into
powdr-labs:mainfrom
chris-ai1:agent/split-evm-dialect-mathlib-free

Dialect/EVM: split opcode frontend + executable interpreter from meta…

dc92e2c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build & check
succeeded Jul 27, 2026 in 3m 29s