oorandom 11.1.5

proofs.rs claims for oorandom 11.1.5

README badge

Claims in public reports for version 11.1.5.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Foorandom%2F11.1.5%2Fbadge)](https://proofs.rs/crate/oorandom?version=11.1.5)

A tiny, robust PRNG implementation.

Reports (1)

#25 Integer state transitions and exact range traces with float supplements

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

Findings (0)

For version 11.1.5. Statuses are author reported.

No findings reported for this version.

APIs (44)

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

APIClaims · findings

Functions

No functions.

Associated functions

`impl Rand32`

pub fn from_state(state: (u64, u64)) -> Self1 claim

pub fn new(seed: u64) -> Self1 claim

pub fn new_inc(seed: u64, increment: u64) -> Self1 claim

`impl Rand64`

pub fn from_state(state: (u128, u128)) -> Self1 claim

pub fn new(seed: u128) -> Self1 claim

pub fn new_inc(seed: u128, increment: u128) -> Self1 claim

Methods

`impl Rand32`

pub fn rand_float(self: &mut Self) -> f32—

pub fn rand_i32(self: &mut Self) -> i321 claim

pub fn rand_range(self: &mut Self, range: Range<u32>) -> u321 claim

pub fn rand_u32(self: &mut Self) -> u321 claim

pub fn state(self: &Self) -> (u64, u64)1 claim

`impl Rand64`

pub fn rand_float(self: &mut Self) -> f64—

pub fn rand_i64(self: &mut Self) -> i641 claim

pub fn rand_range(self: &mut Self, range: Range<u64>) -> u641 claim

pub fn rand_u64(self: &mut Self) -> u641 claim

pub fn state(self: &Self) -> (u128, u128)1 claim

Trait implementations

`impl core::clone::Clone for …`

fn clone2 implementations—

impl core::clone::Clone for Rand32—

impl core::clone::Clone for Rand64—

`impl core::cmp::PartialEq for …`

fn eq2 implementations—

impl core::cmp::PartialEq for Rand32—

impl core::cmp::PartialEq for Rand64—

`impl core::fmt::Debug for …`

fn fmt2 implementations—

impl core::fmt::Debug for Rand32—

impl core::fmt::Debug for Rand64—

Blanket implementations

`impl core::any::Any for …`

fn type_id2 implementations—

impl core::any::Any for Rand32—

impl core::any::Any for Rand64—

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

fn borrow2 implementations—

impl core::borrow::Borrow<T> for Rand32—

impl core::borrow::Borrow<T> for Rand64—

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

fn borrow_mut2 implementations—

impl core::borrow::BorrowMut<T> for Rand32—

impl core::borrow::BorrowMut<T> for Rand64—

`impl core::clone::CloneToUninit for …`

unsafe fn clone_to_uninit2 implementations—

unsafe impl core::clone::CloneToUninit for Rand32—

unsafe impl core::clone::CloneToUninit for Rand64—

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

fn from2 implementations—

impl core::convert::From<T> for Rand32—

impl core::convert::From<T> for Rand64—

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

fn into2 implementations—

impl core::convert::Into<U> for Rand32—

impl core::convert::Into<U> for Rand64—

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

fn try_from2 implementations—

impl core::convert::TryFrom<U> for Rand32—

impl core::convert::TryFrom<U> for Rand64—

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

fn try_into2 implementations—

impl core::convert::TryInto<U> for Rand32—

impl core::convert::TryInto<U> for Rand64—

Recorded callables

<oorandom::Rand32 as core::convert::Into<U>>::into recorded callable · signature and safety not recorded1 claim

<oorandom::Rand32 as core::convert::TryFrom<U>>::try_from recorded callable · signature and safety not recorded1 claim

<oorandom::Rand32 as core::convert::TryInto<U>>::try_into recorded callable · signature and safety not recorded1 claim

<oorandom::Rand64 as core::convert::Into<U>>::into recorded callable · signature and safety not recorded1 claim

<oorandom::Rand64 as core::convert::TryFrom<U>>::try_from recorded callable · signature and safety not recorded1 claim

<oorandom::Rand64 as core::convert::TryInto<U>>::try_into recorded callable · signature and safety not recorded1 claim