Skip to content

refactor(irverify): read declarations once per Verify run - #290

Merged
OmarAlJarrah merged 4 commits into
mainfrom
fix/ir-declaration-walk-reuse
Aug 6, 2026
Merged

refactor(irverify): read declarations once per Verify run#290
OmarAlJarrah merged 4 commits into
mainfrom
fix/ir-declaration-walk-reuse

docs(irverify): drop a drifting ratio and a memoization implication

1df07c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar