Skip to content

Implement kani::Arbitrary for Wrapping, Saturating, and Simd types#328

Merged
tautschnig merged 4 commits into
model-checking:mainfrom
carolynzech:wrapping-saturating-derive
Apr 28, 2025
Merged

Implement kani::Arbitrary for Wrapping, Saturating, and Simd types#328
tautschnig merged 4 commits into
model-checking:mainfrom
carolynzech:wrapping-saturating-derive

derive Arbitrary on Simd<T, N>

d508266
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs