perf(compiler): consume value-range tags in EVM bool/compare/bitwise lowering - #534

Merged

zoowii merged 7 commits into

DTVMStack:mainfrom

abmcar:perf/evm-range-lowering-gaps

Jun 26, 2026

Commits on Jun 24, 2026

perf(compiler): consume value-range tags in EVM bool/compare/bitwise lowering

abmcar
and
claude
committed
docs(compiler): add range-lowering-gaps change document

abmcar
and
claude
committed
docs(compiler): translate change document to English

abmcar
and
claude
committed
docs(compiler): note overlap with upstream #532/#524 after rebase

abmcar
and
claude
committed
docs(docs): mark range-lowering-gaps doc implemented and fix reproduce step

abmcar
and
claude
committed
test: move differential suite to the consolidated test change

abmcar
and
claude
committed
docs: replace instrumentation labels and review narrative in range doc

abmcar
and
claude
committed