rand_xorshift 0.5.0

README badge

Claims in public reports for version 0.5.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Frand_xorshift%2F0.5.0%2Fbadge)](https://proofs.rs/crate/rand_xorshift?version=0.5.0)

Xorshift random number generator

crates.io

Reports (1)

#24 Exact next-word updates and separately checked seed/nonzero properties

Aeneas be86ab0 · 1 claim · nyuichi · 2026-11-05

Findings (0)

For version 0.5.0. Statuses are author reported.

No findings reported for this version.

APIs (22)

APIs are imported from documentation or named in published verification records. 1 has 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

`impl core::clone::Clone for XorShiftRng`

pub fn clone(self: &Self) -> XorShiftRng—

`impl core::cmp::PartialEq for XorShiftRng`

pub fn eq(self: &Self, other: &XorShiftRng) -> bool—

`impl core::fmt::Debug for XorShiftRng`

pub fn fmt(self: &Self, f: &mut fmt::Formatter<'_>) -> fmt::Result—

`impl rand_core::TryRng for XorShiftRng`

pub fn try_fill_bytes(self: &mut Self, dest: &mut [u8]) -> Result<(), <Self as rand_core::TryRng>::Error>—

pub fn try_next_u32(self: &mut Self) -> Result<u32, <Self as rand_core::TryRng>::Error>1 claim

pub fn try_next_u64(self: &mut Self) -> Result<u64, <Self as rand_core::TryRng>::Error>—

`impl rand_core::seedable_rng::SeedableRng for XorShiftRng`

pub fn from_rng<R>(rng: &mut R) -> Self where R: Rng + ?Sized—

pub fn from_seed(seed: <Self as rand_core::seedable_rng::SeedableRng>::Seed) -> Self—

pub fn try_from_rng<R>(rng: &mut R) -> Result<Self, <R as rand_core::TryRng>::Error> where R: TryRng + ?Sized—

`impl serde_core::de::Deserialize<'de> for XorShiftRng`

pub fn deserialize<__D>(__deserializer: __D) -> _serde::__private228::Result<Self, <__D as serde_core::de::Deserializer>::Error> where __D: _serde::Deserializer<'de>

—

`impl serde_core::ser::Serialize for XorShiftRng`

pub fn serialize<__S>(self: &Self, __serializer: __S) -> _serde::__private228::Result<<__S as serde_core::ser::Serializer>::Ok, <__S as serde_core::ser::Serializer>::Error> where __S: _serde::Serializer

—

Blanket implementations

`impl core::any::Any for XorShiftRng`

pub fn type_id(self: &Self) -> TypeId—

`impl core::borrow::Borrow<T> for XorShiftRng`

pub fn borrow(self: &Self) -> &T—

`impl core::borrow::BorrowMut<T> for XorShiftRng`

pub fn borrow_mut(self: &mut Self) -> &mut T—

`impl core::clone::CloneToUninit for XorShiftRng`

pub unsafe fn clone_to_uninit(self: &Self, dest: *mut u8)—

`impl core::convert::From<T> for XorShiftRng`

pub fn from(t: T) -> T—

`impl core::convert::Into<U> for XorShiftRng`

pub fn into(self: Self) -> U—

`impl core::convert::TryFrom<U> for XorShiftRng`

pub fn try_from(value: U) -> Result<T, never>—

`impl core::convert::TryInto<U> for XorShiftRng`

pub fn try_into(self: Self) -> Result<U, <U as TryFrom<T>>::Error>—

`impl rand_core::Rng for XorShiftRng`

pub fn fill_bytes(self: &mut Self, dst: &mut [u8])—

pub fn next_u32(self: &mut Self) -> u32—

pub fn next_u64(self: &mut Self) -> u64—