Skip to content

feat(rules): unsafe reaches foreign defs, fuel sees U32.to_nat, bend 2.0.34 text - #219

Merged
noah-emp merged 1 commit into
mainfrom
feat/rules-bend-2.0.34
Sep 30, 2026
Merged

feat(rules): unsafe reaches foreign defs, fuel sees U32.to_nat, bend 2.0.34 text#219
noah-emp merged 1 commit into
mainfrom
feat/rules-bend-2.0.34

feat(rules): unsafe reaches foreign defs, fuel sees U32.to_nat, bend …

b14d9b1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar