Skip to content

fix(contracts): main is red on a property that is false for small-variance input - #2460

Merged
noahgift merged 1 commit into
mainfrom
fix/layernorm-proptest-eps-precondition
Aug 16, 2026
Merged

fix(contracts): main is red on a property that is false for small-variance input#2460
noahgift merged 1 commit into
mainfrom
fix/layernorm-proptest-eps-precondition

fix(contracts): main is red on a property that is false for small-var…

75c6a05
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar