rand_pcg 0.10.2

README badge

Claims in public reports for version 0.10.2.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Frand_pcg%2F0.10.2%2Fbadge)](https://proofs.rs/crate/rand_pcg?version=0.10.2)

crates.io

Reports (1)

#29 Exact PCG state, output and advance for all four generator types

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

Findings (0)

For version 0.10.2. Statuses are author reported.

No findings reported for this version.

APIs (25)

APIs are imported from documentation or named in published verification records. 25 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_pcg::Lcg128CmDxsm64 as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Lcg128CmDxsm64 as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Lcg128Xsl64 as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Lcg128Xsl64 as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Lcg64Xsh32 as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Mcg128Xsl64 as TryRng>::try_next_u32 recorded callable · signature and safety not recorded1 claim

<rand_pcg::Mcg128Xsl64 as TryRng>::try_next_u64 recorded callable · signature and safety not recorded1 claim

Lcg128CmDxsm64::advance recorded callable · signature and safety not recorded1 claim

Lcg128CmDxsm64::from_state recorded callable · signature and safety not recorded1 claim

Lcg128CmDxsm64::new recorded callable · signature and safety not recorded1 claim

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

Lcg128CmDxsm64::stream recorded callable · signature and safety not recorded1 claim

Lcg128Xsl64::advance recorded callable · signature and safety not recorded1 claim

Lcg128Xsl64::from_state recorded callable · signature and safety not recorded1 claim

Lcg128Xsl64::new recorded callable · signature and safety not recorded1 claim

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

Lcg128Xsl64::stream recorded callable · signature and safety not recorded1 claim

Lcg64Xsh32::advance recorded callable · signature and safety not recorded1 claim

Lcg64Xsh32::from_state recorded callable · signature and safety not recorded1 claim

Lcg64Xsh32::new recorded callable · signature and safety not recorded1 claim

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

Lcg64Xsh32::stream recorded callable · signature and safety not recorded1 claim

Mcg128Xsl64::advance recorded callable · signature and safety not recorded1 claim

Mcg128Xsl64::new recorded callable · signature and safety not recorded1 claim

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