rand_xoshiro 0.8.1

README badge

Claims in public reports for version 0.8.1.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Frand_xoshiro%2F0.8.1%2Fbadge)](https://proofs.rs/crate/rand_xoshiro?version=0.8.1)

crates.io

Reports (1)

#30 Exact xoshiro outputs and complete little-endian state serialization

Aeneas be86ab0 · 69 claims · nyuichi · 2026-11-05

Findings (0)

For version 0.8.1. Statuses are author reported.

No findings reported for this version.

APIs (69)

APIs are imported from documentation or named in published verification records. 69 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Trait implementations

No trait implementations.

Recorded callables

<rand_xoshiro::Seed512 as AsMut<[u8]>>::as_mut recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Seed512 as AsRef<[u8]>>::as_ref recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Seed512 as Default>::default recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::SplitMix64 as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::SplitMix64 as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::SplitMix64 as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::SplitMix64 as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128Plus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128Plus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128Plus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128Plus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128PlusPlus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128PlusPlus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128PlusPlus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128PlusPlus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128StarStar as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128StarStar as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128StarStar as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro128StarStar as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro64Star as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro64Star as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro64StarStar as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoroshiro64StarStar as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128Plus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128Plus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128PlusPlus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128PlusPlus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128StarStar as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro128StarStar as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256Plus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256Plus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256Plus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256Plus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256PlusPlus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256PlusPlus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256PlusPlus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256PlusPlus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256StarStar as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256StarStar as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256StarStar as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro256StarStar as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512Plus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512Plus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512Plus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512Plus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512PlusPlus as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512PlusPlus as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512PlusPlus as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512PlusPlus as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512StarStar as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512StarStar as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512StarStar as rand_core::Rng>::next_u32 recorded callable · signature and safety not recorded1 claim

<rand_xoshiro::Xoshiro512StarStar as rand_core::Rng>::next_u64 recorded callable · signature and safety not recorded1 claim

Seed512::iter recorded callable · signature and safety not recorded1 claim

SplitMix64::state recorded callable · signature and safety not recorded1 claim

Xoroshiro128Plus::state recorded callable · signature and safety not recorded1 claim

Xoroshiro128PlusPlus::state recorded callable · signature and safety not recorded1 claim

Xoroshiro128StarStar::state recorded callable · signature and safety not recorded1 claim

Xoroshiro64Star::state recorded callable · signature and safety not recorded1 claim

Xoroshiro64StarStar::state recorded callable · signature and safety not recorded1 claim

Xoshiro128Plus::state recorded callable · signature and safety not recorded1 claim

Xoshiro128PlusPlus::state recorded callable · signature and safety not recorded1 claim

Xoshiro128StarStar::state recorded callable · signature and safety not recorded1 claim

Xoshiro256Plus::state recorded callable · signature and safety not recorded1 claim

Xoshiro256PlusPlus::state recorded callable · signature and safety not recorded1 claim

Xoshiro256StarStar::state recorded callable · signature and safety not recorded1 claim

Xoshiro512Plus::state recorded callable · signature and safety not recorded1 claim

Xoshiro512PlusPlus::state recorded callable · signature and safety not recorded1 claim

Xoshiro512StarStar::state recorded callable · signature and safety not recorded1 claim